Skip to main content
Springer Nature Link
Log in

On the expressive power of data dependencies

  • Published:
Acta Informatica Aims and scope Submit manuscript

Summary

The class of data dependencies is a class of first-order sentences that seem to be suitable to express semantic constraints for relational databases. We deal with the question of which classes of databases are axiomatizable by data dependencies. (A class Γ of databases is said to be axiomatizable by sentences of a certain kind if there exists a set of sentences of that kind such that Γ is the class of all models of that set.) Our results characterize, by algebraic closure conditions, classes of databases that are axiomatizable by dependencies of different kinds. Our technique is model-theoretic, and the characterization easily entails all previously known results on axiomatizability by dependencies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aho, A.V., Sagiv, Y., Ullman, J.D.: Equivalence among relational expressions. SIAM J. Comput. 8, 218–246 (1979)

    Google Scholar 

  2. Birkhoff, G.: On the structure of abstract algebras. Proc. Cambridge Phil. Soc. 31, 433–454 (1935)

    Google Scholar 

  3. Beeri, C, Vardi, M.Y.: A proof procedure for data dependencies. J. ACM 31, 718–741 (1984)

    Google Scholar 

  4. Chandra, A.K., Harel, D.: Horn clauses and the fixpoint query hierarchy. Proc. ACM. Symp. Principles Database Syst., pp. 158–163. Los Angeles 1982; and: Horn clause queries and generalizations. J. Logic Programming 1, 1–15 (1985)

    Google Scholar 

  5. Chang, C.C., Keisler, H.J.: Model theory. Amsterdam: North-Holland 1977

    Google Scholar 

  6. Chandra, A.K., Lewis, H.R., Makowsky, J.A.: Embedded implicational dependencies and their inference problem. Proc. XP1 Workshop on Relational Database Theory, Stony Brook, June 1980 and, in a modified version, Proc. 13th ACM Symp. on Theory of Computing, 1981, Milwaukee, pp. 342–354. (Full version to appear in J. Comput. Syst. Sci.)

  7. Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational databases. Proc. 9th ACM Symp. on Theory Comput. 77–90 (1977)

  8. Codd, E.F.: A relational model for large shared data bases. Commun. ACM 13, 377–387 (1970)

    Google Scholar 

  9. Codd, E.F.: Further normalization of the database relational model. In Data Base Systems (R Rustin, ed.), pp. 33–64. Englewood Cliffs: Prentice-Hall 1972

    Google Scholar 

  10. van Emden, M.A., Kowalski, R.A.: The semantics of predicate logic as a programming language. J. ACM 23, 733–742 (1976)

    Google Scholar 

  11. Fagin, R.: Multivalued dependencies and a new normal form for relational databases. ACM Trans. Database Syst. 2, 262–278 (1977)

    Google Scholar 

  12. Fagin, R.: Horn clauses and database dependencies. J. Assoc. Comput. Mach. 29, 252–285 (1982)

    Google Scholar 

  13. Ginsburg, S., Hull, R.: Characterization for functional dependency and Boyce-Codd normal form families. Theor. Comput. Sci. 29, 243–284 (1983)

    Google Scholar 

  14. Graham, M.H., Mendelzon, A.O., Vardi, M.Y.: Notions of dependency satisfaction. J. ACM 33, 105–129 (1986)

    Google Scholar 

  15. Graham, M.H., Vardi, M.Y.: On the complexity and axiomatizability of consistents database states. Proc. of 3rd ACM Symp. on Principles of Database Systems. pp. 281–283. Waterloo 1984

  16. Ginsburg, S., Zaiddan, S.M.: Properties of functional dependencies families. J. Assoc. Comput. Mach. 29, 678–698 (1982)

    Google Scholar 

  17. Gurevich, Y.: Toward Logic Tailored for Computational Complexity. In: Computation and Proof Theory. (M.M. Richter and E. Börger, eds.), pp. 175–216. Lect. Notes Math. 1104. Berlin, Heidelberg, New York: Springer 1984

    Google Scholar 

  18. Honeyman, P.: Testing satisfaction of functional dependencies. J. Assoc. Comput. Mach. 29, 668–677 (1982)

    Google Scholar 

  19. Hull, R.: Finitely specifiable implicational dependencies families. J. ACM 31, 210–226 (1984)

    Google Scholar 

  20. Jacobs, B.E., Aronson, A.R., Klug, A.C.: On interpretations of relational languages and solutions to the implied constraint problem. ACM Trans. Database Syst. 7, 291–315 (1982)

    Google Scholar 

  21. Kuhns, J.L.: Answering questions by computer: A logical study. RM-5428-PR, Rand Corp., Santa Monica, Ca., Dec. 1967

    Google Scholar 

  22. Makowsky, J.A.: Characterizing database dependencies. Proc. 8th Int'l Colloq. on Automata, Languages and Programming, Acre, 1981. Lect. Notes Comput. Sci. 115, pp. 86–97. Berlin, Heidelberg, New York: Springer 1981

    Google Scholar 

  23. Makowsky, J.A.: Model theoretic issues in computer science, Part I: Relational data bases and abstract data types. In: Logic Colloquium '82 (G. Lolli, G. Longo and A. Marcja, eds.), pp. 303–343. Amsterdam: North Holland 1984

    Google Scholar 

  24. Makowsky, J.A.: Why Horn formulas matter in computer science: Initial structures and generic examples, Mathematical Foundations of Software Development, CAAP, Lect. Notes Comput. Sci. 185, 374–385 (1985). (Full paper to appear J. Comput. Syst. Sci.)

    Google Scholar 

  25. Makowsky, J.A.: Securable quantifiers, k-unions and admissible sets. In: Logic Colloquium '73 (E. Rose and J. Shepherdson eds.), pp. 409–428. Amsterdam: North Holland 1975

    Google Scholar 

  26. Makowsky, J.A.: Vopěnka's Principle and Compact Logies. J. Symb. Logic 50 (1), 42–48 (1985)

    Google Scholar 

  27. Malc'ev, A.I.: Algebraic systems. Berlin, Heidelberg, New York: Springer 1973

    Google Scholar 

  28. McKinsey, J.C.C.: The decision problem for some classes of sentences without quantifiers. J. Symb. Logic 8, 61–76 (1943)

    Google Scholar 

  29. Ullman, J.D.: Principles of Database Systems. Potomac, M.D.: Computer Science Press 1983

    Google Scholar 

  30. Vardi, M.Y.: On the integrity of databases with incomplete information. Proc. of the 5th ACM Symp. on Principles of Database systems, pp. 252–266. Boston 1986

  31. Yannakakis, M., Papadimitriou, C: Algebraic dependencies. 21st IEEE Ann. Symp. on Found, of Computer Science, pp. 328–332 (1980). (To appear in J. Comput. Syst. Sci.)

  32. Zaniolo, C.: Analysis and design of relational schemata for database systems, Ph. D. Thesis, Technical Report UCLA-ENG-7769, UCLA, 1976

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer Science, Technion - Israel Institute of Technology, Haifa, Israel

    Johann A. Makowsky

  2. IBM Almaden Research Center, 95120, San Jose, CA, USA

    Moshe Y. Vardi

Authors
  1. Johann A. Makowsky
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Moshe Y. Vardi
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Research partially supported by Swiss National Science Foundation Grant No. 82.820.0.80 (1980–1982), revision of the paper was done while visiting the Mathematisches Forschungsinstitut at the Swiss Federal Institute of Technology (Summer 1985)

Part of the research reported here was done while the author was at Stanford University and supported by a Weizmann Post-Doctoral Fellowship and AFOSR grant 80-0212

Rights and permissions

Reprints and permissions

About this article

Cite this article

Makowsky, J.A., Vardi, M.Y. On the expressive power of data dependencies. Acta Informatica 23, 231–244 (1986). https://doi.org/10.1007/BF00289111

Download citation

  • Received:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF00289111

Keywords