Keyphrases
- expressive power
- first order logic
- constraint satisfaction problems
- computational properties
- tree decomposition
- probabilistic reasoning
- data complexity
- knowledge representation
- query language
- decomposition methods
- constraint satisfaction
- propositional logic
- transitive closure
- relational algebra
- relational calculus
- constraint propagation
- np hard
- np complete
- artificial intelligence
- data mining