SLFD logic: Elimination of data redundancy in knowledge representation

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 2527, Issue , 2002, Pages 141-150

  Cordero, Pablo ^a   Enciso, Manolo ^a   Mora, Angel ^a   De Guzmán, Inmaculada P ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; FINITE DIFFERENCE METHOD; KNOWLEDGE REPRESENTATION; LATTICE THEORY; SOFTWARE ENGINEERING; FORMAL LOGIC; QUALITY ASSURANCE;

ARMSTRONG RELATIONS; AUTOMATIC TRANSFORMATIONS; DATA REDUNDANCY; FORMAL TECHNIQUES; FUNCTIONAL DEPENDENCY; RELATIONAL DATABASE; TWO DIRECTIONS; DATA MODELS; LATTICE THEORIES;

REDUNDANCY;

EID: 23044531906     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-36131-6_15     Document Type: Conference Paper

References (21)

1. William W. Armstrong. Dependency structures of data base relationships. Proc. IFIP Congress. North Holland, Amsterdam, pages 580-583, 1974.
2. Paolo Atzeni and Valeria De Antonellis. Relational Database Theory. The Benjamin/Cummings Publishing Company Inc., 1993.
3. D.A. Bell. From data properties to evidence. IEEE Transactions on Knowledge andData Engireering, 5(6):965-968, 1993.
4. D.A. Bell and J.W. Guan. Computational methods for rought classifications and discovery. J. American Society for Information Sciences, To appear. Special issue on Data Mining.
5. Elisa Bertino, Barbara Catania, and Gian Piero Zarri. Intelligent Database Systems. ACM Press. Addison-Wesley, ISBN 0-201-87736-8, 2001.
6. L. E. Bertossi and J. C. Ferretti. SCDBR: A reasoner for specification in the situation calculus of database updates. In 1st International Conference on Temporal Logic, Berlin, 1994.
7. Edgar F. Codd. The relational model for database management: Version 2. reading, mass. Addison Wesley, 1990.
8. Manuel Enciso and Angel Mora. FD3: A functional dependencies data dictionary. Proceedings of the Fourth Conference on Enterprise Information Systems (ICEIS). Ciudad Real, Spain, 2:807-811, 2002 Apr.
9. Ronald Fagin. Functional dependencies in a relational database and propositional logic. IBM. Journal of research andd evelopment., 21 (6):534-544, 1977.
10. Yishai A. Feldman and Doron A. Friedman. Portability by automatic translation: A large-scale case study. Artificial Intelligence, 107(1):1-28, 1999.
11. Rusell Greiner. Finding optimal derivation strategies in redundant knowledge bases. Artificial Intelligence, 50(1):95-115, 1991.
12. J. W. Guan and D. A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77-103, 1998.
13. J.W. Guan and D.A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77-103, 1998.
14. Erika Hajnicz. Time structures. formal description and algorithmic representation. In Lecture Notes in Artificial Intelligence. Num. 1047. Springer-Verlag, 1996.
15. Toshihide Ibaraki, Alexander. Kogan, and Kazuhisa Makino. Functional dependencies in horn theories. Artificial Intelligence, 108:1-30, 1999.
16. Zohar Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag, 1995.
17. Jan Paredaens, Paul De Bra, Marc Gyssens, and Dirk Van Van Gucht. The structure of the relational database model. EATCS Monographs on Theoretical Computer Science, 1989.
18. Z. Pawlak. Rough Set: teoretical aspects of reasoning about data. Kluwer, 1991. Dordrecht, Netherlands.
19. David Robertson and Jaum Agustí. Lightweight uses of logic in conceptual modelling. Software Blueprints. ACM Press. Ed. Addison Wesley, 1999.
20. Alexander Tuzhilin. Templar: a knowledge-based language for software specifications using temporal logic. ACM Transactions on Information Systems, 13:269-304, July 1995.
21. Jeffrey D. Ullman. Database and knowledge-base systems. Computer Science Press, 1988.