On expressive power of regular realizability problems.

Mikhail N. Vyalyi

Published in: Probl. Inf. Transm. (2013)

Keyphrases

expressive power
query language
first order logic
computational properties
relational algebra
transitive closure
data complexity
databases
user defined aggregates
database
machine learning
np complete
data exchange
relational calculus