First-Order Definable Counting-Only Queries.
Jelle HellingsMarc GyssensDirk Van GuchtYuqing WuPublished in: FoIKS (2018)
Keyphrases
- first order logic
- query processing
- query language
- answering queries
- higher order
- web search engines
- efficient processing
- retrieval systems
- user queries
- complex queries
- query evaluation
- model counting
- keywords
- monadic second order logic
- query formulation
- boolean queries
- transitive closure
- expressive power
- query logs
- data objects
- range queries
- database
- data sources
- data model
- learning algorithm