Skip to main content
SpringerLink
Log in
Book cover

International Conference on Information Processing and Management of Uncertainty in Knowledge-Based Systems

IPMU 1988: Uncertainty and Intelligent Systems pp 138–145Cite as

Answering queries addressed to the rule base of a deductive database

  • Intelligent Data Base
  • Conference paper
  • First Online:

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

Abstract

The purpose of this study is the answer generation when querying a rule base in the context of deductive databases. We suppose the rule base to be a non recursive set of rules, represented by closed range restricted formulae. The query is an open range restricted formula, in which bound variables are existentially quantified. The answer to a query is a formula (and not a set of tuples). We use the formalism of the first-order predicate calculus without equality, restricted to Horn clauses. The generation method is based on a complete and sound strategy : we construct a linear input resolution tree by a depth-first method. The corresponding algorithm terminates under our hypothesis.

This study was performed at the Centre d'Etudes et de Recherches de Toulouse by E. PASCUAL when she was preparing a D.E.A. under L. CHOLVY's responsability.

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. L. Cholvy, R. Demolombe "Querying a rule base", First international conference on expert database systems, Charleston, USA, April 1987.

    Google Scholar 

  2. L. Cholvy "Programme de recherche coordonnées de troisième génération" ONERA-CERT internal report, no2/3274/DERI, February 1987.

    Google Scholar 

  3. L. Cholvy "Intensional answers", ONERA/CERT internal report

    Google Scholar 

  4. C.L. Chang, R.C.T. Lee "Computer science and applied mathematics", Academic Press, 1973.

    Google Scholar 

  5. R. Demolombe "Syntactical characterization of a subset of domain independent formulas" ONERA-CERT internal report, 1982.

    Google Scholar 

  6. R. Demolombe ONERA/CERT internal report, 1987.

    Google Scholar 

  7. H. Gallaire, J. Minker, J.M. Nicolas "Logic and database: a deductive approach", ACM Surveys, vol. 16, no2, 153–165, June 1984.

    Google Scholar 

  8. C. G. Morgan "Automated hypothesis generation using extended inductive resolution" Proc. of IJCAI, 351–356, 1975.

    Google Scholar 

  9. E. Pascual "Interrogation d'une base de règles dans le cadre de bases de données déductives", DEA report, ENSAE Toulouse, June 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. LSI/UPS, 118, route de Narbonne, 31062, Toulouse Cédex, France

    Elsa Pascual

  2. CERT/DERI, 2, Avenue Edouard Belin, 31055, Toulouse Cédex, France

    Laurence Cholvy

Authors
  1. Elsa Pascual
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Laurence Cholvy
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

B. Bouchon L. Saitta R. R. Yager

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Pascual, E., Cholvy, L. (1988). Answering queries addressed to the rule base of a deductive database. In: Bouchon, B., Saitta, L., Yager, R.R. (eds) Uncertainty and Intelligent Systems. IPMU 1988. Lecture Notes in Computer Science, vol 313. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-19402-9_66

Download citation

  • DOI: https://doi.org/10.1007/3-540-19402-9_66

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-39255-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation