Constraint Query Languages.
Paris C. KanellakisGabriel M. KuperPeter Z. ReveszPublished in: J. Comput. Syst. Sci. (1995)
Keyphrases
- constraint query languages
- constraint databases
- boolean algebra
- expressive power
- cardinality constraints
- datalog queries
- quantifier elimination
- query language
- relational data model
- linear constraints
- first order logic
- query evaluation
- transitive closure
- temporal data
- databases
- geographic information systems
- fixed point
- theorem prover
- data structure