About the Expressive Power and Complexity of Order-Invariance with Two Variables.

Bartosz Bednarczyk Julien Grange

Published in: CoRR (2023)

Keyphrases

expressive power
query language
first order logic
transitive closure
data complexity
relational algebra
computational properties
exptime complete
databases
data management