Null Inclusion Dependencies in Relational Databases

Information and Computation

Volumn 136, Issue 2, 1997, Pages 67-108

  Levene, Mark ^a   Loizou, George ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002071491     PISSN: 08905401     EISSN: None     Source Type: Journal    
DOI: 10.1006/inco.1997.2631     Document Type: Article

References (24)

1. Atzeni, P., and Morfuni, N. M. (1986), Functional dependencies and constraints on null values in database relations, Inform. and Control 70, 1-31.
2. Atzeni, P., and De Antonellis, V. (1993), "Relational Database Theory," Benjamin/ Cummings, Redwood City, CA.
3. Buckley, F., and Harary, F. (1990), "Distance in Graphs," Addison-Wesley, Redwood City, CA.
4. Casanova, M. A., Fagin, R., and Papadimitriou, C. H. (1984), Inclusion dependencies and their interaction with functional dependencies, J. Comput. System Sci. 28, 29-59.
5. Chandra, A. K., Kozen, D. C., and Stockmeyer, L. J. (1981), Alternation, J. Assoc. Comput. Mach. 28, 114-133.
6. Chandra, A. K., and Vardi, M. Y. (1985), The implication problem for functional and inclusion dependencies is undecidable, SIAM J. Comput. 14, 671-677.
7. Codd, E. F. (1979), Extending the database relational model to capture more meaning, ACM Trans. Database Systems 4, 379-434.
8. Cosmadakis, S. S., and Kanellakis, P. C. (1983), Equational theories and database constraints, in "Proceedings of the ACM Symposium on Theory of Computing," pp. 273-284.
9. Cosmadakis, S. S., Kanellakis, P. C., and Vardi, M. Y. (1990), Polynomial-time implication problems for unary inclusion dependencies, J. Assoc. Comput. Mach. 37, 15-46.
10. Date, C. J. (1986), Referential integrity, in "Relational Database: Selected Writings," pp. 41-63, Addison-Wesley, Reading, MA.
11. Date, C. J., and Darwen, H. (1993), "A Guide to the SQL Standard," 3rd ed., Addison-Wesley, Reading, MA.
12. Davey, B. A., and Priestly, H. A. (1990), "Introduction to Lattices and Order," Cambridge Univ. Press, Cambridge, UK.
13. Garey, M. R., and Johnson, D. S. (1979), "Computers and Intractability: A Guide to the Theory of NP-Completeness," Freeman, New York.
14. Honeyman, P. (1982), Testing satisfaction of functional dependencies, J. Assoc. Comput. Mach. 29, 668-677.
15. Johnson, D. S., and Klug, A. (1984), Testing containment of conjunctive queries under functional and inclusion dependencies, J. Comput. System Sci. 28, 167-189.
16. Levene, M., and Loizou, G. (1992), Inferring null join dependencies in relational databases, BIT 32, 413-429.
17. Levene, M., and Loizou, G. (1997), The additivity problem for functional dependencies in incomplete relations, Acta Informat. 34, 135-149.
18. Lien, Y. E. (1982), On the equivalence of database models, J. Assoc. Comput. Mach. 29, 333-362.
19. Maier, D., Mendelzon, A. O., and Sagiv, Y. (1979), Testing implications of data dependencies, ACM Trans. Database Systems 4, 455-469.
20. Mannila, H., and Räihä, K.-J. (1986), Inclusion dependencies in database design, in "Proceedings of the IEEE Conference on Data Engineering, Los Angeles," pp. 7713-718.
21. Mannila, H., and Räihä, K.-J. (1988), "Generating Armstrong Databases for Sets of Functional and Inclusion Dependencies," Research Report A-1988-7, Department of Computer Science, University of Tampere, Tampere, Finland.
22. Mitchell, J. C. (1983), The implication problem for functional and inclusion dependencies, Inform. and Control 56, 154-173.
23. Sciore, E. (1986), Comparing the universal instance and relational data models, in "Advances in Computing Research" (P. C. Kanellakis and F. Preparata, Eds.), Vol. 3, pp. 139-162, JAI Press, Greenwich.
24. Ullman, J. D. (1988), "Principles of Database and Knowledge-Base Systems," Vol. I, Comput. Sci. Press, Rockville, MD.