Skip to main content
SpringerLink
Log in
Book cover

International Conference on Database Theory

ICDT 1995: Database Theory — ICDT '95 pp 322–337Cite as

Constraint-generating dependencies

  • Contributed Papers
  • Conference paper
  • First Online:

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 893))

Abstract

Traditionally, dependency theory has been developed for uninterpreted data. Specifically, the only assumption that is made about the data domains is that data values can be compared for equality. However, data is often interpreted and there can be advantages in considering it as such, for instance obtaining more compact representations as done in constraint databases. This paper considers dependency theory in the context of interpreted data. Specifically, it studies constraint-generating dependencies. These are a generalization of equality-generating dependencies where equality requirements are replaced by constraints on an interpreted domain. The main technical results in the paper are a general decision procedure for the implication and consistency problems for constraint-generating dependencies, and complexity results for specific classes of such dependencies over given domains. The decision procedure proceeds by reducing the dependency problem to a decision problem for the constraint theory of interest, and is applicable as soon as the underlying constraint theory is decidable. The complexity results are, in some cases, directly lifted from the constraint theory; in other cases, optimal complexity bounds are obtained by taking into account the specific form of the constraint decision problem obtained by reducing the dependency implication problem.

This work was supported by NATO Collaborative Research Grant CRG 940110 and by NSF Grant IRI-9110581.

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

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. B. Aspvall, M. Plass, and R. Tarjan. A linear-time algorithm for testing the truth of certain quantified boolean formulas. Inf. Process. Lett., 8(3):121–123, 1979.

    Google Scholar 

  2. M. Baudinet. On the expressiveness of temporal logic programming. To appear in Information and Computation.

    Google Scholar 

  3. M. Baudinet. Temporal logic programming is complete and expressive. In Sixteenth ACM Symposium on Principles of Programming Languages, pages 267–280, Austin, Texas, Jan. 1989.

    Google Scholar 

  4. M. Baudinet, J. Chomicki, and P. Wolper. Temporal deductive databases. In A. Tansel, et al., editors, Temporal Databases. Theory, Design, and Implementation, chapter 13, pages 294–320. Benjamin/Cummings, 1993.

    Google Scholar 

  5. M. Baudinet, M. Niézette, and P. Wolper. On the representation of infinite temporal data and queries. In Tenth ACM Symposium on Principles of Database Systems, pages 280–290, Denver, Colorado, May 1991.

    Google Scholar 

  6. C. Beeri and M. Vardi. A proof procedure for data dependencies. Journal of the ACM, 31(4):718–741, Oct. 1984.

    Google Scholar 

  7. A. Brodsky, J. Jaffar, and M. J. Maher. Toward practical constraint databases. In 19th International Conference on Very Large Data Bases, Dublin, Aug. 1993.

    Google Scholar 

  8. A. Brodsky, C. Lassez, and J.-L. Lassez. Separability of polyhedra and a new approach to spatial storage. In Proceedings of the First Workhop on Principles and Practice of Constraint Programming, Newport, Rhode Island, Apr. 1993.

    Google Scholar 

  9. J. Chomicki. Polynomial time query processing in temporal deductive databases. In Ninth ACM Symposium on Principles of Database Systems, pages 379–391, Nashville, Tennessee, Apr. 1990.

    Google Scholar 

  10. J. Chomicki and T. Imieliński. Temporal deductive databases and infinite objects. In Seventh ACM Symposium on Principles of Database Systems, pages 61–73, Austin, Texas, Mar. 1988.

    Google Scholar 

  11. J. Chomicki and T. Imieliński. Finite Representation of Infinite Query Answers. ACM Transactions on Database Systems, 18(2):181–223, June 1993.

    Google Scholar 

  12. J. Cox and K. McAloon. Decision procedures for constraint based extensions of Datalog. In F. Benhamou and A. Colmerauer, editors, Constraint Logic Programming: Selected Research. MIT Press, 1993.

    Google Scholar 

  13. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to the Theory of NP-Completeness. W.H. Freeman and Company, New York, 1979.

    Google Scholar 

  14. S. Ginsburg and R. Hull. Order dependency in the relational model. Theoretical Computer Science, 26:149–195, 1983.

    Google Scholar 

  15. S. Ginsburg and R. Hull. Sort sets in the relational model. Journal of the ACM, 33(3):465–488, July 1986.

    Google Scholar 

  16. A. Gupta, Y. Sagiv, J. D. Ullman, and J. Widom. Constraint checking with partial information. In Thirteenth ACM Symposium on Principles of Database Systems, pages 45–55, Minneapolis, MN, May 1994.

    Google Scholar 

  17. N. S. Ishakbeyoğlu and Z. M. Ozsoyoğlu. On the maintenance of implication integrity constraints. In Fourth International Conference on Database and Expert Systems Applications, pages 221–232, Prague, Sept. 1993. LNCS 720, Springer.

    Google Scholar 

  18. C. Jensen and R. Snodgrass. Temporal specialization. In Eighth International Conference on Data Enfineering, pages 594–603, Tempe, Arizona, Feb. 1992. IEEE.

    Google Scholar 

  19. F. Kabanza, J.-M. Stévenne, and P. Wolper. Handling infinite temporal data. In Ninth ACM Symposium on Principles of Database Systems, pages 392–403, Nashville, Tennessee, Apr. 1990.

    Google Scholar 

  20. P. Kanellakis. Elements of relational database theory. In J. van Leeuwen, editor, Handbook of Theoretical Computer Science, volume B, chapter 17, pages 1073–1158. Elsevier/MIT Press, 1990.

    Google Scholar 

  21. P. C. Kanellakis, G. M. Kuper, and P. Revesz. Constraint query languages. In Ninth ACM Symposium on Principles of Database Systems, pages 299–313, Nashville, Tennessee, Apr. 1990.

    Google Scholar 

  22. P. C. Kanellakis, S. Ramaswamy, D. E. Vengroff, and J. S. Vitter. Indexing for data models with constraints and classes. In Twelfth ACM Symposium on Principles of Database Systems, pages 233–243, Washington, DC, May 1993.

    Google Scholar 

  23. M. Koubarakis. Representation and querying in temporal databases: the power of temporal constraints. In Ninth International Conference on Data Engineering, Vienna, Austria, Apr. 1993.

    Google Scholar 

  24. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.

    Google Scholar 

  25. P. Revesz. A closed form for Datalog queries with integer order. In S. Abiteboul and P. Kanellakis, editors, ICDT '90, Proceedings of the Third International Conference on Database Theory, pages 187–201, Paris, Dec. 1990. LNCS 470, Springer.

    Google Scholar 

  26. D. Rosenkrantz and H. B. I. Hunt. Processing conjunctive predicates and queries. In International Conference on Very Large Data Bases, pages 64–72, 1980.

    Google Scholar 

  27. A. Schrijver. Theory of Linear and Integer Programming. John Wiley & Sons, 1986.

    Google Scholar 

  28. D. Srivastava. Subsumption in constraint query languages with linear arithmetic constraints. In Second International Symposium on Artificial Intelligence and Mathematics, Fort Lauderdale, Florida, Jan. 1992.

    Google Scholar 

  29. B. Thalheim. Dependencies in Relational Databases. Teubner-Texte zur Mathematik, Band 126. B.G. Teubner Verlagsgesellschaft, Stuttgart, 1991.

    Google Scholar 

  30. J. D. Ullman. Principles of Database and Knowledge-Base Systems — Volume II: The New Technologies. Computer Science Press, 1989.

    Google Scholar 

  31. R. van der Meyden. The complexity of querying indefinite data about linearly ordered domains. In Eleventh ACM Symposium on Principles of Database Systems, pages 331–345, San Diego, California, June 1992.

    Google Scholar 

  32. M. Vardi. Fundamentals of dependency theory. In E. Börger, editor, Trends in Theoretical Computer Science, pages 171–224. Computer Science Press, 1988.

    Google Scholar 

  33. X. Zhang and Z. M. Ozsoyoğlu. On efficient reasoning with implication constraints. In Third International Conference on Deductive and Object-Oriented Databases, Phoenix, Arizona, Dec. 1993.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatique, Université Libre de Bruxelles, 50 Avenue F.D. Roosevelt, C.P. 165, 1050, Brussels, Belgium

    Marianne Baudinet

  2. Dept of Computing and Information Sciences, Kansas State University, 234 Nichols Hall, 66506-2302, Manhattan, KS, USA

    Jan Chomicki

  3. Institut Montefiore, Université de Liège, B28, 4000, Liège Sart-Tilman, Belgium

    Pierre Wolper

Authors
  1. Marianne Baudinet
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jan Chomicki
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Pierre Wolper
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Georg Gottlob Moshe Y. Vardi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baudinet, M., Chomicki, J., Wolper, P. (1995). Constraint-generating dependencies. In: Gottlob, G., Vardi, M.Y. (eds) Database Theory — ICDT '95. ICDT 1995. Lecture Notes in Computer Science, vol 893. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58907-4_25

Download citation

  • DOI: https://doi.org/10.1007/3-540-58907-4_25

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-58907-5

  • Online ISBN: 978-3-540-49136-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation