The Covering Problem: A Unified Approach for Investigating the Expressive Power of Logics.

Thomas Place Marc Zeitoun

Published in: MFCS (2016)

Keyphrases

expressive power
first order logic
data complexity
query language
transitive closure
computational properties
relational algebra
relational calculus
databases
recursive queries
knowledge discovery
theorem prover
relation algebra