FD3: A functional dependencies data dictionary

ICEIS 2002 - Proceedings of the 4th International Conference on Enterprise Information Systems

Volumn 2, Issue , 2002, Pages 807-810

  Enciso, M ^a   Mora, A ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Conceptual data models; Heterogeneity; Logic and information systems; Modelling

Indexed keywords

ALGORITHMS; CARRY LOGIC; FORMAL LANGUAGES; INFORMATION SYSTEMS; INTEGRATION; MODELS;

AXIOMATIC SYSTEM; CONCEPTUAL DATA MODELS; ENTITY/RELATIONSHIP MODEL; FUNCTIONAL DEPENDENCE; FUNCTIONAL DEPENDENCY; HETEROGENEITY; HETEROGENEOUS SYSTEMS; INTEGRATION PROCESS;

INTEGRAL EQUATIONS;

EID: 77953899232     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Ahrendt, W., Baar, T., Beckert, B., Giese, M., Habermalz, E., Hhnle, R., Menzel, W., and Schmitt, P. H. (2000). The key approach: Integrating object oriented design and formal verification. Proceedings, 8th European Workshop on Logics in AI (JELIA), Malaga, Spain, September 2000.
2. Armstrong, W. W. (1974). Dependency structures of data base references. IFIP Cont. Poc.
3. Atzeni, P. and Antonellis, V. D. (1993). Relational database theory. The Benjamin/Cummings Publishing Company Inc.
4. Atzeni, P. and Torlone, R. (1997). Mdm: a multipledata-model tool for the management of heterogeneous database schemes. ACM-SIGMOD Conference, Tucson Arizona.
5. Cordero, P., Enciso, M., and Perez de Guzman, I. (2002). From the poset of temporal implicates/implicants to a temporal negative normal form. Reports on Mathematical logics, Vol 36:1-48.
6. Enciso, M., Perez de Guzman, I., and Rossi, C. (1996). Temporal reasoning over linear discrete time. Logics in Artificial Intelligence, JELIA'96. Lecture Notes in Artificial Intelligence, vol. 1126, Evora (Portugal), pages 303-319.
7. Fagin, R. (1983). Degrees of acycliciti for hipergraphs and relational database schemes. Journal of the Association for Computing Machinery, Vol 30, n 3:514-550.
8. Ibaraki, T., Kogan, A., and Makino, K. (1999). Functional dependencies in horn theories. Artificial Intelligence, Vol 108:1-30.
9. Lenzerini, M. (1999). Description logics and their relationships with databases. Lecture Notes in Computer Science.
10. Levy, A. Y. (1998). Combinig artificial intelligence and databses for data integration.
11. Paredaens, J., De Bra, P., Gyssens, M., and Van Gucht, D. (1989). The structure of the relational database model. EATCSMonographs on Theoretical Computer Science.
12. Robertson, D. and Agusti, J. (1999). Lightweight uses of logic in conceptual modelling. Software Blueprints. ACM Press. Ed. Addison Wesley.