Name
Abstract | ||
|---|---|---|
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 occur- rence of particular events. This is possible by integrating typical deduc- tive 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 ecient evaluation. The aim of this paper is to propose a new language for integrating active rules, de- ductive rules and updates in a uniform logical context. The language we propose is based on the U-Datalog language (9), and extends it with sup- port for active rules, modeled according to the PARK semantics (23). The resulting language allows the representation of several dynamic aspects, such as transaction execution, reactive behavior and update propagation, in a uniform logical framework, admitting a clear and flexible semantics. |
Year | DOI | Venue |
|---|---|---|
1998 | 10.1007/BFb0055497 | Dagstuhl Seminars |
DocType | ISBN | Citations |
Conference | 3-540-65305-8 | 8 |
PageRank | References | Authors |
0.62 | 29 | 4 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Elisa Bertino | 1 | 14025 | 2128.50 |
| Barbara Catania | 2 | 925 | 148.57 |
| Vincenzo Gervasi | 3 | 92 | 8.23 |
| Alessandra Raffaetà | 4 | 187 | 16.45 |