Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
CDOL: a comprehensive declarative object language
Data & Knowledge Engineering
Termination and confluence of active rules in active object databases
Termination and confluence of active rules in active object databases
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies
Object Database Standard: ODMG-93, Release 1.2
Object Database Standard: ODMG-93, Release 1.2
Coral++: Adding Object-Orientation to a Logic Database Language
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Deductive Object-Oriented Database Systems: A Survey
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
The AQUA Data Model and Algebra
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Object Deltas in an Active Database Development Environment
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
An active database system supporting rule analysis through evolving database states
An active database system supporting rule analysis through evolving database states
Hi-index | 0.00 |
This paper presents an approach for evaluating the Comprehensive 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.