Skip to main content
SpringerLink
Log in

Logic and Databases: An assessment

  • Constraint Logic Programming
  • Conference paper
  • First Online:
Book cover ICDT '90 (ICDT 1990)

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

Included in the following conference series:

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. Apt, K., Blair, H., and Walker, A. Towards a theory of declarative knowledge. In Foundations of Deductive databases and Logic Programming, J. Minker (ed.) 1988. Morgan Kaufmann, Los Altos, CA.

    Google Scholar 

  2. Beeri, C. and Ramakrishnan, R. On the Power of Magic. In Proc. 6th ACM Symposium on Principles of Database Systems-PODS'87, pp 269–283. 1987.

    Google Scholar 

  3. Bidoit, N. and Froidevaux, C. More on stratified default theory. In Proceedings 8th European Conference on Artificial Intelligence-ECAI'88.. 1988.

    Google Scholar 

  4. Bocca, J. EDUCE — A Marriage of Convenience: Prolog and a Relational DBMS. In Proceedings of the IEEE 3rd Symp. on Logic Programming. Sept., 1986. Salt Lake City, USA.

    Google Scholar 

  5. Bocca, J. Compilation of Logic Programs to Implement Very Large Knowledge Base Systems — A case Study. In Proc. 6th IEEE Conf. on Data Engineering. Feb., 1990. Los Angeles, USA.

    Google Scholar 

  6. Bry, F. Logic Programming as Constructivism: A formalization and its Application to Databases. In Proceedings 8th ACM Symp. on Principles of Database Systems PODS'89.. March, 1989. Philadelphia, U.S.A..

    Google Scholar 

  7. Bry, F. Query Evaluation in Recursive Databases: Bottom-up and Top-down reconciled. In Proceedings of the 1st International Conference on Deductive and Object-Oriented Databases — DOOD'89. Kyoto, Japan, Dec., 1989.

    Google Scholar 

  8. Bry, F., Decker, H. and Manthey, R. A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. In Proceedings Int. Conference on Extending Data Base Technology, EDBT'88.. Venice, Italy, March, 1988. Springer Verlag (LNCS 303).

    Google Scholar 

  9. Bry, F., Manthey, R. and Martens, B. Integrity Verification in Knowledge Bases. In ESPRIT BRA Compulog, T.R. 2.1.a. April, 1990.

    Google Scholar 

  10. Cacace, L., Ceri, S., Crespi-Reghizzi, S., Tanca, L. and Zicari, R. Integrating Objrct-Oriented Data Modelling with a Rule-Based Paradigm. In Proc. ACM SIGMOD'90 Conference. May, 1990. Atlantic City, USA.

    Google Scholar 

  11. Ceri, S., Gottlob, G. and Tanca, L. In Logic Programming and Databases. 1990. Springer Verlag.

    Google Scholar 

  12. Chandra, A. and Harel, D. Horn Clause Queries and Generalizations. In Journal of Logic Programming, 2 (1), pp 1–15. 1985.

    Article  Google Scholar 

  13. Clark, K. Negation as Failure. In Logic and Database, H. Gallaire and J. Minker (eds.). 1978. Plenum Press, New york.

    Google Scholar 

  14. Decker, H. Integrity Enforcement on Deductive Databases. In Proceedings of the 1st Int. Conf. on Expert Database Systems. April, 1986. Charleston, South-Carolina, USA.

    Google Scholar 

  15. Fitting, M. A Kripke-Kleene semantics for Logic Programs. In Journal of Logic Programming, 2 (4), pp 295–312. 1985.

    Article  Google Scholar 

  16. Freeston, M. Advances in the Design of the BANG file. In Proceedings 3rd Int. Conf. on Foundations of Data Organization and Algorithms — FODO'89.. June, 1989. Paris, France.

    Google Scholar 

  17. Gallaire, H. Impacts of Logic on Databases. In Proceedings 7th Int. Conf. on Very large Databases — VLDB'81.. Sept., 1981. Cannes, France.

    Google Scholar 

  18. Gallaire, H. and Minker J. (eds.). In Logic and Databases. 1978. Plenum Press, New York.

    Google Scholar 

  19. Gallaire, H., Minker, J., and Nicolas, J.-M. Logic and Databases: A Deductive Approach. In ACM Computing Surveys, Vol. 16, No. 2. June, 1984.

    Google Scholar 

  20. Gelfond, M. and Lifschitz, V. The stable model semantics for logic programming. In Proc. 5th Int. Conf. on Logic Programming, pp 1070–1080. 1988.

    Google Scholar 

  21. Kunen, K. Negation in Logic Programming. In Journal of Logic Programming, 4(4), pp 289–308. 1987.

    Article  Google Scholar 

  22. Kung, C. A Tableaux Approach for Consistency Checking. In Proc. IFIP WG 8.1 Conf. on Theoretical and Formal Aspects of Information Systems. April, 1985. Sitges, Spain.

    Google Scholar 

  23. Lloyd, J., and Topor, R. Integrity Checking in Stratified Databases. In Journal of Logic Programming, 4, pp 331–343. 1986.

    Google Scholar 

  24. Manthey, R. Satisfiability of Integrity Constraints: Reflections on a Neglected Problem. In Proc. Int. Workshop on Foundations of Models and Languages for Data and Objects. Sept., 1990. Aigen, Austria.

    Google Scholar 

  25. Manthey, R., Gallaire, H., and Nicolas, J.-M. Can we reach a uniform paradigm for deductive query evaluation ? In Proceedings 3rd Gl-Kongress Wissensbasierte Systeme.. Munich, FRG, Oct., 1989.

    Google Scholar 

  26. Minker, J. Perspectives in Deductive Databases. In Journal of Logic Programming, 5, pages 33–60. 1988.

    Google Scholar 

  27. Nicolas, J.-M. Logic for Improving Integrity Checking in Relational Databases. In Acta Informatica, 18 (3), 1982..

    Google Scholar 

  28. Przymusinska, H. and Przymusinski, T. Weakly perfect model semantics for logic programs. In Proc. 5th Symposium on Logic Programming, pp 1106–1122. 1988. MIT Press.

    Google Scholar 

  29. Przymusinska, H. and Przymusinski, T. Semantic issues in Deductive Databases and Logic Programs. In Sourcebook on the Formal Approaches in Artificial Intelligence, A. Banerji (ed.). 1990. North Holland.

    Google Scholar 

  30. Przymusinski, T. On the declarative semantics of deductive databases and logic programs. In Foundations of Deductive databases and Logic Programming, J. Minker (ed.) 1988. Morgan Kaufmann, Los Altos, CA.

    Google Scholar 

  31. Reiter, R. On Closed World Databases. In Logic and Database, H. Gallaire and J. Minker (eds.). 1978. Plenum Press, New york.

    Google Scholar 

  32. Reiter, R. What should a Database Know? In Tech. Rep. University of Toronto. July, 1990.

    Google Scholar 

  33. Sadri, F., and Kowalski, R. A Theorem Proving Approach to Integrity Checking. In Foundations of Deductive databases and Logic Programming, J. Minker (ed.) 1988. Morgan Kaufmann, Los Altos, CA.

    Google Scholar 

  34. Seki, H. On the Power of Alexander Templates. In Proc. ACM Symposium on Principles of Database Systems-PODS'89, pp 150–159. March, 1989. Philadelphia, USA.

    Google Scholar 

  35. Tsur, S. Applications of Deductive Database Systems. In Proc. IEEE COMPCON'90 Conference. 1990.

    Google Scholar 

  36. Ullman, J. Bottom-up beats Top-down for Datalog. In Proc. ACM Symposium on Principles of Database Systems-PODS'89, pp 140–149. March, 1989. Philadelphia, USA.

    Google Scholar 

  37. van Emden M. and Kowalski, R. The semantics of Predicate Logic as a Programming Language. In Journal of the ACM 23 (4), pp 733–742. 1976.

    Article  Google Scholar 

  38. van Gelder, A. Negation as failure using tight derivations for general programs. In Foundations of Deductive databases and Logic Programming, J. Minker (ed.) 1988. Morgan Kaufmann, Los Altos, CA.

    Google Scholar 

  39. van Gelder, A., Ross, K., and Schlipf, J. The well-founded semantics for general logic programs. In TR-UCSC-RI-89-30, Dec. 1989 (see also abstract in PODS'88). 1989. to appear in J. ACM.

    Google Scholar 

  40. Vieille, L. Recursive Query Processing: The Power of Logic. In Theoretical Computer Science, Vol. 68, no 2. Sept., 1989.

    Google Scholar 

  41. Vieille, L., Bayer, P., Kuechenhoff, and Lefebvre, A. EKS-V1, A Short Overview. In SIGMOD'90 Technical Exhibition. May, 1990. Atlantic City, USA.

    Google Scholar 

  42. Wallace, M. A Computable Semantics for General Logic Programs. In Journal of Logic Programming, vol. 6. May, 1989.

    Google Scholar 

Download references

Author information

Author notes

  1. H. Gallaire

    Present address: Bull SA France, Les Clayes-sous-Bois, France

  2. J.-M. Nicolas

    Present address: Bull SA France, Louveciennes

Authors and Affiliations

  1. ECRC, Munich, Germany

    H. Gallaire & J.-M. Nicolas

Authors
  1. H. Gallaire
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. J.-M. Nicolas
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Serge Abiteboul Paris C. Kanellakis

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gallaire, H., Nicolas, JM. (1990). Logic and Databases: An assessment. In: Abiteboul, S., Kanellakis, P.C. (eds) ICDT '90. ICDT 1990. Lecture Notes in Computer Science, vol 470. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53507-1_76

Download citation

  • DOI: https://doi.org/10.1007/3-540-53507-1_76

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53507-2

  • Online ISBN: 978-3-540-46682-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation