Minimal keys in higher-order datamodels

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

Volumn 2942, Issue , 2004, Pages 242-251

  Sali, Attila ^a  

^a INSTITUTE OF EXPERIMENTAL MEDICINE   (Hungary)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

ARMSTRONG INSTANCE; HIGHER-ORDER; LOWER AND UPPER BOUNDS; SPERNER FAMILIES;

ARTIFICIAL INTELLIGENCE;

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

References (19)

1. S. Abiteboul, P. Buneman, and D. Suciu, Data on the Web: From relations to Semistructured Data and XML, Morgan Kaufmann Publishers, 2000.
2. S. Abiteboul, and R. Hull, Restructuring hierarchical database objects, Theoretical Computer Science (1988)
3. S. Abiteboul, R. Hull, and V. Vianu, Foundations of Databases, Addison-Wesley, 1995.
4. W.W. Armstrong, Dependency structures of data base relationships, information Processing (1974), 580-583.
5. G. Brightwell and G.O.H. Katona, A new type of coding theorem, Studia Sci. Math. Hungar. 38 (2001) 139-147.
6. J. Demetrovics, On the equivalence of candidate keys with Sperner systems, Acta Cybernetica (Szeged) 4 (1979) 247-252.
7. J. Demetrovics and G.O.H. Katona, Extremal combinatorial problems in relational database, Lecture Notes in Computer Science 117 Springer, Berlin 1981, 110-119.
8. J. Demetrovics, G.O.H. Katona, and A. Sali, The characterization of branching dependencies, Discrete Applied Mathematics, 40 (1992) 139-153.
9. J. Demetrovics, G.O.H. Katona, and A. Sali, Design type problems motivated by database theory, Journal of Statistical Planning and Inference, 72, (1998), 149-164.
10. n, Ars Combinatoria, 37, (1994) 209-221.
11. S. Hartmann and S. Link, Reasoning about functional dependencies in an abstract data model, Electronic Notes in Theoretical Computer Science 84 (2003)
12. S. Hartmann, S. Link, and K.-D. Schewe, Capturing functional dependencies in the higher-order antity relationship model. Tech. Rep. 5/2003, Massey University, Department of Information Systems, (2003)
13. S. Hartmann, S. Link, and K.-D. Schewe, Reasoning about functional and multivalued dependencies in the presence of base, record and finite list types, submitted, 2003.
14. S. Hartmann, S. Link, and K.-D. Schewe, Weak Functional Dependencies in Higher-Order Datamodels - The case of the union constructor -, in the same volume.
15. J. Paredaens, P. De Bra, M. Gyssens, and D. Van Gucht, The Structure of the Relational Database Model, Springer-Verlag, 1989.
16. K.-D. Schewe and B. Thalheim, Fundamental concepts of object oriented databases, Acta. Cybernetica 11 4 (1993), 49-85.
17. B. Thalheim, Foundations of entity-relationship modeling, Annals of Mathematics and Artificial Intelligence 6 (1992) 197-256.
18. B. Thalheim, Entity-Relationship Modeling: Foundations of Database Technology, Springer-Verlag, 2000.
19. J.D. Ullman, Principles of Database Systems, Computer Science Press, Inc., Rockville, MD: 1982