Triggers and inference in database systems
On knowledge base management systems: integrating artificial intelligence and d atabase technologies
Monitoring dynamic integrity constraints based on temporal logic
Information Systems
The HiPAC project: combining active databases and timing constraints
ACM SIGMOD Record - Special Issue on Real-Time Database Systems
Rule management and evaluation: an active DBMS perspective
ACM SIGMOD Record
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
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Rule condition testing and action execution in Ariel
SIGMOD '92 Proceedings of the 1992 ACM SIGMOD international conference on Management of data
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Snoop: an expressive event specification language for active databases
Data & Knowledge Engineering
Static analysis techniques for predicting the behavior of active database rules
ACM Transactions on Database Systems (TODS)
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Temporal conditions and integrity constraints in active database systems
SIGMOD '95 Proceedings of the 1995 ACM SIGMOD international conference on Management of data
Modularization techniques for active rules design
ACM Transactions on Database Systems (TODS)
Sentinel: an object-oriented DBMS with event-based rules
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
ACM Computing Surveys (CSUR)
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Temporal Triggers in Active Databases
IEEE Transactions on Knowledge and Data Engineering
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Practical Applications of Triggers and Constraints: Success and Lingering Issues (10-Year Award)
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Ode as an Active Database: Constraints and Triggers
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Composite Events for Active Databases: Semantics, Contexts and Detection
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Formal Semantics of Composite Events for Distributed Environments
ICDE '99 Proceedings of the 15th International Conference on Data Engineering
Theoretical issues in the design and verification of distributed systems
Theoretical issues in the design and verification of distributed systems
Hi-index | 0.00 |
This chapter surveys the interaction between active rules and integrity constraints. First, we analyze the static case following the SQL-1999 Standard Committee point of view which, up to date, represents the state of the art. Then, we consider the case of dynamic constraints for which we use a temporal logic formalism. finally, we discuss the applicabilty, limitations and partial solutions found when attempting to ensure the satisfaction of dynamic constraints.