Fixpoint and While Temporal Query Languages.
Nicole BidoitMatthieu ObjoisPublished in: J. Log. Comput. (2009)
Keyphrases
- fixpoint
- recursive queries
- query language
- logic programs
- deductive databases
- finite state machines
- query evaluation
- expressive power
- stable models
- horn clauses
- sql queries
- model theoretic
- magic sets
- update rule
- answer sets
- conjunctive queries
- datalog programs
- data model
- proof theoretic
- fixpoint semantics
- relational algebra
- first order logic
- logic programming
- transitive closure
- nonmonotonic reasoning
- object oriented
- machine learning
- database