Download:
by Danilo Montesi Y, Riccardo Torlone Z
http://web.dia.uniroma3.it/research/1996-12.pdf
Add To MetaCart
Abstract:
Apreliminary version of this paper appeared in[17]. This work was partially supported by Consiglio Nazionale delle Ricerche and by NATO. We introduce a new formal semantics for active databases that relies on a transaction rewriting technique. A user de ned transaction, which isviewed here as a sequence of atomic database updates forming a semantic unit, is translated by means of active rules into induced one(s). Those transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, con uence, equivalence and optimization are then formally investigated and characterized in a solid framework that naturally extends a known model for relational database transactions.
Citations
|
206
|
Deriving production rules for constraint maintenance
– Ceri, Widom
- 1990
|
|
194
|
Deriving Production Rules for Incremental View Maintenance
– Ceri, Widom
- 1991
|
|
138
|
Set-oriented production rules in relational database systems
– Widom, Finkelstein
- 1990
|
|
94
|
as an active database: Constraints and triggers
– ODE
- 1991
|
|
89
|
On rules, procedures, caching and views in data base systems
– Stonebraker, Jhingran, et al.
- 1990
|
|
88
|
The architecture of an active data base management system
– McCarthy, Dayal
- 1989
|
|
54
|
Static analysis techniques for predicting the behavior of active database rules
– Aiken, Hellerstein, et al.
- 1995
|
|
53
|
Automatic generation of Production Rules for Integrity Maintenance
– Ceri, Fraternali, et al.
- 1994
|
|
45
|
The integration of rule systems and database systems
– Stonebraker
- 1992
|
|
44
|
Active Databases as a Paradigm for Enhanced Computing Environments
– Morgenstern
- 1983
|
|
34
|
Implementing large production systems in a DBMS environment: concepts and algorithms
– Sellis, Lin, et al.
- 1988
|
|
21
|
Equivalence and Optimization of Relational Transactions
– Abiteboul, Vianu
- 1988
|
|
18
|
Chimera: a model and language for active DOOD Systems
– Ceri, Manthey
- 1994
|
|
18
|
Rule processing in active database systems
– Hanson, Widom
- 1993
|
|
15
|
A model for active object-oriented database
– Beeri, Milo
- 1991
|
|
15
|
Combining Theory and Practice in Integrity Control: A Declarative Approach to the Specification of a Transaction Modification Subsystem
– Grefen
- 1993
|
|
8
|
A Transaction Transformation Approach to Active Rule Processing
– Montesi, Torlone
- 1995
|
|
7
|
A rewriting technique for implementing active object systems
– Montesi, Torlone
- 1994
|
|
5
|
A rewriting technique for the analysis and the optimization of active databases
– Montesi, Torlone
- 1995
|
|
4
|
A structured approach for the de nition of the semantics of active databases
– Fraternali, Tanca
- 1995
|
|
3
|
Design and implementation of Chimera's active rule language
– Guerrini, Montesi
- 1997
|
|
1
|
Simpli cation rules and complete axiomatization for relational update transactions
– Karabeg, Vianu
- 1991
|
|
1
|
A framework for the speci cation of active rule language semantics
– Montesi, Torlone
- 1995
|
