Keyphrases
- active rules
- composite events
- active databases
- termination analysis
- active database systems
- integrity constraints
- object oriented databases
- temporal information
- deductive databases
- temporal data
- abstract interpretation
- business rules
- control flow
- temporal databases
- temporal dimension
- case study
- database
- data model
- mobile devices
- web services