Active-U-Datalog: Integrating Active Rules in a Logical Update Language

Deductive database technology represents an important step towards the goal of developing highly-declarative database programming languages. In order to make deductive databases a practical technology, deductive rules have to be extended to provide a dynamic behavior. In particular, current applications require not only a support for updates and transactions but also the ability to automatically react to the occurrence of particular events. This is possible by integrating typical deductive rules, whose execution is user-dependent, with active rules, whose execution is event-dependent. Current solutions to this problem are not completely satisfactory. In particular, they often lack a clear semantics, guaranteeing termination, confluence and efficient evaluation. The aim of this paper is to propose a new language for integrating active rules, deductive rules and updates in a uniform logical context. The language we propose is based on the U-Datalog language [9], and extends it with suppo...

• Type: Conference
• Year: 1998
• Where: DAGSTUHL
• Authors: Elisa Bertino, Barbara Catania, Vincenzo Gervasi, Alessandra Raffaetà
• Keywords: Active Rules, DAGSTUHL 1998, DAGSTUHL 2007, Deductive Databases, Deductive Rules