Weak functional dependencies in higher-order datamodels - The case of the union constructor

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2942, Issue , 2004, Pages 116-133

  Hartmann, Sven ^a   Link, Sebastian ^a   Schewe, Klaus Dieter ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

AXIOMATI-SATION; COMPLEX VALUES; FUNCTIONAL DEPENDENCY; HIGHER-ORDER; NON-TRIVIAL; WEAK FUNCTIONAL DEPENDENCIES;

ARTIFICIAL INTELLIGENCE;

EID: 35048856424     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24627-5_9     Document Type: Article

References (26)

1. ABITEBOUL, S., BUNEMAN, P., AND SUCIU, D. Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann Publishers, 2000.
2. ABITEBOUL, S., AND HULL, R. Restructuring hierarchical database objects. Theoretical Computer Science (1988).
3. ABITEBOUL, S., HULL, R., AND VIANU, V. Foundations of Databases. Addison-Wesley, 1995.
4. ARENAS, M., AND LIBKIN, L. A normal form for XML documents. In PODS 2002 (2002), ACM.
5. ARMSTRONG, W. W. Dependency structures of database relationships. Information Processing (1974), 580-583.
6. BATINI, C., CERI, S., AND NAVATHE, S. B. Conceptual Database Design: An Entity-Relationship Approach. Benjamin Cummings, 1992.
7. BUNEMAN, P., DAVIDSON, S., FAN, W., HARA, C., AND TAN, W. Keys for XML. In Tenth WWW Conference (2001), IEEE.
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. FAN, W., AND LIBKIN, L. On XML integrity constraints in the presence of DTDs. In PODS 2001 (2001), ACM.
11. FAN, W., AND SIMÉON, J. Integrity constraints for XML. In PODS 2000 (2000), ACM.
12. HARTMANN, S. Decomposing relationship types by pivoting and schema equivalence. Data & Knowledge Engineering 39 (2001), 75-99.
13. HARTMANN, S., AND LINK, S. Reasoning about functional dependencies in an abstract data model. Electronic Notes in Theoretical Computer Science 84 (2003).
14. HARTMANN, S., LINK, S., AND SCHEWE, K.-D. Capturing functional dependencies in the higher-order entity relationship model. Tech. Rep. 5/2003, Massey University, Department of Information Systems, 2003.
15. HARTMANN, S., LINK, S., AND SCHEWE, K.-D. Generalizing Boyce-Codd normal form to conceptual databases. In Pre-Proceedings of the 13th European-Japanese Conference on Information Modeling and Knowledge Bases (2003), pp. 93-110.
16. HULL, R., AND KING, R. Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys 19, 3 (1987).
17. MOK, W. Y., NG, Y. K., AND 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., AND 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., AND VAN GUCHT, D. The Structure of the Relational Database Model. Springer-Verlag, 1989.
20. SCHEWE, K.-D., AND THALHEIM, B. Fundamental concepts of object oriented databases. Acta Cybernetica 11, 4 (1993), 49-85.
21. TARI, Z., STOKES, J., AND SPACCAPIETRA, S. Object normal forms and dependency constraints for object-oriented schemata. ACM ToDS 22 (1997), 513-569.
22. THALHEIM, B. Dependencies in Relational Databases. Teubner-Verlag, 1991.
23. THALHEIM, B. Foundations of entity-relationship modeling. Annals of Mathematics and Artificial Intelligence 6 (1992), 197-256.
24. THALHEIM, B. Entity-Relationship Modeling: Foundations of Database Technology. Springer-Verlag, 2000.
25. TJOA, A. M., AND BERGER, L. Transformation of requirement specifications expressed in natural language into an eer model. In Entity-Relationship Approach (1993), vol. 823, Springer Lecture Notes Series.
26. VINCENT, M. The semantic justification for normal forms in relational database design. PhD thesis, Monash University, Melbourne, Australia, 1994.