The implication problem of functional dependencies in complex-value databases

Electronic Notes in Theoretical Computer Science

Volumn 123, Issue , 2005, Pages 125-137

  Hartmann, Sven ^a   Link, Sebastian ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

Brouwerian Algebra; Data Type; Functional Dependency; Implication Problem; Logic in Databases

Indexed keywords

ALGORITHMS; DATA STORAGE EQUIPMENT; DATA STRUCTURES; DATABASE SYSTEMS; FORMAL LOGIC; LARGE SCALE SYSTEMS; POLYNOMIALS; REDUNDANCY; SEMANTICS; SET THEORY; XML;

BROUWERIAN ALGEBRA; DATA TYPE; FUNCTIONAL DEPENDENCY; IMPLICATION PROBLEM; LOGIC IN DATABASES;

PROBLEM SOLVING;

EID: 13944267600     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2004.04.051     Document Type: Conference Paper

References (52)

1. S. Abiteboul, R. Hull, and V. Vianu Foundations of Databases 1995 Addison-Wesley
2. M. Arenas, and L. Libkin A normal form for XML documents ToDS 29 2004 195 232
3. W.W. Armstrong Dependency structures of database relationships Information Processing 1974 580 583
4. J. Banatre, and D. Le Metayer Programming by multiset transformation Communications of the ACM 36 1993 98 111
5. C. Beeri On the membership problem for functional and multivalued dependencies in relational databases ToDS 5 1980 241 259
6. C. Beeri A formal approach to object-oriented databases Data and Knowledge Engeneering 5 1990 353 382
7. C. Beeri, and P.A. Bernstein Computational problems related to the design of normal form relational schemata ToDS 4 1979 30 59
8. Beeri, C., P.A. Bernstein and N. Goodman, A sophisticate's introduction to database normalization theory, in: VLDB, 1978, pp. 113-124
9. Beeri, C., R. Fagin and J.H. Howard, A complete axiomatization for functional and multivalued dependencies in database relations, in: SIGMOD, 1977, pp. 47-61
10. C. Beeri, A. Mendelzon, Y. Sagiv, and J. Ullman Equivalence of relational database schemes SIAM Journal on Computation 10 1981 647 656
11. P. Bernstein Synthesizing third normal form relations from functional dependencies ToDS 1 1976 277 298
12. G. Berry, and G. Boudol The chemical abstract machine Theoretical Computer Science 96 1992 217 248
13. J. Biskup Achievements of relational database schema design theory revisited Semantics in databases LNCS number 1358 1998 29 54
14. F. Bry, and P. Kröger A computational biology database digest: data, data analysis, and data management Distributed and Parallel Databases 13 2003 7 42
15. Buneman, P., S. Davidson, W. Fan, C. Hara and W. Tan, Keys for XML, in: Tenth WWW Conference (2001)
16. C. Calude G. Paun G. Rozenberg A. Salomaa Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View LNCS 2235 2001 Springer
17. P.P. Chen The entity-relationship model: Towards a unified view of data ToDS 1 1976 9 36
18. Codd, E.F., Further normalization of the database relational model, in: Courant Computer Science Symposia 6: Data Base Systems (1972), pp. 33-64
19. A. Dovier, A. Policriti, and G. Rossi A uniform axiomatic view of lists, multisets, and sets, and the unification algorithm Fundamenta Informaticae 36 1998 201 234
20. R. Fagin Multivalued dependencies and a new normal form for relational databases ToDS 2 1977 262 278
21. Fagin, R. and M. Vardi, The theory of data dependencies: a survey, in: Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics (1986), pp. 19-71
22. W. Fan, and L. Libkin On XML integrity constraints in the presence of DTDs PODS 2001 2001
23. W. Fan, and J. Siméon Integrity constraints for XML PODS 2000 2000
24. G. Gardarin, J.-P. Cheiney, G. Kiernan, D. Pastre, and H. Stora Managing complex objects in an extensible relational DBMS VLDB, 1989, Amsterdam 1989 55 65
25. C. Hara, and S. Davidson Reasoning about nested functional dependencies PODS 1999 1999 91 100
26. S. Hartmann On the implication problem for cardinality constraints and functional dependencies Annals of Mathematics and Artificial Intelligence 33 2001 253 307
27. S. Hartmann, and S. Link On functional dependencies in advanced data models ENTCS 84 2003
28. S. Hartmann, and S. Link A membership algorithm for functional and multi-valued dependencies in the presence of lists ENTCS 91 2004
29. Hartmann, S. and S. Link, Multi-valued dependencies in the presence of lists, accepted for PODS (2004)
30. Hartmann, S. and S. Link, Normalisation in the presence of lists, in: ADC, Conf. Research and Practice in Inf. Technology 27 (2004), pp. 53-64
31. Hartmann, S., S. Link and K.-D. Schewe, Axiomatising functional dependencies in the presence of records, lists, sets and multisets, Technical Report 1/2004, Dept of Information Systems, Massey University, New Zealand (2004)
32. Hartmann, S., S. Link and K.-D. Schewe, Reasoning about functional and multi-valued dependencies in the presence of lists, in: FoIKS, LNCS 2942 (2004), pp. 134-154
33. R. Hull, and R. King Semantic database modeling: Survey, applications and research issues ACM Computing Surveys 19 1987
34. G. Lamperti, M. Melchiori, and M. Zanella On multisets in database systems WMP 2000 LNCS 2235 2000 147 216
35. M. Levene The Nested Universal Relation Database Model 1992 Springer
36. J. Li, S. Ng, and L. Wong Bioinformatics adventures in database research Database Theory - ICDT 2003 LNCS 2572 2002 31 46
37. D. Maier Minimum covers in relational database model JACM 27 1980 664 674
38. J. McKinsey, and A. Tarski On closed elements in closure algebras Annals of Mathematics 47 1946 122 146
39. W.Y. Mok, Y.K. Ng, and D.W. Embley A normal form for precisely charachterizing redundancy in nested relations ToDS 21 1996 77 106
40. S. Naqvi, and S. Tsur A logical language for data and knowledge bases 1989 Computer Science Press
41. Z.M. Özsoyoglu, and L.Y. Yuan A new normal form for nested relations ToDS 12 1987 111 136
42. Richardson, J., Supporting lists in a datamodel, in: Proceeding of VLDB, 1992, pp. 127-192
43. K.-D. Schewe, and B. Thalheim Fundamental concepts of object oriented databases Acta Cybernetica 11 1993 49 85
44. Scholl, M. and H.-J. Schek, A relational object model, in: ICDT (1990), pp. 89-105
45. Seshadri, P., M. Livny and R. Ramakrishnan, The design and implementation of sequence database system, in: VLDB, Mumbai, India, 1996
46. Z. Tari, J. Stokes, and S. Spaccapietra Object normal forms and dependency constraints for object-oriented schemata ToDS 22 1997 513 569
47. B. Thalheim Entity-Relationship Modeling: Foundations of Database Technology 2000 Springer-Verlag
48. H.S. Thompson, D. Beech, M. Maloney, and N. Mendelsohn XML Schema, W3C Recommendation, May 2001 http://www.w3.org/XML/Schema 2001
49. M.Y. Vardi Fundamentals of dependency theory E. Börger Trends in Theoretical Computer Science 1987 171 224
50. Vincent, M., "The semantic justification for normal forms in relational database design," Ph.D. thesis, Monash University, Melbourne, Australia (1994)
51. Vincent, M.W., J. Liu and C. Liu, A redundancy free 4NF for XML, in: XML Database Symposium, 2003
52. G. Weddell Reasoning about functional dependencies generalized for semantic data models TODS 17 1992 32 64