Expressive power of digraph solvability.

Marc Bezem Clemens Grabmayer Michal Walicki

Published in: Ann. Pure Appl. Log. (2012)

Keyphrases

expressive power
first order logic
query language
data complexity
transitive closure
relational algebra
computational properties
closure properties
constraint query languages
artificial intelligence
database systems
query processing
sufficient conditions
relational calculus
pattern queries