Enumeration of first-order queries on classes of structures with bounded expansion.
Wojciech KazanaLuc SegoufinPublished in: PODS (2013)
Keyphrases
- unions of conjunctive queries
- data exchange
- conjunctive queries
- probabilistic databases
- query answering
- query language
- query processing
- data complexity
- response time
- answering queries
- database
- query evaluation
- web search engines
- first order logic
- higher order
- query logs
- efficient processing
- decision procedures
- search space
- equivalence queries
- finitely representable
- range queries
- expressive power
- retrieval systems
- databases
- complex queries
- database queries
- user queries
- data integration
- data sources
- primary key