Skip to main content

An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language

  • Conference paper
  • First Online:
Practical Aspects of Declarative Languages (PADL 1999)

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

Included in the following conference series:

Abstract

This paper presents an approach for evaluating the Compre hensive Declarative Object Language (CDOL). CDOL is a declarative language that supports the definition, retrieval and manipulation of data over an object-oriented database with support for active rules. We have designed and implemented an intermediate language for the evaluation of CDOL, which is based on the widely used AQUA object algebra. The mapping of a comprehensive application in CDOL to AQUA motivated this AQUA-based intermediate language, known as ABIL. A subset of AQUA operations that were necessary for translating CDOL to AQUA forms the basis of this intermediate language. This paper describes the design of ABIL and illustrates by example the translation of CDOL into ABIL. This paper also includes detailed examples of the evaluation of CDOL’s rule-based query language, which utilizes a binding structure to maintain the bindings for the variables during the evaluation of a CDOL rule.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Ait-Kaci, H., “Warren’s Abstract Machine,” The MIT Press, 1991.

    Google Scholar 

  2. Ben Abdellatif, T., “An Architecture for Active Database Systems Supporting Rule Analysis Through Evolving Database States,” Ph. D. Dissertation Proposal, Arizona State University, August 1997.

    Google Scholar 

  3. Cattell, R.G.G., “The Object-Oriented Database Standard: ODMG-93 Release 1. 2,” Morgan Kaufmann Publishers, San Francisco, CA, November 1995.

    Google Scholar 

  4. Dietrich, S. W., Urban, S. D., Harrison, J., and Karadimce, A. P., “A DOOD RANCH at ASU,” in Bulletin of the Technical Committee on Data Engineering 1992, pp. 40–43.

    Google Scholar 

  5. Dietrich, S. W., Friesen, O., and Calliss, F. W., “Rules and Objects in Database Systems: The VALIDITY Experience,” Submitted for publication, 1998.

    Google Scholar 

  6. Friesen, O., Gauthier-Villars, G., Lefebvre, A. and Vieille, L., “Applications of Deductive Object-Oriented Databases (DOOD) Using Datalog Extended Language (DEL),” in Ramakrishnan, R. ed., Applications of Logic Databases, Massachusetts: Kluwer Academic Publishers, 1995, pp. 1–22.

    Google Scholar 

  7. Heuer, A., and Sander, P., “Semantics and Evaluation of Rules over Complex Objects,” in International Conference on Deductive and Object-Oriented Databases (DOOD) 1989, pp. 473–492.

    Google Scholar 

  8. Karadimce, A. P., “Termination and Confluence of Active Rules in Active Object Databases,” Ph. D. Dissertation, Arizona State University, December 1996.

    Google Scholar 

  9. Leung, T. W., Subramanian, B., Vandenberg, S. L., Mitchell, G., Vance, B., and Zdonik, S. B., “The AQUA Data Model and Algebra,” in Workshop on Database Programming Languages 1993, pp. 157–175.

    Google Scholar 

  10. Sampaio, P.R.F., and Paton, N. W., “Deductive Object-Oriented Database Systems: A Survey,” in Rules in Database Systems 1997, pp. 1–19.

    Google Scholar 

  11. Siddabathuni, B., “Evaluation of the Comprehensive Declarative Object Language,” M. S. Thesis, Arizona State University, December1998.

    Google Scholar 

  12. Srivastava, D., Ramakrishnan, R., Seshadri, P., and Sudarshan, S., “Coral++: Adding Object-Orientation to a Logic Database Language,” in Proc. of the Intl. Conference on Very Large Databases 1993, pp. 158–170.

    Google Scholar 

  13. Sundermier, A., Ben Abdellatif, T., Dietrich, S. W., and Urban, S. D., “Object Deltas in an Active Database Development Environment,” in International Conference on Deductive and Object-Oriented Databases (DOOD) 1997, pp. 211–228.

    Google Scholar 

  14. Ullman, J.D., “Principles of Database and Knowledge-Base Systems Volume 2,” Computer Science Press, 1989.

    Google Scholar 

  15. Urban, S. D., Karadimce, A. P., Dietrich, S. W., Ben Abdellatif, T., and Chan, H. W. R., “CDOL: A Comprehensive Declarative Object Language,” in Data & Knowledge Engineering 1997, pp. 67–111.

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Siddabathuni, B., Dietrich, S.W., Urban, S.D. (1998). An AQUA-Based Intermediate Language for Evaluating an Active Deductive Object-Oriented Language. In: Gupta, G. (eds) Practical Aspects of Declarative Languages. PADL 1999. Lecture Notes in Computer Science, vol 1551. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49201-1_12

Download citation

  • DOI: https://doi.org/10.1007/3-540-49201-1_12

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65527-5

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics