Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Set-oriented production rules in relational database systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Simplification rules and complete axiomatization for relational update transactions
ACM Transactions on Database Systems (TODS)
Rule processing in active database systems
International Journal of Expert Systems - Special issue on Al and databases
Termination and confluence of rule execution
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
A structured approach for the definition of the semantics of active databases
ACM Transactions on Database Systems (TODS)
A logic-based integration of active and deductive databases
New Generation Computing
Design and implementation of Chimera active rule language
Data & Knowledge Engineering
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Active Rules in Database Systems
Active Rules in Database Systems
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
A Transaction Transformation Approach to Active Rule Processing
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
A Rewriting Technique for the Analysis and the Optimization of Active Databases
ICDT '95 Proceedings of the 5th International Conference on Database Theory
Expressiveness and Complexity of Active Databases
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Using Delta Relations to Optimize Condition Evaluation in Active Databases
RIDS '95 Proceedings of the Second International Workshop on Rules in Database Systems
Investigating Termination in Active Database Systems with Expressive Rule Languages
RIDS '97 Proceedings of the Third International Workshop on Rules in Database Systems
A Rewriting Technique for Implementing Active Object Systems
ISOOMS '94 Proceedings of the International Symposium on Object-Oriented Methodologies and Systems
A Framework for the Specification of Active Rule Language Semantics
DBLP-5 Proceedings of the Fifth International Workshop on Database Programming Languages
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Termination Analysis in Active Databases
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
A fuzzy Petri net model for intelligent databases
Data & Knowledge Engineering
Termination analysis of active rules - a Petri net based approach
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
| Hi-index | 0.00 |
We introduce a new formal semantics for active databases that relies on a transaction rewriting technique. A user-defined transaction, which is viewed here as a sequence of atomic database updates forming a semantic atomic unit, is translated by means of active rules into induced one(s). These transactions embody active rule semantics which can be either immediate or deferred. Rule semantics, confluence, equivalence and optimization are then formally investigated and characterized in a solid framework that naturally extends a known model for relational database transactions.