Composite Temporal Events in Active Databases: A Formal Semantics
Iakovos MotakisCarlo ZanioloPublished in: Temporal Databases (1995)
Keyphrases
- formal semantics
- active databases
- temporal events
- spatio temporal
- eca rules
- active database systems
- temporal information
- temporal patterns
- temporal constraints
- active rules
- integrity constraints
- database technology
- modeling language
- first order logic
- sequential data
- theorem prover
- temporal databases
- description language
- temporal data
- transaction processing
- business rules
- databases
- temporal reasoning
- mobile devices
- database systems
- information systems