First-Order Queries on Finite Structures Over the Reals.
Jan ParedaensJan Van den BusscheDirk Van GuchtPublished in: SIAM J. Comput. (1998)
Keyphrases
- guarded fragment
- first order logic
- constraint databases
- query processing
- query language
- transitive closure
- unions of conjunctive queries
- query evaluation
- higher order
- database queries
- range queries
- probabilistic databases
- efficient processing
- query formulation
- finite number
- database
- response time
- search queries
- retrieval systems
- web search engines
- answering queries
- query answering
- user queries
- data management
- information retrieval systems
- real numbers
- description logics
- data structure
- databases