On the implication of multivalued dependencies in partial database relations

International Journal of Foundations of Computer Science

Volumn 19, Issue 3, 2008, Pages 691-715

  Link, Sebastian ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

Implication; Inference; Minimality; Multivalued dependency; Null value

Indexed keywords

EID: 44849120928     PISSN: 01290541     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0129054108005899     Document Type: Conference Paper

References (46)

1. Arenas, M. & Libkin, L. (2004), 'A normal form for XML documents', Trans. Database Syst. 29(1), 195-232.
2. Armstrong, W. W. (1974), 'Dependency structures of database relationships', Information Processing 74, 580-583.
3. Armstrong, W. W., Nakamura, Y. & Rudnicki, P. (2002), 'Armstrong's axioms', Journal of formalized Mathematics 14.
4. Atzeni, P. & Morfuni, N. (1986), 'Functional dependencies and constraints on null values in database relations', Information and Control 70(1), 1-31.
5. Beeri, C. & Bernstein, P. A. (1979), 'Computational problems related to the design of normal form relational schemata', Trans. Database Syst. 4(1), 30-59.
6. Beeri, C., Fagin, R. & Howard, J. H. (1977), A complete axiomatization for functional and multivalued dependencies in database relations, in 'SIGMOD Conference', ACM, pp. 47-61.
7. Bernstein, P. (1976), 'Synthesizing third normal form relations from functional dependencies', Trans. Database Syst. 1(4), 277-298.
8. Bernstein, P. A. & Goodman, N. (1980), What does Boyce-Codd normal form do?, in 'VLDB Conference', IEEE Computer Society, pp. 245-259.
9. Biskup, J. (1978), 'On the complementation rule for multivalued dependencies in database relations', Acta Inf. 10(3), 297-305.
10. Biskup, J. (1980), 'Inferences of multivalued dependencies in fixed and undetermined universes', Theor. Comput. Sci. 10(1), 93-106.
11. Biskup, J., Dayal, U. & Bernstein, P. (1979), Synthesizing independent database schemas, in 'SIGMOD Conference', pp. 143-151.
12. Codd, E. F. (1970), 'A relational model of data for large shared data banks', Commun. ACM 13(6), 377-387.
13. Codd, E. F. (1972), Further normalization of the database relational model, in 'Courant Computer Science Symposia 6: Data Base Systems', Prentice-Hall, pp. 33-64.
14. Codd, E. F. (1975), 'Understanding relations', ACM SIGFIDET FDT Bulletin 7(3-4), 23-28.
15. Codd, E. F. (1979), 'Extending the database relational model to capture more meaning', Trans. Database Syst. 4(4), 397-434.
16. Delobel, C. (1978), 'Normalisation and hierarchical dependencies in the relational data model', Trans. Database Syst. 3(3), 201-222.
17. Fagin, R. (1977), 'Multivalued dependencies and a new normal form for relational databases', Trans. Database Syst. 2(3), 262-278.
18. Fagin, R. & Vardi, M. Y. (1986), The theory of data dependencies: a survey, in 'Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics', American Mathematical Society, pp. 19-71.
19. Fischer, P. C., Saxton, L. V., Thomas, S. J. & Van Gucht, D. (1985), 'Interactions between dependencies and nested relational structures', J. Comput. Syst. Sci. 31(3), 343-354.
20. Galil, Z. (1982), 'An almost linear-time algorithm for computing a dependency basis in a relational database', J. ACM 29(1), 96-102.
21. Gottlob, G. & Zicari, R. (1988), Closed world databases opened through null values, in 'VLDB Conference', IEEE Computer Society, pp. 50-61.
22. Grahne, G. (1984), Dependency satisfaction in databases with incomplete information, in 'VLDB Conference', IEEE Computer Society, pp. 37-45.
23. Grant, J. (1977), 'Null values in a relational data base', Information Processing Letters 6(5), 156-157.
24. Hara, C. & Davidson, S. (1999), Reasoning about nested functional dependencies, in 'Proceedings of the 18th SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems', ACM, pp. 91-100.
25. Hartmann, S. & Link, S. (2006a), 'Deciding implication for functional dependencies in complex-value databases', Theor. Comput. Sci. 364(2), 212-240.
26. Hartmann, S. & Link, S. (2006b), 'On a problem of Fagin concerning multivalued dependencies in relational databases', Theor. Comput. Sci. 353(1-3), 53-62.
27. Hartmann, S., Link, S. & Köhler, H. (2007), 'Full hierarchical dependencies in fixed and undetermined universes', Ann. Math. Artif. Intell. 50(1-2), 195-226.
28. Hartmann, S., Link, S. & Schewe, K.-D. (2006a), 'Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets', Theor. Comput. Sci. 355(2), 167-196.
29. Hartmann, S., Link, S. & Schewe, K.-D. (2006b), 'Functional and multivalued dependencies in nested databases generated by record and list constructor', Ann. Math. Artif. Intell. 46(1-2), 114-164.
30. Johnson, M. & Rosebrugh, R. (2003), 'Three approaches to partiality in the sketch data model', Electronic Notes in Theoretical Computer Science 78, 1-18.
31. Levene, M. & Loizou, G. (1993), 'Semantics for null extended nested relations', Trans. Database Syst. 18(3), 414-459.
32. Levene, M. & Loizou, G. (1998), 'Axiomatisation of functional dependencies in incomplete relations', Theor. Comput. Sci. 206(1-2), 283-300.
33. Lien, Y. E. (1982), 'On the equivalence of data models', J. ACM 29(2), 333-363.
34. Link, S. (2006a), On multivalued dependencies in fixed and undetermined universes, in 'Foundations of Information and Knowledge Systems, 4th International Symposium', number 3861 in 'Lecture Notes in Computer Science', Springer, pp. 258-277.
35. Link, S. (20066), 'On the logical implication of multivalued dependencies with null values', Conferences in Research and Practice in Information Technology 51, 113-122.
36. Mendelzon, A. (1979), 'On axiomatising multivalued dependencies in relational databases', J. ACM 26(1), 37-44.
37. Mikinouchi, A. (1977), A consideration on normal form of not-necessarily-normalised relation in the relational data model, in 'VLDB Conference', IEEE Computer Society, pp. 447-453.
38. Tari, Z., Stokes, J. & Spaccapietra, S. (1997), 'Object normal forms and dependency constraints for object-oriented schemata', Trans. Database Syst. 22, 513-569.
39. Thalheim, B. (1991), Dependencies in Relational Databases, Teubner-Verlag.
40. Thalheim, B. (2003), Conceptual treatment of multivalued dependencies, in 'Conceptual Modeling - ER 2003, 22nd International Conference on Conceptual Modeling, Chicago, IL, USA, October 13-16, 2003, Proceedings', number 2813 in 'Lecture Notes in Computer Science', Springer, pp. 363-375.
41. Vincent, M. & Liu, J. (2003), Multivalued dependencies in XML, in 'Proceedings of the 20th British National Conference on Databases', number 2712 in 'Lecture Notes in Computer Science', Springer, pp. 4-18.
42. Vincent, M., Liu, J. & Liu, C. (2003), A redundancy free 4NF for XML, in 'Proceedings of the 1st International XML Database Symposium', number 2824 in 'Lecture Notes in Computer Science', Springer, pp. 254-266.
43. Weddell, G. (1992), 'Reasoning about functional dependencies generalized for semantic data models', Trans. Database Syst. 17(1), 32-64.
44. Wijsen, J. (1999), 'Temporal FDs on complex objects', Trans. Database Syst. 24(1), 127-176.
45. Zaniolo, C. (1976), Analysis and Design of Relational Schemata for Database Systems, PhD thesis, UCLA, Tech. Rep. UCLA-ENG-7769.
46. Zaniolo, C. (1984), 'Database relations with null values', J. Comput. Syst. Sci. 28(1), 142-166.