Keyphrases
- expressive power
- linear logic
- monadic second order logic
- transitive closure
- first order logic
- datalog queries
- deductive databases
- np hard
- logic programming
- data complexity
- fixed point
- query language
- datalog programs
- propositional logic
- logical framework
- relational algebra
- computational properties
- recursive queries
- inference rules
- desirable properties
- sequent calculus
- horn clauses
- relational calculus
- np complete
- databases
- software engineering
- expert systems
- knowledge base
- machine learning