First-order Queries on Finite Structures over the Reals
Jan ParedaensJan Van den BusscheDirk Van GuchtPublished in: LICS (1995)
Keyphrases
- guarded fragment
- first order logic
- expressive power
- unions of conjunctive queries
- transitive closure
- constraint databases
- conjunctive queries
- web search engines
- query language
- database
- query evaluation
- efficient processing
- query processing
- user queries
- probabilistic databases
- higher order
- response time
- complex queries
- linear temporal logic
- relational queries
- range queries
- np complete
- structural features
- search engine
- data structure
- real numbers
- tree patterns
- query formulation
- temporal logic