A Toolkit for Proving Limitations of the Expressive Power of Logics.

Nicole Schweikardt

Published in: MFCS (2012)

Keyphrases

expressive power
first order logic
data complexity
computational properties
relational algebra
query language
transitive closure
relational calculus
database
data model
default logic