The Expressive Power of Epistemic $μ$-Calculus.
Catalin DimaBastien MaubertSophie PinchinatPublished in: CoRR (2014)
Keyphrases
- expressive power
- relational calculus
- database query languages
- relation algebra
- computational properties
- constraint query languages
- query language
- relational algebra
- data complexity
- first order logic
- transitive closure
- database
- aggregate functions
- epistemic logic
- type checking
- data model
- closure properties
- search algorithm
- artificial intelligence