Skip to main content
SpringerLink
Log in

FOL Modeling of Integrity Constraints (Dependencies)

  • Reference work entry
Encyclopedia of Database Systems

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 2,500.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Recommended Reading

  1. Abiteboul S., Hull R., and Vianu V. Foundations of databases. Addison-Wesley, Reading, MA, 1995.

    MATH  Google Scholar 

  2. Beeri C. and Vardi M.Y. The implication problem for data dependencies. In Proc. Int. Conf. on Algorithms, Languages and Programming, 1981, pp. 73–85.

    Google Scholar 

  3. Codd E.F. Relational completeness of database sublanguages. In Courant Computer Science Symposium 6: Data Base Systems. R. Rustin Prentice-Hall, Englewood Cliffs, NJ, 1972, pp. 65–98.

    Google Scholar 

  4. Date C.J. Referential integrity. In Proc. 7th Int. Conf. on Very Data Bases, 1981, pp. 2–12.

    Google Scholar 

  5. Delobel C. Normalization and hierarchical dependencies in the relational data model. ACM Trans. Database Syst., 3(3):201–222, 1978.

    Article  Google Scholar 

  6. Deutsch A., Ludäscher B., and Nash A. Rewriting queries using views with access patterns under integrity constraints. Theor. Comput. Sci., 371(3):200–226, 2007.

    Article  MATH  Google Scholar 

  7. Deutsch A. and Tannen V. XML queries and constraints, containment and reformulation. Theor. Comput. Sci., 336(1):57–87, 2005.

    Article  MATH  MathSciNet  Google Scholar 

  8. Fagin R. Horn clauses and database dependencies. J ACM, 29(4):952–985, 1982.

    Article  MATH  MathSciNet  Google Scholar 

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

    Article  MathSciNet  Google Scholar 

  10. Fagin R. and Vardi M.Y. The theory of data dependencies: A survey. In Mathematics of Information Processing: Proceedings of Symposia in Applied Mathematics, vol. 34, M. Anshel and W. Gewirtz (eds.). American Mathematical Society, Providence, RI, 1986, pp. 19–27.

    Google Scholar 

  11. Gallaire H. and Minker J. Logic and databases. Plenum Press, New York, 1978.

    Google Scholar 

  12. Ginsburg S. and Zaiddan S.M. Properties of functional dependency families. JACM, 29(4):678–698, 1982.

    Article  MATH  MathSciNet  Google Scholar 

  13. Grahne G. and Mendelzon A.O. Tableau techniques for querying information sources through global schemas. In Proc. 7th Int. Conf. on Database Theory, 1999, pp. 332–347.

    Google Scholar 

  14. Kannellakis P.C. Elements of relational database theory. In Handbook of Theoretical Computer Science. J. Van Leeuwen Elsevier, Amsterdam, 1991, pp. 1074–1156.

    Google Scholar 

  15. Maier D., Ullman J.D., and Vardi M.Y. On the foundations of the universal relation model. ACM Trans. Database Syst., 9(2):283–308, 1984.

    Article  MATH  MathSciNet  Google Scholar 

  16. Mendelzon A.O. and Maier D. Generalized mutual dependencies and the decomposition of database relations. In Proc. 5th Int. Conf. on Very Data Bases, 1979, pp. 75–82.

    Google Scholar 

  17. Nicolas J.-M. First order logic formalization for functional, multivalued, and mutual dependencies. Acta Inf., 18(3):227–253, 1982.

    MATH  MathSciNet  Google Scholar 

  18. Paredaens J. Transitive dependencies in a database scheme. Technical Report R387, MBLE, Brussels, 1979.

    Google Scholar 

  19. Parker D.S. and Parsaye-Ghomi K. Inference involving embedded multivalued dependencies and transitive dependencies. In Proc. ACM SIGMOD Int. Conf. on Management of Data, 1980, pp. 52–57.

    Google Scholar 

  20. Sagiv Y. and Walecka S.F. Subset dependencies and a completeness result for a subclass of embedded multivalued dependencies. J ACM, 29(1):103–117, 1982.

    Article  MATH  MathSciNet  Google Scholar 

  21. Vardi M.Y. On decomposition of relational databases. In Proc. 23rd Annual Symp. on Foundations of Computer Science, pp. 176–185, 1982.

    Google Scholar 

  22. Vardi M.Y. Trends in theoretical computer science. In Fundamentals of dependency theory. E. Borger Computer Science Press, Rockville, MD, 1987, pp. 171–224.

    Google Scholar 

  23. Yannakakis M. and Papadimitriou C. Algebraic dependencies. J Comput. Syst. Sci., 25(2):3–41, 1982.

    MathSciNet  Google Scholar 

  24. Zaniolo C. Analysis and Design of Relational Schemata for Database Systems. PhD Thesis, University of California, Los Angeles, 1976. Technical Report UCLA-Eng-7669, Department of Computer Science.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of California-San Diego, La Jolla, CA, USA

    Alin Deutsch

Authors
  1. Alin Deutsch
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. College of Computing, Georgia Institute of Technology, 266 Ferst Drive, 30332-0765, Atlanta, GA, USA

    LING LIU (Professor) (Professor)

  2. Database Research Group David R. Cheriton School of Computer Science, University of Waterloo, 200 University Avenue West, N2L 3G1, Waterloo, ON, Canada

    M. TAMER ÖZSU (Professor and Director, University Research Chair) (Professor and Director, University Research Chair)

Rights and permissions

Reprints and permissions

Copyright information

© 2009 Springer Science+Business Media, LLC

About this entry

Cite this entry

Deutsch, A. (2009). FOL Modeling of Integrity Constraints (Dependencies). In: LIU, L., ÖZSU, M.T. (eds) Encyclopedia of Database Systems. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-39940-9_980

Download citation

Publish with us

Policies and ethics

Search

Navigation