Login / Signup
A Closer Look at the Expressive Power of Logics Based on Word Equations.
Joel D. Day
Vijay Ganesh
Nathan Grewal
Matthew Konefal
Florin Manea
Published in:
Theory Comput. Syst. (2024)
Keyphrases
</>
expressive power
data complexity
query language
first order logic
computational properties
transitive closure
relational algebra
relational calculus
databases
aggregate functions
monadic second order logic
search algorithm
constraint query languages