Università di Pisa
Sistema bibliotecario di ateneo

Active-U-Datalog: integrating active rules in a deductive database

Gervasi, Vincenzo and Raffaetà, Alessandra (1997) Active-U-Datalog: integrating active rules in a deductive database. 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 (178Kb)


    The marriage between logic programming and databases has given rise to the definition of deductive databases. These systems allow the users to express data manipulations and queries in a declarative way, and permit efficient storage and retrieval of intensional knowledge. Another improvement in the database field has come from the use of active rules, linking the occurrence of certain events to a reaction (e.g., updates of some data). This kind of rules has proven to be very useful to ensure integrity constraints and to automatize common procedures. This paper presents an integration of active rules in U-Datalog, which is an extension to Datalog supporting declarative specification of updates based on a nonimmediate update semantics. The resulting language, called Active-U-Datalog, extends the semantics of U-Datalog in a conservative way, introducing a PARK-like semantics for active rules activation and firing, and for handling conflicting update requests.

    Item Type: Book
    Uncontrolled Keywords: Deductive databases, Active rules, Semantics
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 23 Jan 2015 11:12
    Last Modified: 23 Jan 2015 11:12
    URI: http://eprints.adm.unipi.it/id/eprint/1982

    Repository staff only actions

    View Item