Expressive Power of Logic Frameworks with Certainty Constraints.
Nematollaah ShiriPublished in: FLAIRS Conference (2005)
Keyphrases
- expressive power
- computational properties
- monadic second order logic
- first order logic
- constraint query languages
- data complexity
- relation algebra
- query language
- transitive closure
- relational algebra
- recursive queries
- constraint satisfaction
- linear constraints
- datalog queries
- relational query languages
- artificial intelligence
- constraint databases
- set theory
- propositional logic
- natural language