UnipiEprints
Università di Pisa
Sistema bibliotecario di ateneo

A Logic Abstract Machine for Active Object-Oriented Databases

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.

[img] 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