Specifying Active Databases in the Situation Calculus.
Leopoldo E. BertossiJavier PintoRicardo ValdiviaPublished in: SCCC (1998)
Keyphrases
- active databases
- situation calculus
- active rules
- termination analysis
- action theories
- initial state
- event calculus
- integrity constraints
- database technology
- description language
- fluent calculus
- logical language
- modal logic
- reasoning about actions
- database
- temporal databases
- sensing actions
- concurrent actions
- heuristic search
- object oriented
- expert systems