Infinitary Queries and Their Asymptotic Probabilities I: Properties Definable in Transitive Closue Logic.
Jerzy TyszkiewiczPublished in: CSL (1991)
Keyphrases
- query processing
- monadic second order logic
- expected values
- query evaluation
- probability distribution
- probability theory
- query language
- response time
- transitive closure
- logic programming
- formal language
- first order logic
- guarded fragment
- database
- query formulation
- modal logic
- conditional probabilities
- range queries
- user queries
- web search engines
- data sources
- database queries
- expressive power
- multi dimensional