Invariance, Maintenance, and Other Declarative Objectives of Triggers - A Formal Characterization of Active Databases.
Mutsumi NakamuraChitta BaralPublished in: Computational Logic (2000)
Keyphrases
- active databases
- active rules
- active database systems
- database technology
- real time databases
- termination analysis
- integrity constraints
- temporal databases
- eca rules
- database systems
- description language
- reactive behavior
- event condition action
- timing constraints
- transaction processing
- databases
- business rules
- data warehousing
- database