A Practical Approach to Static Analysis and Execution of Rules in Active Databases.
Seung-Kyum KimSharma ChakravarthyPublished in: CIKM (1997)
Keyphrases
- active databases
- static analysis
- active rules
- termination analysis
- active database systems
- dynamic analysis
- source code
- symbolic execution
- eca rules
- database technology
- business rules
- regular expressions
- integrity constraints
- event condition action
- description language
- transaction processing
- temporal databases
- database
- test suite