On functional dependencies in advanced data models

Electronic Notes in Theoretical Computer Science

Volumn 84, Issue , 2003, Pages 117-128

  Hartmann, Sven ^a   Link, Sebastian ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

Brouwerian Algebra; Completeness; Functional Dependencies; Inference Rules; Logic in Databases

Indexed keywords

ALGEBRA; FORMAL LOGIC; INFERENCE ENGINES; MATHEMATICAL MODELS; RELATIONAL DATABASE SYSTEMS;

BROUWERIAN ALGEBRA; COMPLETENESS; FUNCTIONAL DEPENDENCIES; INFERENCE RULES; LOGIC IN DATABASE;

DATA STRUCTURES;

EID: 13944266615     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80849-1     Document Type: Conference Paper

References (24)

1. Abiteboul S., Buneman P., Suciu D. "Data on the Web: From Relations to Semistructured Data and XML," 2000;Morgan Kaufmann Publishers
2. Abiteboul S., Hull R., Vianu V. "Foundations of Databases," 1995;Addison-Wesley
3. Arenas M., Libkin L. A normal form for XML documents, in: PODS 2002. 2002
4. Armstrong W.W. Dependency structures of database relationships. Information Processing. 1974;580-583
5. Armstrong W.W., Nakamura Y., Rudnicki P. Armstrong's axioms. Journal of formalized Mathematics. 14:2002
6. Batini C., Ceri S., Navathe S.B. "Conceptual Database Design: An Entity-Relationship Approach," 1992;Benjamin Cummings
7. Buneman P., S. Davidson, W. Fan, C. Hara and W. Tan, Keys for xml, in: Tenth WWW Conference (2001).
8. Chen P.P. The entity-relationship model: Towards a unified view of data. ACM Transactions Database Systems. 1:1976;9-36
9. Chen P.P. English sentence structure and entity-relationship diagrams. Information Science. 29:1983;127-149
10. Codd E.F. Further normalization of the database relational model. Courant Computer Science Symposia 6: Data Base Systems. 1972;33-64
11. Fan W., Libkin L. On XML integrity constraints in the presence of DTDs. PODS 2001. 2001
12. Fan W., Siméon J. Integrity constraints for XML. PODS 2000. 2000
13. Hara C., Davidson S. Reasoning about nested functional dependencies. PODS 1999. 1999;91-100
14. Hartmann S. On the implication problem for cardinality constraints and functional dependencies. Annals of Mathematics and Artificial Intelligence. 33:2001;253-307
15. Hull R., King R. Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys. 19:1987
16. McKinsey J., Tarski A. On closed elements in closure algebras. Annals of Mathematics. 47:1946;122-146
17. Mok W.Y., Ng Y.K., Embley D.W. A normal form for precisely charachterizing redundancy in nested relations. Transactions on Database Systems. 21:1996;77-106
18. özsoyoglu Z.M., Yuan L.Y. A new normal form for nested relations. Transactions on Database Systems. 12:1987;111-136
19. Paredaens J., De Bra P., Gyssens M., Van Gucht D. "The Structure of the Relational Database Model," 1989;Springer-Verlag
20. Schewe K.-D., Thalheim B. Fundamental concepts of object oriented databases. Acta Cybernetica. 11:1993;49-85
21. Tari Z., Stokes J., Spaccapietra S. Object normal forms and dependency constraints for object-oriented schemata. ACM ToDS. 22:1997;513-569
22. Thalheim B. Foundations of entity-relationship modeling. Annals of Mathematics and Artificial Intelligence. 6:1992;197-256
23. Thalheim B. "Entity-Relationship Modeling: Foundations of Database Technology," 2000;Springer-Verlag
24. Tjoa A. and L. Berger Transformation of requirement specifications expressed in natural language into an EER model, in: Entity-Relationship Approach, Springer Lecture Notes 823, 1993.