Carboni, Marilisa and Giannotti, Fosca and Manco, Giuseppe and Pedreschi, Dino (1996) A Logic Abstract Machine for Active Object-Oriented Databases. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.
Postscript (GZip) - Published Version Available under License Creative Commons Attribution No Derivatives. Download (92Kb) |
Abstract
We show how a fragment of the logical data language LDL++ can be used to define an abstract machine supporting the essence of active/deductive object-oriented databases. We exhibit a compilation into the mentioned logic language of the basic features of the object model, including the schema definition language, the query language with multiple roles, the basic update operations, and a form of active rules. The target logic language, which is essentially Datalog extended with non-determinism and a form of stratified negation, has been chosen with a twofold aim. On one side, it should provide an abstract implementation level, where the object model is declaratively reconstructed and its semantics clarified. On the other side, the proposed compilation should form the basis of a realistic implementation, as LDL++ can be efficiently executed, and supports real side effects.
Item Type: | Book |
---|---|
Uncontrolled Keywords: | Logic Database Languages, Object-Oriented Data Models, Updates, Stratified Logic Programs, Non-determinism, Active Databases |
Subjects: | Area01 - Scienze matematiche e informatiche > INF/01 - Informatica |
Divisions: | Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA |
Depositing User: | dott.ssa Sandra Faita |
Date Deposited: | 26 Jan 2015 08:42 |
Last Modified: | 26 Jan 2015 08:42 |
URI: | http://eprints.adm.unipi.it/id/eprint/1929 |
Repository staff only actions
View Item |