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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Ait-Kaci, H., “Warren’s Abstract Machine,” The MIT Press, 1991.
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.
Cattell, R.G.G., “The Object-Oriented Database Standard: ODMG-93 Release 1. 2,” Morgan Kaufmann Publishers, San Francisco, CA, November 1995.
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.
Dietrich, S. W., Friesen, O., and Calliss, F. W., “Rules and Objects in Database Systems: The VALIDITY Experience,” Submitted for publication, 1998.
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.
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.
Karadimce, A. P., “Termination and Confluence of Active Rules in Active Object Databases,” Ph. D. Dissertation, Arizona State University, December 1996.
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.
Sampaio, P.R.F., and Paton, N. W., “Deductive Object-Oriented Database Systems: A Survey,” in Rules in Database Systems 1997, pp. 1–19.
Siddabathuni, B., “Evaluation of the Comprehensive Declarative Object Language,” M. S. Thesis, Arizona State University, December1998.
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.
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.
Ullman, J.D., “Principles of Database and Knowledge-Base Systems Volume 2,” Computer Science Press, 1989.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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