From CTL to Datalog.
Foto N. AfratiTheodore AndronikosVassia PavlakiE. FoustoukosIrène GuessarianPublished in: PCK50 (2003)
Keyphrases
- expressive power
- model checking
- temporal logic
- deductive databases
- query answering
- query language
- computation tree logic
- datalog programs
- temporal properties
- linear temporal logic
- bounded model checking
- transitive closure
- logic programming
- integrity constraints
- first order logic
- epistemic logic
- minimal change
- ontology based data access
- data complexity
- database languages
- relational query languages
- relational algebra
- relational calculus
- fixpoint
- transition systems
- belief revision
- dl programs
- search algorithm
- databases
- data sets