Login / Signup
On the Expressive Power of Higher-Order Pushdown Systems.
Pawel Parys
Published in:
CoRR (2020)
Keyphrases
</>
expressive power
higher order
query language
first order logic
data complexity
computational properties
transitive closure
relational algebra
model checking
database systems
integrity constraints
normal form
propositional logic