Non-deterministic ideal operators: An adequate tool for formalization in Data Bases

Discrete Applied Mathematics

Volumn 156, Issue 6, 2008, Pages 911-923

  Cordero, P ^a   Mora, A ^a   de Guzman I P ^a   Enciso, M ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Database; f Family; Functional dependency; Ideal; Lattice; Non deterministic operator; Normal form

Indexed keywords

BIBLIOGRAPHIC RETRIEVAL SYSTEMS; DATABASE SYSTEMS; FORMAL METHODS;

FORMALIZATION; FUNCTIONAL DEPENDENCY; LATTICE THEORY; NON-DETERMINISTIC OPERATORS; NORMAL FORMS;

MATHEMATICAL OPERATORS;

EID: 39449100251     PISSN: 0166218X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.dam.2007.02.014     Document Type: Article

References (37)

1. G. Aguilera, P. Cordero, M. Enciso, A. Mora, I.P. de Guzmán, A non-explosive treatment of functional dependencies using rewriting logic, Lecture Notes in Artificial Intelligence, vol. 3171, Springer, Berlin, 2004, pp. 31-40.
2. W.W. Armstrong, Dependency structures of data base relationships, in: Proceedings of the IFIP Congress, North-Holland, Amsterdam, 1974, pp. 580-583.
3. Atzeni P., and Antonellis V.D. Relational Database Theory (1993), The Benjamin/Cummings Publishing Company Inc., Menlo Park, CA
4. Bell D.A. From data properties to evidence. IEEE Trans. Knowledge and Data Eng. 5 6 (1993) 965-968
5. J. Biskup, J.v.d. Bussche, P.D. Bra, J. Demetrovics, G. Gottlob, S. Hegner, A. Heuer, G. Katona, H. Nam Son, J. Paredaens, L. Tenenbaum, B. Thalheim, in: International Symposium on Foundations of Information and Knowledge Systems-FOIKS, 〈http://www.informatik.tu-cottbus.de/~foiks/home.html〉.
6. P. Buneman, S. Davidson, W. Fan, C. Hara, W. Tan, Reasoning about keys for XML, Draft manuscript, 2000.
7. P. Buneman, W. Fan, J. '. r.o.m. Siméé, S. Weinstein, Constraints for semistructured data and XML, SIGMOD Record, ACM Special Interest Group on Management of Data, vol. 30(1), 2001, pp. 47-54.
8. Caspard N., and Monjardet B. The lattices of closure systems, closure operators, and implicational systems on a finite set: a survey. Discrete Appl. Math. 127 2 (2003) 241-269
9. Codd E.F. The Relational Model for Database Management: Version 2 (1990), Addison-Wesley, Reading, MA
10. P. Cordero, M. Enciso, I.P. de Guzmán, A. Mora, SLFD logic: elimination of data redundancy in knowledge representation, Lecture Notes in Artificial Intelligence, vol. 2527, Advances in AI, Iberamia, Springer, Berlin, 2002, pp. 141-150.
11. P. Cordero, M. Enciso, A. Mora, I.P. de Guzmán, Ideal non-deterministic operators as a formal framework to reduce the key problem, Inform. and Comput., submitted for publication.
12. Cordero P., Gutiérrez G., Martínez J., and de Guzmán I.P. A new algebraic tool for automatic theorem provers. Multisemilattice: a structure to improve the efficiency of provers in temporal logics. Ann. Math. Artificial Intelligence 42 (2004) 369-398
13. Davey B.A., and Priestley H.A. Introduction to Lattices and Order (1990), Cambridge University Press, Cambridge
14. Demetrovics J., Libkin L., and Muchnik I.B. Functional dependencies in relational databases: a lattice point of view. Discrete Appl. Math. 40 (1992) 155-185
15. Demetrovics J., and Thi V.D. Some results about functional dependencies. Acta Cybern. Hungary VIII 3 (1988) 273-278
16. Demetrovics J., and Thi V.D. Family of functional dependencies and its equivalent descriptions. Comput. Math. Appl. 29 4 (1995) 101-109
17. Demetrovics J., and Vu D.T. Some results about normal forms for functional dependency in the relational datamodel. Discrete Appl. Math. 69 (1996) 61-74
18. W. Fan, L. Libkin, On XML integrity constraints in the presence of DTDs, in: Symposium on Principles of Database Systems, 2001.
19. Flach P.A., and Savnik I. Database dependency discovery: a machine learning approach. AI Comm. 12 (1999) 139-160
20. Gottlob G., and Libkin L. Investigations on Armstrong relations, dependency inference and excluded functional dependencies. Acta Cybern. 9 4 (1990) 385-402
21. Gratzer G. General Lattice Theory. second ed. (1998), Birkhauser Verlag
22. Guan J.W., and Bell D.A. Rough computational methods for information systems. Artificial Intelligence 105 (1998) 77-103
23. Mter Hofstede A.H., Lippe E., and van der Weide T.P. Applications of a categorical framework for conceptual data modeling. Acta Inform. 34 (1997) 927-963
24. S.M.G. IBM Research, Dependencies in distributed service management, Research Project, 〈http://www.research.ibm.com/sysman/〉, 2003.
25. M.L. Lee, T.W. Ling, W.L. Low, Designing functional dependencies for XML, Lecture Notes in Computer Science, EDTB 2002 Proceedings 2287, Springer, Berlin, 2002, pp. 124-141.
26. H. Mannila, Methods and problems in data mining, in: N. Afrati, P.G. Kolaitis (Eds.), Proceedings of International Conference on Database Theory, 17(2), 1997.
27. Mannila H., and Raiha K.-J. Algorithms for inferring functional dependencies from relations. Data and Knowledge Eng. 12 (1994) 83-99
28. Martin N.M., and Pollard S. Closure Spaces and Logic (1996), Kluwer Academic Publishers, Dordrecht
29. J. Martínez, P. Cordero, G. Gutiérrez, I.P. de Guzmán, Generalizations of lattices looking at computation, Discrete Math. 295 (2005) 107-141.
30. Martínez J., Gutiérrez G., de Guzmán I.P., and Cordero P. Restricted Ideals and the groupability property. Tools for temporal reasoning. Kybernetika 39 5 (2003) 521-546
31. Y. Men-hin, A. Wai-Chee Fu, From XML to relational databases, Knowledge Representation Meets Databases, 2001.
32. A. Mora, M. Enciso, P. Cordero, G. Aguilera, I.P. de Guzmán, A new closure algorithm based in logic: SLFD-Closure versus classical closures. Revista Iberoamericana de Inteligencia Artificial 31 (2006) 31-40.
33. A. Mora, M. Enciso, P. Cordero, I.P. de Guzmán, An efficient preprocessing transformation for functional dependencies sets based on the substitution paradigm, Lecture Notes in Artificial Intelligence, vol. 3040, Springer, Berlin, 2004, pp. 136-146.
34. T. Niemi, J. Nummenmaa, P. Thanisch, Logical multidimensional database design for ragged and unbalanced aggregation, Design and Management of Data Warehouses, 2001.
35. Stumme G., Taouil R., Bastide Y., Pasquier N., and Lakhal L. Functional and embedded dependency inference: a data mining point of view. Inform. Systems 26 7 (2002) 477-506
36. B. Thalheim, An overview on semantical constraints for database models, in: Sixth International Conference, Intellectual Systems and Computer Science, 1996.
37. Ullman J.D. Database and Knowledge-Base Systems (1988), Computer Science Press, Rockville, MD