Deciding implication for functional dependencies in complex-value databases

Theoretical Computer Science

Volumn 364, Issue 2, 2006, Pages 212-240

  Hartmann, Sven ^a   Link, Sebastian ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

Brouwerian algebra; Complexity; Correctness; Data types; Databases; Functional dependency; Implication problem

Indexed keywords

BROUWERIAN ALGEBRA; CORRECTNESS; DATA TYPES; FUNCTIONAL DEPENDENCY; IMPLICATION PROBLEM;

ALGEBRA; COMPUTATIONAL COMPLEXITY; DATA STRUCTURES; MATHEMATICAL MODELS; PROBLEM SOLVING; XML;

RELATIONAL DATABASE SYSTEMS;

EID: 33749507183     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2006.08.005     Document Type: Article

References (82)

1. S. Abiteboul, P. Buneman, D. Suciu, Data on theWeb: From Relations to Semistructured Data and XML, Morgan Kaufmann Publishers, Los Altos, CA, 2000.
2. S. Abiteboul, R. Hull, V. Vianu, Foundations of Databases, Addison-Wesley, Reading, MA, 1995.
3. M. Arenas, L. Libkin, An information-theoretic approach to normal forms for relational and XML data, in: Principles of Database Systems (PODS), 2003, pp. 15-26.
4. M. Arenas, L. Libkin, A normal form for XML documents, Trans. Database Systems (TODS) 29 (1) (2004) 195-232.
5. W.W. Armstrong, Dependency structures of database relationships, Inform. Process. (1974) 580-583.
6. W.W. Armstrong,Y. Nakamura, P. Rudnicki, Armstrong's axioms, J. Formalized Math. 14 (2002).
7. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik, The object-oriented database system manifesto, in: Proc. Internat. Conf. on Deductive and Object-Oriented Databases, 1989, pp. 40-57.
8. J. Banatre, D. Le Metayer, Programming by multiset transformation, Comm. ACM 36 (1) (1993) 98-111.
9. C. Beeri, On the membership problem for functional and multivalued dependencies in relational databases, Trans. Database Systems (TODS) 5 (3) (1980) 241-259.
10. C. Beeri, A formal approach to object-oriented databases, Data Knowledge Eng. 5 (4) (1990) 353-382.
11. C. Beeri, P.A. Bernstein, Computational problems related to the design of normal form relational schemata, Trans. Database Systems (TODS) (1979) 30-59.
12. C. Beeri, P.A. Bernstein, N. Goodman, A sophisticate's introduction to database normalization theory, in: Proc. Internat. Conf. on Very Large Data Bases (VLDB), 1978, pp. 113-124.
13. C. Beeri, R. Fagin, J.H. Howard,A complete axiomatization for functional and multivalued dependencies in database relations, in: International Conference on Management of Data (SIGMOD), ACM, NewYork, 1977, pp. 47-61.
14. C. Beeri, A.O. Mendelzon,Y. Sagiv, J.D. Ullman, Equivalence of relational database schemes, SIAM J. Comput. 10 (2) (1981) 352-370.
15. P.A. Bernstein, Normalisation and functional dependencies in the relational data base model, Technical Report CSRG-60, University of Toronto, 1975.
16. P.A. Bernstein, Synthesizing third normal form relations from functional dependencies, Trans. Database Systems (TODS) 1 (1976) 277-298.
17. P.A. Bernstein, N. Goodman, What does Boyce-Codd normal form do?, in: Proc. Internat. Conf. on Very Large Data Bases (VLDB), 1980, pp. 245-259.
18. G. Berry, G. Boudol, The chemical abstract machine, Theoret. Comput. Sci. 96 (1992) 217-248.
19. J. Biskup, Database schema design theory: achievements and challenges, in: Information Systems and Data Management, Lecture Notes in Computer Science, Vol. 1066, Springer, Berlin, 1995, pp. 14-44.
20. J. Biskup, Achievements of relational database schema design theory revisited, Semantics in Databases, Lecture Notes in Computer Science, Vol. 1358, Springer, Berlin, 1998, pp. 29-54.
21. M.F. Bommel, G.E. Weddell, Reasoning about equations and functional dependencies on complex objects, Trans. Knowledge and Data Engineering 6 (3) (1994) 455-469.
22. T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler, F.Yergeau, Extensible Markup Language (XML) 1.0 (third edition)W3C recommendation 04 February 2004, 〈http://www.w3.org/TR/2004/REC-xml-20040204/〉, 2004.
23. F. Bry, P. Kröger, A computational biology database digest: data, data analysis, and data management, Distributed Parallel Databases 13 (1) (2003) 7-42.
24. P. Buneman,W. Fan, J. Siméon, S.Weinstein, Constraints for semi-structured data and XML, SIGMOD Record 30 (1) (2001) 47-54.
25. C. Calude, G. Paun, G. Rozenberg, A. Salomaa (Eds.), Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View,Workshop on Multiset Processing, WMP 2000, Curtea de Arges, Romania, August 21-25, 2000, Springer, Berlin, 2001.
26. P.P. Chen, The entity-relationship model: towards a unified view of data, Trans. Database Systems (TODS) 1 (1976) 9-36.
27. E.F. Codd, Further normalization of the database relational model, in: Courant Computer Science Symposia 6: Data Base Systems, 1972, pp. 33-64.
28. E.F. Codd, Recent investigations in relational database system, in: Proc. IFIP Conference, 1974, pp. 1017-1021.
29. B. Courcelle, Fundamental properties of infinite trees, Theoret. Comput. Sci. 25 (1983) 95-169.
30. A. Dovier, A. Policriti, G. Rossi, A uniform axiomatic view of lists, multisets, and sets, and the unification algorithm, Fund. Inform. 36 (1998) 201-234.
31. M. Dummett, Elements of Intuitionism, Clarendon Press, Oxford, 2000.
32. R. Fagin, Multivalued dependencies and a new normal form for relational databases, Trans. Database Systems (TODS) 2 (3) (1977) 262-278.
33. R. Fagin, A normal form for relational databases that is based on domains and keys, Trans. Database Systems (TODS) 6 (3) (1981) 387-415.
34. R. Fagin, M.Y. Vardi, The theory of data dependencies: a survey, in: Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics, 1986, pp. 19-71.
35. W. Fan, L. Libkin, On XML integrity constraints in the presence of DTDs, J. ACM 49 (3) (2002) 368-406.
36. W. Fan, J. Siméon, Integrity constraints for XML, J. Comput. System Sci. 66 (1) (2003) 254-291.
37. D.H. Fishman, D. Beech, H.P. Cate, E.F. Chow, T. Connors, J.W. Davis, N. Derret, C.G. Hoch,W. Kent, P. Lyngbæk, B. Mahbod, M.-A. Neimat, T.A. Ryan, M.-C. Shan, IRIS: an object-oriented database management system, Trans. Office Inform. Systems 5 (1) (1987) 48-69.
38. G. Gardarin, J.-P. Cheiney, G. Kiernan, D. Pastre, H. Stora, Managing complex objects in an extensible relational DBMS, in: Proc. Internat. Conf. on Very Large Data Bases, 1989, pp. 55-65.
39. C.S. Hara, S.B. Davidson, Reasoning about nested functional dependencies, in: Principles of Database Systems (PODS), 1999, pp. 91-100.
40. S. Hartmann, Decomposing relationship types by pivoting and schema equivalence, Data Knowledge Eng. 39 (2001) 75-99.
41. S. Hartmann, On the implication problem for cardinality constraints and functional dependencies, Ann. Math. Artificial Intelligence 33 (2001) 253-307.
42. S. Hartmann, S. Link, More functional dependencies for XML, in: Advances in Databases and Information Systems, Seventh East European Conference, ADBIS 2003, Dresden, Germany, September 3-6, Lecture Notes in Computer Science, Vol. 2798, Springer, Berlin, 2003, pp. 355-369.
43. S. Hartmann, S. Link, On functional dependencies in advanced data models, Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 84 (2003).
44. S. Hartmann, S. Link, A membership algorithm for functional and multi-valued dependencies in the presence of lists, Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 91 (2004) 171-194.
45. S. Hartmann, S. Link, Multi-valued dependencies in the presence of lists, in: Proc. 23rd Internat. Conf. on Principles of Database Systems (PODS), ACM, NewYork, 2004, pp. 330-341.
46. S. Hartmann, S. Link, Normalisation in the presence of lists, in: 15th Australasian Database Conference (ADC), Conferences in Research and Practice in Information Technology, Vol. 27, 2004, pp. 53-64.
47. S. Hartmann, S. Link, A topological view of data dependencies in complex-value databases, in: Proc. Third Chilean Workshop on Databases, 2004.
48. S. Hartmann, S. Link, The implication problem of functional dependencies in complex-value databases, Electronic Notes in Theoretical Computer Science (ENTCS) Vol. 123, 2005, pp. 125-137.
49. S. Hartmann, S. Link, Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets, Theoret. Comput. Sci. (TCS) 355 (2) (2006) 167-196.
50. S. Hartmann, S. Link, Functional and multivalued dependencies in nested databases generated by record and list constructor, Ann. Math. Artificial Intelligence (AMAI) 46 (2006) 114-164.
51. S. Hartmann, S. Link,The nested list normal form for functional and multivalued dependencies, Proc. Fourth Internat. Symposium on Foundations of Information and Knowledge Systems (FoIKS), Lecture Notes in Computer Science, Vol. 3861, Springer, Berlin, 2006, pp. 137-158.
52. S. Hartmann, S. Link, M. Kirchberg, A subgraph-based approach towards functional dependencies for XML, in: Proc. Seventh World- Multiconference on Systemics, Cybernetics and Informatics (SCI),Vol. IX, Computer Science and Engineering II, Orlando, Florida, USA, July 27-30, 2003, pp. 200-205.
53. S. Hartmann, S. Link, K.-D. Schewe, Reasoning about functional and multi-valued dependencies in the presence of lists, in: Third International Symposium on Foundations of Information and Knowledge Systems (FoIKS), Lecture Notes in Computer Science,Vol. 2942, Springer, Berlin, 2004, pp. 134-154.
54. R. Hull, R. King, Semantic database modeling: survey, applications and research issues, ACM Comput. Surveys 19 (3) (1987).
55. G. Lamperti, M. Melchiori, M. Zanella, On multisets in database systems, in: Workshop on Multiset Processing (WMP), Lecture Notes in Computer Science, Vol. 2235, Springer, Berlin, 2000, pp. 147-216.
56. M. Lee,T. Ling,W. Low, Designing functional dependencies for XML, in: Advances in Database Technology-EDBT 2002, Eighth International Conference on Extending Database Technology, Prague, Czech Republic, March 25-27, Lecture Notes in Computer Science,Vol. 2287, Springer, Berlin, 2002, pp. 124-141.
57. M. Levene, The Nested Universal Relation Database Model, Springer, Berlin, 1992.
58. M. Levene, G. Loizou, Semantics for null extended nested relations, Trans. Database Systems (TODS) 18 (3) (1993) 414-459.
59. J. Li, S. Ng, L. Wong, Bioinformatics adventures in database research, in: Proc. Internat. Conf. on Database Theory (ICDT), Lecture Notes in Computer Science, Vol. 2572, Springer, Berlin, 2002, pp. 31-46.
60. D. Maier, Minimum covers in relational database model, J. ACM 27 (4) (1980) 664-674.
61. J.C.C. McKinsey, A. Tarski, The algebra of topology, Ann. Math. 45 (1944) 141-191.
62. J.C.C. McKinsey, A. Tarski, On closed elements in closure algebras, Ann. Math. 47 (1946) 122-146.
63. W.Y. Mok, Y.K. Ng, D.W. Embley,A normal form for precisely characterizing redundancy in nested relations, Trans. Database Systems (TODS) 21 (1996) 77-106.
64. S. Naqvi, S. Tsur, A Logical Language for Data and Knowledge Bases, Computer Science Press, Rockville, MD, 1989.
65. Z.M. Özsoyoglu, L.Y.Yuan, A new normal form for nested relations, Trans. Database Systems (TODS) 12 (1987) 111-136.
66. J. Paredaens, P. De Bra, M. Gyssens, D. Van Gucht, The Structure of the Relational Database Model, Springer, Berlin, 1989.
67. J. Richardson, Supporting lists in a datamodel, in: Proc. Internat. Conf. on Very Large Data Bases (VLDB), 1992, pp. 127-192.
68. K.-D. Schewe, B. Thalheim, Fundamental concepts of object oriented databases, Acta Cybernet. 11 (4) (1993) 49-85.
69. M.H. Scholl, H.-J. Schek, A relational object model, in: Proc. Internat. Conf. on Database Theory (ICDT), 1990, pp. 89-105.
70. P. Seshadri, M. Livny, R. Ramakrishnan, The design and implementation of sequence database system, in: Proc. Internat. Conf. on Very Large Data Bases (VLDB), 1996, pp. 99-110.
71. D. Suciu, On database theory and XML, SIGMOD Record 30 (3) (2001) 39-45.
72. Z. Tari, J. Stokes, S. Spaccapietra, Object normal forms and dependency constraints for object-oriented schemata, Trans. Database Systems (TODS) 22 (1997) 513-569.
73. B. Thalheim, Dependencies in Relational Databases, Teubner, Stuttgart, 1991.
74. B. Thalheim, Entity-Relationship Modeling: Foundations of Database Technology, Springer, Berlin, 2000.
75. M.Y. Vardi, Fundamentals of dependency theory, in: E. Börger (Ed.), Trends in Theoretical Computer Science, 1987, pp. 171-224.
76. V. Vianu, A web odyssey: from Codd to XML, in: Principles of Database Systems, 2001, pp. 1-15.
77. M.W. Vincent, J. Liu, Functional dependencies for XML, in: M.E. Orlowska, X. Zhou, Y. Zhang (Eds.), Web Technologies and Applications: Fifth Asia-PacificWeb Conference,APWeb 2003, Xian, China, April 23-25, 2003. Proceedings, Lecture Notes in Computer Science, Vol. 2642, Springer, Berlin, 2003, pp. 22-34.
78. M.W. Vincent, J. Liu, Multivalued dependencies in XML, in: British National Conference on Databases, Lecture Notes in Computer Science, Vol. 2712, Springer, Berlin, 2003, pp. 4-18.
79. M.W. Vincent, J. Liu, C. Liu, A redundancy free 4NF for XML, in: Proc. of the XML Database Symposium, Lecture Notes in Computer Science, Vol. 2824, Springer, Berlin, 2003, pp. 254-266.
80. M.W. Vincent, B. Srinivasan, Redundancy and the justification of fourth normal form in relational databases, Internat. J. Foundations Comput. Sci. 4 (4) (1993) 355-365.
81. M.W. Vincent, B. Srinivasan, Update anomalies and the justification of fourth normal form in relational databases, Inform. Sci. 81 (1994) 87-102.
82. G.E.Weddell, Reasoning about functional dependencies generalized for semantic data models, Trans. Database Systems (TODS) 17 (1) (1992) 32-64.