Login / Signup
On the Expressive Power of Higher-Order Pushdown Systems.
Pawel Parys
Published in:
Log. Methods Comput. Sci. (2020)
Keyphrases
</>
expressive power
higher order
first order logic
query language
data complexity
transitive closure
relational algebra
databases
computational properties
logic programming
xml data
knowledge representation
logic programs
deductive databases
recursive queries
relation algebra