A Unifying Semantics for Active Databases Using Non-Markovian Theories of Actions.
Iluju KiringaRaymond ReiterPublished in: DBPL (2003)
Keyphrases
- active databases
- situation calculus
- action theories
- active rules
- active database systems
- termination analysis
- decision processes
- eca rules
- event condition action
- reactive behavior
- database technology
- description language
- integrity constraints
- reinforcement learning
- database
- formal semantics
- business rules
- deductive databases
- transaction processing
- modal logic
- logic programming
- object oriented