Characterising nested database dependencies by fragments of propositional logic

Annals of Pure and Applied Logic

Volumn 152, Issue 1-3, 2008, Pages 84-106

  Hartmann, Sven ^a   Link, Sebastian ^a  

^a MASSEY UNIVERSITY   (New Zealand)

Author keywords

Boolean dependency; Brouwerian algebra; Logic in databases; Multivalued dependency; Nested databases; Propositional logic

Indexed keywords

EID: 39549085359     PISSN: 01680072     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.apal.2007.11.004     Document Type: Article

References (36)

1. Abiteboul S., Buneman P., and Suciu D. Data on the Web: From Relations to Semistructured Data and XML (2000), Morgan Kaufmann Publishers
2. Abiteboul S., Hull R., and Vianu V. Foundations of Databases (1995), Addison-Wesley
3. Anderson I. Combinatorics of Finite Sets (1987), Oxford Science Publications, The Clarendon Press Oxford University Press, New York
4. p-discrepancy measure and its application to digital halftoning. SIAM Journal on Computing 32 6 (2003) 1423-1435
5. Atkinson M., Bancilhon F., DeWitt D., Dittrich K., Maier D., and Zdonik S. The object-oriented database system manifesto. Proceedings of the International Conference on Deductive and Object-Oriented Databases (1989) 40-57
6. Beeri C. On the membership problem for functional and multivalued dependencies in relational databases. Transactions on Database Systems (TODS) 5 3 (1980) 241-259
7. Beeri C. A formal approach to object-oriented databases. Data and Knowledge Engineering 5 4 (1990) 353-382
8. Beeri C., and Bernstein P.A. Computational problems related to the design of normal form relational schemata. Transactions on Database Systems (TODS) (1979) 30-59
9. Biskup J. Achievements of relational database schema design theory revisited. Semantics in Databases. Lecture Notes in Computer Science vol. 1358 (1998), Springer 29-54
10. Bray T., Paoli J., Sperberg-McQueen C.M., Maler E., and Yergeau F. Extensible markup language (XML) 1.0 (third edition) W3C recommendation 04 February 2004 (2004). http://www.w3.org/TR/2004/REC-xml-20040204/
11. Bry F., and Kröger P. A computational biology database digest: Data, data analysis, and data management. Distributed and Parallel Databases 13 1 (2003) 7-42
12. Chen P.P. The entity-relationship model: Towards a unified view of data. Transactions on Database Systems (TODS) 1 (1976) 9-36
13. Codd E.F. A relational model of data for large shared data banks. Communications of the ACM 13 6 (1970) 377-387
14. Delobel C. Normalisation and hierarchical dependencies in the relational data model. Transactions on Database Systems (TODS) 3 3 (1978) 201-222
15. Delobel C., and Adiba M. Relational Database Systems (1985), North Holland
16. Enderton H. A Mathematical Introduction to Logic. second edition (2001), Academic Press
17. Fagin R. Functional dependencies in a relational data base and propositional logic. IBM Journal of Research and Development 21 6 (1977) 543-544
18. Fagin R. Multivalued dependencies and a new normal form for relational databases. Transactions on Database Systems (TODS) 2 3 (1977) 262-278
19. Galil Z. An almost linear-time algorithm for computing a dependency basis in a relational database. Journal of the ACM 29 1 (1982) 96-102
20. Hartmann S., and Link S. Deciding implication for functional dependencies in complex-value databases. Theoretical Computer Science 364 2 (2006) 212-240
21. Hartmann S., Link S., and Schewe K.-D. Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets. Theoretical Computer Science 355 2 (2006) 167-196
22. Hartmann S., Link S., and Schewe K.-D. Functional and multivalued dependencies in nested databases generated by record and list constructor. Annals of Mathematics and Artificial Intelligence 46 1-2 (2006) 114-164
23. Hull R., and King R. Semantic database modeling: Survey, applications and research issues. ACM Computing Surveys 19 3 (1987)
24. Levene M. The Nested Universal Relation Database Model (1992), Springer
25. Li J., Ng S., and Wong L. Bioinformatics adventures in database research. Proceedings of the International Conference on Database Theory. ICDT. Lecture Notes in Computer Science vol. 2572 (2002), Springer 31-46
26. McKinsey J.C.C., and Tarski A. On closed elements in closure algebras. Annals of Mathematics 47 (1946) 122-146
27. Paredaens J., De Bra P., Gyssens M., and Van Gucht D. The Structure of the Relational Database Model (1989), Springer-Verlag
28. D.S. Parker, C. Delobel, Algorithmic applications for a new result on multivalued dependencies, in: Proceedings of the International Conference on Very Large Data Bases, VLDB, 1979, pp. 67-74
29. Sagiv Y. An algorithm for inferring multivalued dependencies with an application to propositional logic. Journal of the ACM 27 2 (1980) 250-262
30. Sagiv Y., Delobel C., Parker Jr. D.S., and Fagin R. An equivalence between relational database dependencies and a fragment of propositional logic. Journal of the ACM 28 3 (1981) 435-453
31. Sagiv Y., Delobel C., Parker Jr. D.S., and Fagin R. Correction to "An equivalence between relational database dependencies and a fragment of propositional logic". Journal of the ACM 34 4 (1987) 1016-1018
32. Schewe K.-D., and Thalheim B. Fundamental concepts of object oriented databases. Acta Cybernetica 11 4 (1993) 49-85
33. P. Seshadri, M. Livny, R. Ramakrishnan, The design and implementation of sequence database system, in: Proceedings of the International Conference on Very Large Data Bases, VLDB, 1996, pp. 99-110
34. Suciu D. On database theory and XML. SIGMOD Record 30 3 (2001) 39-45
35. Thalheim B. Entity-Relationship Modeling: Foundations of Database Technology (2000), Springer-Verlag
36. Vianu V. A web odyssey: From Codd to XML. Principles of Database Systems (2001), ACM 1-15