Abstract
In this paper, we propose the use of formal techniques on Software Engineering in two directions: 1)We present, within the general framework of lattice theory, the analysis of relational databases. To do that, we characterize the concept of f-family (Armstrong relations) by means of a new concept which we call non-deterministic ideal operator. This characterization allows us to formalize database redundancy in a more significant way than it was thought of in the literature. 2) We introduce the Substitution Logic SL FD for functional dependencies that will allows us the design of automatic transformations of data models to remove redundancy.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
William W. Armstrong. Dependency structures of data base relationships. Proc. IFIP Congress. North Holland, Amsterdam, pages 580–583, 1974.
Paolo Atzeni and Valeria De Antonellis. Relational Database Theory. The Benjamin/Cummings Publishing Company Inc., 1993.
D.A. Bell. From data properties to evidence. IEEE Transactions on Knowledge andData Engireering, 5(6):965–968, 1993.
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.
Elisa Bertino, Barbara Catania, and Gian Piero Zarri. Intelligent Database Systems. ACM Press. Addison-Wesley, ISBN 0-201-87736-8, 2001.
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.
Edgar F. Codd. The relational model for database management: Version 2. reading, mass. Addison Wesley, 1990.
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.
Ronald Fagin. Functional dependencies in a relational database and propositional logic. IBM. Journal of research andd evelopment., 21 (6):534–544, 1977.
Yishai A. Feldman and Doron A. Friedman. Portability by automatic translation: A large-scale case study. Artificial Intelligence, 107(1):1–28, 1999.
Rusell Greiner. Finding optimal derivation strategies in redundant knowledge bases. Artificial Intelligence, 50(1):95–115, 1991.
J. W. Guan and D. A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77–103, 1998.
J.W. Guan and D.A. Bell. Roughcomputational methods for information systems. Artificial Intelligence, 105:77–103, 1998.
Erika Hajnicz. Time structures. formal description and algorithmic representation. In Lecture Notes in Artificial Intelligence. Num. 1047. Springer-Verlag, 1996.
Toshihide Ibaraki, Alexander. Kogan, and Kazuhisa Makino. Functional dependencies in horn theories. Artificial Intelligence, 108:1–30, 1999.
Zohar Manna and A. Pnueli. Temporal verification of reactive systems: Safety. Springer-Verlag, 1995.
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.
Z. Pawlak. Rough Set: teoretical aspects of reasoning about data. Kluwer, 1991. Dordrecht, Netherlands.
David Robertson and Jaum Agustí. Lightweight uses of logic in conceptual modelling. Software Blueprints. ACM Press. Ed. Addison Wesley, 1999.
Alexander Tuzhilin. Templar: a knowledge-based language for software specifications using temporal logic. ACM Transactions on Information Systems, 13:269–304, July 1995.
Jeffrey D. Ullman. Database and knowledge-base systems. Computer Science Press, 1988.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Cordero, P., Enciso, M., Mora, A., de Guzmán, I.P. (2002). SLFD Logic: Elimination of Data Redundancy in Knowledge Representation. In: Garijo, F.J., Riquelme, J.C., Toro, M. (eds) Advances in Artificial Intelligence — IBERAMIA 2002. IBERAMIA 2002. Lecture Notes in Computer Science(), vol 2527. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36131-6_15
Download citation
DOI: https://doi.org/10.1007/3-540-36131-6_15
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00131-7
Online ISBN: 978-3-540-36131-2
eBook Packages: Springer Book Archive