Linear Constraint Query Languages: Expressive Power and Complexity.
Stéphane GrumbachJianwen SuChristophe TolluPublished in: LCC (1994)
Keyphrases
- constraint query languages
- expressive power
- constraint databases
- query language
- boolean algebra
- first order logic
- transitive closure
- data complexity
- relational algebra
- cardinality constraints
- linear constraints
- quantifier elimination
- model checking
- recursive queries
- logic programs
- dl lite
- object oriented
- relational data model
- datalog queries
- database