A non-explosive treatment of Functional Dependencies using rewriting logic

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3171, Issue , 2004, Pages 31-40

  Aguilera, Gabriel ^a   Cordero, Pablo ^a   Enciso, Manuel ^a   Mora, Angel ^a   De Guzmán, Inmaculada Ferez ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Knowledge Representation; Reasoning; Redundancy Removal; Rewriting Logic

Indexed keywords

ARTIFICIAL INTELLIGENCE; EXPLOSIVES; FINITE DIFFERENCE METHOD; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; RECONFIGURABLE HARDWARE; SOFTWARE ENGINEERING;

COMPLEXITY CRITERIA; FUNCTIONAL DEPENDENCY; LOGICAL FRAMEWORKS; REASONING; REDUNDANCY REMOVAL; RELATIONAL DATABASE SCHEMATA; REWRITING LOGIC; TRANSITIVITY INFERENCES;

COMPUTER CIRCUITS;

EID: 33845584580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-28645-5_4     Document Type: Article

References (14)

1. Codd, E.F.: The relational model for database management: Version 2. reading, mass. Addison Wesley (1990)
2. Bell, D.A., Guan, J.W.: Computational methods for rough classifications and discovery. J. American Society for Information Sciences. Special issue on Data Minig 49 (1998)
3. Stumme, G., Taouil, R., Bastide, Y., Pasquier, N., Lakhai, L.: Functional and embedded dependency inference: a data mining point of view. Information Systems 26 (7) (2002) 477-506
4. Han, J.: Binding propagation beyond the reach of rule / goal graphs. Information Processing Letters 42 (5) (1992 Jul 3) 263-268
5. Montesi, D., Torlone, R.: Analysis and optimization of active databases. Data & Knowledge Engineering 40 (3) (2002 Mar) 241-271
6. Armstrong, W.W.: Dependency structures of data base relationships. Proc. IFIP Congress. North Holland, Amsterdam (1974) 580-583
7. Atzeni, P., Antonellis, V.D.: Relational Database Theory. The Benjamin/Cummings Publishing Company Inc. (1993)
8. Paredaens, J., De Bra, P., Gyssens, M., Van Gucht, D.: The structure of the relational database model. EATCS Monographs on TCS (1989)
9. Diederich, J., Milton, J.: New methods and fast algorithms for database normalization. ACM Transactions on Database Systems 13 (3) (1988) 339-365
10. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: specification and programming in rewriting logic. Theoretical Computer Science (TCS) 285 (2) (2002) 187-243
11. Cordero, P., Enciso, M., Guzmán, I.P.d., Mora, A.: Slfd logic: Elimination of data redundancy in knowledge representation. (Advances in AI, Iberamia 2002. LNAI 2527 141-150. Springer-Verlag.)
12. Mora, A., Enciso, M., Cordero, P., Guzmán, I.P.d.: An efficient preprocessing transformation for funtcional dependencies set based on the substitution paradigm. CAEPIA 2003. To be published in LNAI. (2003)
13. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martf-Oliet, N., Meseguer, J., Quesada, J.: A Maude Tutorial. SRI International. (2000)
14. Ullman, J.D.: Database and knowledge-base systems. Computer Science Press (1988)