Skip to main content
SpringerLink
Log in

Constrained dependencies

Extended abstract

  • Constraint Logic Programming
  • Conference paper
  • First Online:
Principles and Practice of Constraint Programming — CP '95 (CP 1995)

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

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K.R. Apt & M. Gabbrielli, Declarative Interpretations Reconsidered Proc. ICLP, 1994.

    Google Scholar 

  2. M. Baudinet, J. Chomicki & P. Wolper, Constraint-Generating Dependencies, Proc. 2nd Principles and Practice of Constraint Programming, 1994.

    Google Scholar 

  3. C. Beeri & P.A. Bernstein, Computational Problems Related to the Design of Normal Form Relational Schemas, ACM Transactions on Database Systems 4, 30–59, 1979.

    Article  Google Scholar 

  4. M. Codish, D. Dams, E. Yardeni, Bottom-Up Abstract Interpretation of Logic Programs, Theoretical Computer Science 124, 93–125, 1994.

    Article  Google Scholar 

  5. U.S. Chakravarthy, J. Grant and J. Minker, Foundations of Semantic Query Optimization for Deductive Databases, in: Foundations of Deductive Databases and Logic Programming, J. Minker (Ed), Morgan Kaufmann, 243–274, 1988.

    Google Scholar 

  6. P. Dart, On Derived Dependencies and Connected Databases, Journal of Logic Programming 11, 163–188, 1991.

    Article  Google Scholar 

  7. P. De Bra & J. Paredaens, Horizontal Decomposition for Handling Exceptions to Functional Dependencies, in: Advances in Database Theory II, H. Gallaire, J. Minker, J.M. Nicolas (Eds.), Plenum Press, 1984, 123–141.

    Google Scholar 

  8. S. K. Debray & D.S. Warren, Functional Computations in Logic Programs, ACM Transactions on Programming Languages and Systems 11 (3), 451–481, 1989.

    Article  Google Scholar 

  9. C. Elkan, A Decision Procedure for Conjunctive Query Disjointness, Proc. 8th ACM Symp. on Principles of Database Systems, 134–139, 1989.

    Google Scholar 

  10. C. Elkan, Independence of Logical Database Queries and Updates, Proc. 9th ACM Symp. on Principles of Database Systems, 154–160, 1990.

    Google Scholar 

  11. J. Jaffar & J-L. Lassez, Constraint Logic Programming, Proc. 14th ACM Symposium on Principles of Programming Languages, Munich (January 1987), 111–119.

    Google Scholar 

  12. J. Jaffar & M.J. Maher, Constraint Logic Programming: A Survey, Journal of Logic Programming 19 & 20, 503–581, 1994.

    Article  Google Scholar 

  13. P. Kanellakis, Elements of Relational Database Theory, in: Handbook of Theoretical Computer Science, Vol. B, J. van Leeuwen (Ed), 1073–1156, 1990.

    Google Scholar 

  14. P. Kanellakis, G. Kuper & P. Revesz, Constraint Query Languages, Journal of Computer and System Sciences, to appear. Preliminary version appeared in Proc. 9th ACM Symp. on Principles of Database Systems, 299–313, 1990.

    Google Scholar 

  15. D. Kemp & P. Stuckey, Analysis based Constraint Query Optimization, Proc. 10th International Conference on Logic Programming, 666–682, 1993.

    Google Scholar 

  16. A. Klug, Calculating Constraints on Relational Expressions, ACM Transactions on Database Systems 5, 3, 260–290, 1980.

    Article  Google Scholar 

  17. J.-L. Lassez & K. McAloon, A Constraint Sequent Calculus, Proc. of Symp. on Logic in Computer Science, 52–62, 1990.

    Google Scholar 

  18. M.J. Maher, A Logic Programming View of CLP, Proc. 10th International Conference on Logic Programming, MIT Press, 1993, 737–753.

    Google Scholar 

  19. M.J. Maher & R. Ramakrishnan, Déjà Vu in Fixpoints of Logic Programs, Proc. North American Conference on Logic Programming, Cleveland, October, 1989, 963–980. Full version next century.

    Google Scholar 

  20. K. Marriott & H. Sondergaard, Notes for a Tutorial on Abstract Interpretation of Logic Programs, distributed at NACLP, 1989.

    Google Scholar 

  21. J. Paredaens, P. De Bra, M. Gyssens & D. Van Gucht, The Structure of the Relational Database Model, EATCS Monographs on Theoretical Computer Science, Vol. 17, Springer-Verlag, 1989.

    Google Scholar 

  22. R. Ramakrishnan, personal communication, 1993.

    Google Scholar 

  23. K. Sagonas, T. Swift & D.S. Warren, XSB as an Efficient Deductive Database Engine, SIGMOD Record, 1994.

    Google Scholar 

  24. D. Srivastava, Subsumption and Indexing in Constraint Query Languages with Linear Arithmetic Constraints, Annals of Mathematics and Artificial Intelligence 8, 315–343, 1993.

    Article  Google Scholar 

  25. M. Vardi, Fundamentals of Dependency Theory, IBM Research Report RJ4858, 1985.

    Google Scholar 

  26. X.S. Wang, C. Bettini, A. Brodsky & S. Jajodia, Logical Design for Temporal Databases with Multiple Granularities, manuscript, 1995.

    Google Scholar 

  27. X. Zhang & Z.M. Ozsoyoglu, On Efficient Reasoning with Implication Constraints, Proc. Conf. on Deductive and Object-Oriented Databases, LNCS 760, 236–252, 1993.

    Google Scholar 

  28. W. Ziarko, The discovery, analysis and representation of data dependencies in databases, in: Knowledge Discovery in Databases, G. Piatetsky-Shapiro & W. Frawley (Eds), AAAI Press, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM - T.J. Watson Research Center, 10598, Yorktown Heights, NY, USA

    Michael J. Maher

Authors
  1. Michael J. Maher
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Ugo Montanari Francesca Rossi

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Maher, M.J. (1995). Constrained dependencies. In: Montanari, U., Rossi, F. (eds) Principles and Practice of Constraint Programming — CP '95. CP 1995. Lecture Notes in Computer Science, vol 976. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60299-2_11

Download citation

  • DOI: https://doi.org/10.1007/3-540-60299-2_11

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60299-6

  • Online ISBN: 978-3-540-44788-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation