On relating CTL to Datalog
Foto N. AfratiTheodore AndronikosVassia PavlakiEugénie FoustoucosIrène GuessarianPublished in: CoRR (2005)
Keyphrases
- expressive power
- model checking
- temporal logic
- deductive databases
- query answering
- temporal properties
- query language
- computation tree logic
- bounded model checking
- logic programming
- integrity constraints
- datalog programs
- minimal change
- linear temporal logic
- first order logic
- transitive closure
- database languages
- data exchange
- formal specification
- epistemic logic
- logic programs
- symbolic model checking
- data model
- dl programs
- database