On the expressive power of unit resolution

Olivier Bailleux

Published in: CoRR (2011)

Keyphrases

expressive power
first order logic
data complexity
transitive closure
query language
pattern queries
relational algebra
computational properties
databases
logic programs
propositional logic
relational calculus