Axiomatisation of functional dependencies in incomplete relations

Theoretical Computer Science

Volumn 206, Issue 1-2, 1998, Pages 283-300

  Levene, Mark ^a   Loizou, George ^b  

^a UNIVERSITY COLLEGE LONDON   (United Kingdom)

^b UNIVERSITY OF LONDON   (United Kingdom)

Author keywords

Armstrong relations; Axiom system; Functional dependencies; Incomplete relations

Indexed keywords

EID: 0001550514     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0304-3975(98)80029-7     Document Type: Article

References (23)

1. A.V. Aho, C. Beeri, J.D. Ullman, The theory of joins in relational databases, ACM Trans. Database Systems 4 (1979) 297-314.
2. W.W. Armstrong, Dependency structures of data base relationships, in: Proc. IFIP Congress, Stockholm, 1974, pp. 580-583.
3. P. Atzeni, V. De Antonellis, Relational Database Theory, Benjamin/Cummings, Redwood City, CA, 1993.
4. P. Atzeni, N.M. Morfuni, Functional dependencies and constraints on null values in database relations, Inform, and Control 70 (1986) 1-31.
5. C. Beeri, P.A. Bernstein, Computational problems related to the design of normal form relational schemas, ACM Trans. Database Systems 4 (1979) 30-59.
6. C. Beeri, M. Dowd, R. Fagin, R. Statman, On the structure of Armstrong relations for functional dependencies, J. ACM 31 (1984) 30-46.
7. M.A. Casanova, R. Fagin, C.H. Papadimitriou, Inclusion dependencies and their interaction with functional dependencies, J. Comput. System Sci. 28 (1984) 29-59.
8. B.F. Chellas, Modal Logic: An Introduction, Cambridge University Press, Cambridge, 1980.
9. E.F. Codd, Extending the database relational model to capture more meaning, ACM Trans. Database Systems 4 (1979) 397-434.
10. C.J. Date, H. Darwen, A Guide to the SQL Standard, 3rd ed., Addison-Wesley, Reading, MA, 1993.
11. B.A. Davey, H.A. Priestly, Introduction to Lattices and Order, Cambridge University Press, Cambridge, 1990.
12. J. Demetrovics, V.D. Thi, Algorithms for generating an Armstrong relation and inferring functional dependencies in the relational datamodel, Comput. Math. Appl. 6 (1993) 43-55.
13. R. Fagin, Armstrong databases, Research Report RJ3440 (40926), Computer Science, IBM Research Laboratory, San Jose, CA, 1982.
14. M.R. Garey, D.S. Johnson, Computers and Intractability: A Guide to the Theory of NP-completeness, Freeman, New York, 1979.
15. P. Honeyman, Testing satisfaction of functional dependencies, J. ACM 29 (1982) 668-677.
16. T. Imielinski, Incomplete information in logical databases, IEEE Data Eng. 12 (1989) 29-40.
17. M. Levene, G. Loizou, A correspondence between variable relations and three-valued prepositional logic, Internat. J. Comput. Math. 55 (1995) 29-38.
18. M. Levene, G. Loizou, Inclusion dependencies in relations which may be incomplete, Information and Computation 136 (1997) 67-108.
19. Y.E. Lien, On the equivalence of database models, J. ACM 2 (1982) 333-362.
20. D. Maier, A.O. Mendelzon, Y. Sagiv, Testing implications of data dependencies, ACM Trans. Database Systems 4 (1979) 455-469.
21. H. Mannila, K-J. Raiha, Design by example: an application of Armstrong relations, J. Comput. System Sci. 33 (1986) 126-141.
22. N. Rescher, Many-Valued Logic, McGraw-Hill, New York, 1969.
23. J.D. Ullman, Principles of Database and Knowledge-Base Systems, vol. I. Computer Science Press, Rockville, MD, 1988.