Search the dblp DataBase

Publications of Author

1. Angel Mora, Manuel Enciso, Pablo Cordero, Inmaculada Perez de Guzmán
   An Efficient Preprocessing Transformation for Functional Dependencies Sets Based on the Substitution Paradigm. [Citation Graph (0, 0)][DBLP]
   CAEPIA, 2003, pp:136-146 [Conf]
   
2. Pablo Cordero, Manuel Enciso, Angel Mora, Inman P. de Guzmán
   SL_FD Logic: Elimination of Data Redundancy in Knowledge Representation. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2002, pp:141-150 [Conf]
   
3. Carlos Rossi, Manuel Enciso, Angel Mora
   A First Order Temporal Logic for Behavior Representation. [Citation Graph (0, 0)][DBLP]
   IBERAMIA, 2004, pp:408-418 [Conf]
   
4. Manuel Enciso, Angel Mora
   FD3: A Functional Dependencies Data Dictionary. [Citation Graph (0, 0)][DBLP]
   ICEIS, 2002, pp:807-810 [Conf]
   
5. Angel Mora, Manuel Enciso
   A Formal Tool that Integrates Relational Database Schemes and Preserves the Original Information. [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2006, pp:302-305 [Conf]
   
6. Angel Mora, Manuel Enciso, Pablo Cordero, Inman P. de Guzmán, J. Guerrero
   A/D Case: A New Heart for FD3. [Citation Graph (0, 0)][DBLP]
   ICEIS (1), 2004, pp:482-490 [Conf]
   
7. Gabriel Aguilera, Pablo Cordero, Manuel Enciso, Angel Mora, Inmaculada Perez de Guzmán
   A Non-explosive Treatment of Functional Dependencies Using Rewriting Logic. [Citation Graph (0, 0)][DBLP]
   SBIA, 2004, pp:31-40 [Conf]
   
8. 
   A Complete Logic for Fuzzy Functional Dependencies over Domains with Similarity Relations. [Citation Graph (, )][DBLP]
   
   
9. 
   An ATP of a Relational Proof System for Order of Magnitude Reasoning with Negligibility, Non-closeness and Distance. [Citation Graph (, )][DBLP]
   
   
10. 
    Non-deterministic ideal operators: An adequate tool for formalization in Data Bases. [Citation Graph (, )][DBLP]