Skip to main content
SpringerLink
Log in

The implementation of a deductive query language over an OODB

  • Implementation
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1995)

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

Included in the following conference series:

Abstract

The ROCK & ROLL database system cleanly integrates deductive and object-oriented capabilities by defining an imperative programming language, ROCK, and a declarative, deductive language, ROLL, over a common object-oriented (OO) data model. Existing techniques for evaluation and optimization of deductive languages fail to address key requirements imposed by ROLL such as: strict typing; placement of deductive methods (predicates) within classes; encapsulation; overriding and late binding. This paper describes the task of implementing an evaluator and optimizer for ROLL, explaining how existing implementation techniques for deductive languages were adapted to meet these requirements and extended to support novel types of optimization.

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. F. Bancilhon and R. Ramakrishnan. An Amateur's Introduction to Recursive Query Processing Strategies. In SIGMOD, 1986.

    Google Scholar 

  2. M. Barja, N. Paton, A. A. A. Fernandes, M. H. Williams, and A. Dinn. An Effective DOOD Through Language Integration. In VLDB, 1994.

    Google Scholar 

  3. C. Beeri and S. Naqvi. Sets and Negation in a Logic Database Language (LDL1). In PODS, 1987.

    Google Scholar 

  4. C. Beeri and R. Ramakrishnan. On the power of magic. In PODS, 1987.

    Google Scholar 

  5. M. Carey and D. DeWitt. The EXODUS Extensible DBMS Project: An Overview. In S. Zdonik and D. Maier, editors, Readings in Object-Oriented Databases, 1990.

    Google Scholar 

  6. S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. 1990.

    Google Scholar 

  7. S. Ceri and L. Tanca. Optimization of systems of algebraic equations for evaluating Datalog queries. In VLDB, 1987.

    Google Scholar 

  8. S. Dietrich. Extension Tables: Memo Relations In Logic Programming. In IEEE Symposium on Logic Programming, 1987.

    Google Scholar 

  9. G. Dobbie and R. Topor. A Model for Sets and Multiple Inheritance in deductive Object-Oriented Systems. In DOOD, 1993.

    Google Scholar 

  10. R. Helm. Detecting and Eliminating Redundant Derivations in Logic Knowledge Bases. In DOOD, 1989.

    Google Scholar 

  11. M. Kifer and E. Lozinskii. On Compile-Time Query Optimization In Deductive Databases By Means Of Static Filtering. ACM TODS, 15(3), 1990.

    Google Scholar 

  12. W. Kim. A Model Of Queries For Object-Oriented Databases. In VLDB, 1989.

    Google Scholar 

  13. A. Lefebvre and L. Vieille. On Deductive Query Evaluation in the DedGin* System. In DOOD, 1989.

    Google Scholar 

  14. A. Levy, I. Mumick, and Y. Sagiv. Query Optimization by Predicate Move-Around. In VLDB, 1994.

    Google Scholar 

  15. C. C. Low, H. Lu, and B. C. Ooi. Efficient Access Methods in Deductive and Object-Oriented Databases. In DOOD, 1991.

    Google Scholar 

  16. N. Paton and A. Abdelmoty. An Object Store for the DOOD Object Model, 1993.

    Google Scholar 

  17. R. Lanzelotte and P. Valduriez and M. Zaït. Optimization of Object-Oriented Recursive Queries Using Cost Controlled Strategies. In SIGMOD, 1992.

    Google Scholar 

  18. R. Ramakrishnan. Magic templates, a spellbinding approach to logic evaluation. In ICLP, 1988.

    Google Scholar 

  19. J. Richardson, M. Carey, and D. Schuh. The Design of the E Programming Language. ACM TOPLAS, 15(3), 1993.

    Google Scholar 

  20. G. Shaw and S. Zdonik. Object-Oriented Queries: Equivalence and Optimization. In DOOD, 1989.

    Google Scholar 

  21. D. Straube and T. Öszu. Execution Plan Generation for Database Programming Languages. In DOOD, 1991.

    Google Scholar 

  22. J. Ullman. Principles of Database and Knowledge Based Systems. 1988.

    Google Scholar 

  23. J. Ullman. Bottom-up beats top-down for Datalog. In PODS, 1989.

    Google Scholar 

  24. P. Valduriez and S. Danforth. Query optimization for Database Programming Languages. In DOOD, 1989.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh, Scotland

    Andrew Dinn, M. Howard Williams, Alvaro A. A. Fernandes & Maria L. Barja

  2. Department of Computer Science, Manchester University, Manchester, England

    Norman W. Paton

Authors
  1. Andrew Dinn
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Norman W. Paton
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. M. Howard Williams
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Alvaro A. A. Fernandes
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Maria L. Barja
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tok Wang Ling Alberto O. Mendelzon Laurent Vieille

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Dinn, A., Paton, N.W., Williams, M.H., Fernandes, A.A.A., Barja, M.L. (1995). The implementation of a deductive query language over an OODB. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_39

Download citation

  • DOI: https://doi.org/10.1007/3-540-60608-4_39

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-48460-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation