On the Expressive Power of Non-Linear Merge-and-Shrink Representations.

Malte Helmert Gabriele Röger Silvan Sievers

Published in: ICAPS (2015)

Keyphrases

expressive power
first order logic
data complexity
query language
relational algebra
transitive closure
computational properties
pattern queries
np complete
constraint query languages
knowledge representation
recursive queries
relation algebra