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 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
Decidability and undecidability results for the termination problem of active database rules
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Computing Surveys (CSUR)
Using Petri nets for rule termination analysis
CIKM '96 Proceedings of the workshop on Databases: active and real-time
An algebraic approach to static analysis of active database rules
ACM Transactions on Database Systems (TODS)
Pushing reactive services to XML repositories using active rules
Proceedings of the 10th international conference on World Wide Web
An event-condition-action language for XML
Proceedings of the 11th international conference on World Wide Web
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
Compile-Time and Runtime Analysis of Active Behaviors
IEEE Transactions on Knowledge and Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Active Views for Electronic Commerce
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
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
An Algebraic Approach to Rule Analysis in Expert Database Systems
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Integrating Triggers and Declarative Constraints in SQL Database Sytems
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Active rules for XML: A new paradigm for E-services
The VLDB Journal — The International Journal 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 topic of active rules and active databases. We analyze the state of the art of active databases and active rules, their properties and applications. In particular, we describe the case of triggers following the SQL-1999 Standard Committee point of view. Then, we consider the case of dynamic constraints for which we use a temporal logic formalism. Finally, we discuss the applicability, limitations and partial solutions found when attempting to ensure the satisfaction of dynamic constraints.