Skip to main content
SpringerLink
Log in

A (Gentle) introduction to deductive databases

  • Conference paper
  • First Online:
Logic Programming in Action (LPSS 1992)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 636))

Included in the following conference series:

Abstract

This paper is intended as an introduction to deductive databases for the practitioner. After a brief historical overview it discusses the tradeoff between declarative and procedural programming and introduces the topic of deductive databases as an instance of this issue. The paper proceeds to expose some of the features of DD technology by means of the LDL system, shows some typical DD applications and concludes with a discussion of the state of the art and the relation of this technology to that of Object Oriented systems.

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.

Suggested reading

  1. Cacace, F., S. Ceri, S. Crespi-Reghizzi, L. Tanca, and R. Zicari [1990]. Integrating object-oriented data modelling with a rule-based paradigm, TR-90.008 Dipartimento Di Elettronica, Polytechnic University of Milan.

    Google Scholar 

  2. Lefebre, A., and L. Vielle [1989]. “On deductive query evaluation in the DedGin system,” Proc. First International Conf. on deductive and Object-Oriented Databases, Kyoto.

    Google Scholar 

  3. Naqvi, S. and S. Tsur [1989]. A Logical Language for Data and Knowledge Bases. Computer Science Press, New York, NY.

    Google Scholar 

  4. Phipps, G. [1990]. “GLUE: a deductive database programming language,” Proc. NACLP Workshop on Deductive Databases (J. Chomicki, ed.), Aug. 1990.

    Google Scholar 

  5. Phipps, G., M.A. Derr, and K.A. Ross [1991]. “Glue-Nail: a deductive database system,” ACM SIGMOD International Conf. on Management of Data, pp. 308–317.

    Google Scholar 

  6. Ramakrishnan, R. [1990]. “The CORAL deductive database system,” Proc. NACLP Workshop on Deductive Databases (J. Chomicki, ed.), Aug. 1990.

    Google Scholar 

  7. Tsur, S [1991]. “Deductive Databases in Action”. Proc. 10th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, pp. 142–153.

    Google Scholar 

  8. Tsur, S., and N. Garrison [1991]. LDL Users' Guide MCC Technical Report STP-LD-295-91, Aug. 1991.

    Google Scholar 

  9. Ullman, J.D. [1988] Principles of Database and Knowledge-base Systems, Vol I: Classical Database Systems, Computer Science Press, New York, NY.

    Google Scholar 

  10. Ullman, J.D. [1989] Principles of Database and Knowledge-base Systems, Vol II: The New Technologies, Computer Science Press, New York, NY.

    Google Scholar 

  11. Ullman, J.D. [1991]. “A Comparison Between Deductive and Object-Oriented Database Systems” Proc. Second Conf. on Deductive and Object-Oriented Databases (C. Delobel, M. Kifer and Y. Masunaga Eds.), Munich, 1991, pp. 263–277. Springer-Verlag Lecture Notes in Computer Science 566, Springer-Verlag, Berlin.

    Google Scholar 

  12. Vaghani J., K. Ramamohanarao, D.B. Kemp, Z. Smogyi, and P.J. Stuckey [1990]. “Design overview of the Aditi deductive database system,” TR-90/14, Dept. of CS, University of Melbourne.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Center for High Performance Computing, University of Texas System, Austin, TX, USA

    Shalom Tsur

Authors
  1. Shalom Tsur
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

G. Comyn N. E. Fuchs M. J. Ratcliffe

Rights and permissions

Reprints and permissions

Copyright information

© 1992 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Tsur, S. (1992). A (Gentle) introduction to deductive databases. In: Comyn, G., Fuchs, N.E., Ratcliffe, M.J. (eds) Logic Programming in Action. LPSS 1992. Lecture Notes in Computer Science, vol 636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55930-2_6

Download citation

  • DOI: https://doi.org/10.1007/3-540-55930-2_6

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation