Declarative PTIME Queries for Relational Databases using Quantifier Elimination.
Patrick DohertyWitold LukaszewiczAndrzej SzalasPublished in: J. Log. Comput. (1999)
Keyphrases
- constraint databases
- quantifier elimination
- relational databases
- query language
- query evaluation
- presburger arithmetic
- linear constraints
- temporal data
- transitive closure
- databases
- database
- relational model
- first order logic
- fixed point
- xpath queries
- query processing
- relational database systems
- xml data
- geographic information systems
- spatial databases
- cardinality constraints
- functional dependencies
- data complexity
- normal form
- relational database management systems
- object oriented
- data model
- database queries
- sql queries
- relational data model
- functional programming
- high level
- xml databases
- knowledge representation
- entity relationship
- xml documents
- database management systems