Login / Signup
On the Expressive Power of String Constraints.
Joel D. Day
Vijay Ganesh
Nathan Grewal
Florin Manea
Published in:
Proc. ACM Program. Lang. (2023)
Keyphrases
</>
expressive power
first order logic
query language
data complexity
constraint query languages
transitive closure
relational algebra
computational properties
relational calculus
regular expressions
data exchange