The Expressive Power of Truth.

Martin Fischer Leon Horsten

Published in: Rev. Symb. Log. (2015)

Keyphrases

expressive power
query language
first order logic
data complexity
transitive closure
relational algebra
computational properties
pattern queries
relation algebra
databases
fixed point
incomplete information