Expressive power of Constraint Handling Rules extensions and fragments.
Jacopo MauroPublished in: Bull. EATCS (2013)
Keyphrases
- expressive power
- guarded fragment
- constraint handling rules
- first order logic
- query language
- data complexity
- transitive closure
- aggregate functions
- computational properties
- relational algebra
- relational calculus
- recursive queries
- pattern queries
- artificial intelligence
- databases
- propositional logic
- database
- programming language
- constraint query languages
- relational query languages