Sign in

On the Expressive Power of String Constraints.

Joel D. DayVijay GaneshNathan GrewalFlorin 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