From Ultrafilters on Words to the Expressive Power of a Fragment of Logic.
Mai GehrkeAndreas KrebsJean-Éric PinPublished in: DCFS (2014)
Keyphrases
- expressive power
- computational properties
- guarded fragment
- first order logic
- relation algebra
- monadic second order logic
- query language
- data complexity
- transitive closure
- relational algebra
- classical logic
- closure properties
- database
- relational calculus
- modal logic
- logic programming
- predicate logic
- expert systems
- query evaluation
- horn clauses
- constraint databases
- search algorithm
- database systems