Skip to main content
SpringerLink
Log in

Deductive database rule languages: Analysis and case study

  • Database System And Architecture Concepts For Novel Applications
  • Conference paper
  • First Online:
Database Systems of the 90s (IBM 1990)

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

Included in the following conference series:

  • 126 Accesses

Abstract

This paper first presents a survey of rule languages for database and second focuses on a specific rule language implementation. The theoretical framework from which these languages have been derived is called DATALOG. DATALOG is a rule language based on first order logic. Extensions of DATALOG have been proposed. These extensions are the support for procedural side-effects, negation, updates, complex objects and user control structures. Three languages are compared in this survey. They are COL, LDL and RDL. The implementation of RDL is also given.

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. Abiteboul S., Simon E., "Fundamental Properties of Deterministic and Non-deterministic Extensions of Datalog", to appear in Journal of Theoretical Computer Science.

    Google Scholar 

  2. Abiteboul S., Grumbach S., "A Rule-based Language with Functions and Sets", to appear in TODS.

    Google Scholar 

  3. Bancilhon F., Khoshafian S., "A Calculus for Complex Objects", Proc. ACM Symposium on Principles of Database Systems, 1986, pp. 53–59.

    Google Scholar 

  4. Bidoit N., "Negation in Rule-Based Database Languages: A Survey", to appear in Journal of Theoretical Computer Science.

    Google Scholar 

  5. Brownston L., Farrell R., Kant E., Martin N., "Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming", Book, Addison-Wesley, 1985.

    Google Scholar 

  6. J.P Cheiney, C. de Maindreville: "Relational Storage and Efficient Retrieval of Rules in a Deductive DBMS", Proc. of Int. Conf. on Data Engineering, Los Angeles, Feb. 1989.

    Google Scholar 

  7. Chen L., Gardarin G., "An Implementation Model for Reasoning with Complex Objects", Proc. ACM SIGMOD Conf., Chicago, 1988.

    Google Scholar 

  8. Gardarin G. et al., "Sabrina, a relational database system developed in a research environment", TSI 86, English Version: Technology and Sciences of Informatics, AFCET-Gauthier Villard-John Willey & Sons Ltd, 1987.

    Google Scholar 

  9. Gardarin G., "Magic Functions: A Technique for Optimization of Extended Datalog Recursive Programs", Proc. Very Large Databases Conf., Brighton, England, Sept. 1987.

    Google Scholar 

  10. Gardarin G., Valduriez P., "Relational Databases and Knowledge Bases", Book, Addison-Wesley, 1989.

    Google Scholar 

  11. Gardarin G., Kiernan J. et al., "Managing Complex Objects in an Extensible Relational DBMS", Proc. Very Large Databases, Amsterdam, Netherland, Aug. 1989.

    Google Scholar 

  12. Kiernan G., de Maindreville C., Simon E., "Making Deductive Databases a Practical Technology: A Step Forward", Proc. of ACM SIGMOD, Atlantic City, USA, May 1990.

    Google Scholar 

  13. Kuper G., "Logic Programming with Sets", Proc. ACM Symposium on Principles of Database Systems, 1987, pp. 11–20.

    Google Scholar 

  14. Lloyd J., "Foundations of Logic Programming", Book, 2nd Edition, Springer-Verlag, 1987.

    Google Scholar 

  15. de Maindreville C. and Simon E., "Modelling Non-deterministic Queries and Updates in Deductive Database", proc. of VLDB, Los Angeles, 1988

    Google Scholar 

  16. Naqvi S., Tsur S., "A Logic Language for Data and Knowledge Bases", Book, Computer Science Press, 1989.

    Google Scholar 

  17. M. Régnier, E. Simon: "Efficient Evaluation of Production Rules in a DBMS", Proc. of Advances in Databases, edited by INRIA, Geneva, Sept. 1989.

    Google Scholar 

  18. Simon E., de Maindreville C., "Deciding Whether a Production Rule is Relational Computable", Proc. Int. Conf. on Database Theory, Bruges, Belgium, Sept. 1988.

    Google Scholar 

  19. Ullman J.D., "Principles of Database and Knowledge-Base Systems", Book, Computer Science Press, Vol.1 and Vol. 2, 1989.

    Google Scholar 

  20. Zaniolo C., "Design and Implementation of a Logic Based Language for Data Intensive Applications", Proc. Int. Conf. on Logic Programming, 1988.

    Google Scholar 

  21. P. Valduriez, G. Gardarin: "Analysis and Comparison of Relational Database Systems", Book, Addison Wesley, 1989.

    Google Scholar 

  22. Vieille L., "Recursive Axioms in Deductive Databases: the Query-Subquery Approach", Proc. of the 1st Int. Conf. on Expert Database Systems, 1986.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. MASI & INRIA INRIA, Domaine de Voluceau, B.P. 105, 78153, Le Chesnay Cedex, France

    Georges Gardarin & Jerry Kiernan

Authors
  1. Georges Gardarin
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jerry Kiernan
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Albrecht Blaser

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gardarin, G., Kiernan, J. (1990). Deductive database rule languages: Analysis and case study. In: Blaser, A. (eds) Database Systems of the 90s. IBM 1990. Lecture Notes in Computer Science, vol 466. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53397-4_37

Download citation

  • DOI: https://doi.org/10.1007/3-540-53397-4_37

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-53397-9

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation