On the expressive power of univariate equations over sets of natural numbers.

Alexander Okhotin Panos Rondogiannis

Published in: IFIP TCS (2008)

Keyphrases

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