Login / Signup
Expressive power versus decidability.
Reijo Jaakkola
Published in:
CoRR (2021)
Keyphrases
</>
expressive power
computational properties
first order logic
data complexity
query language
description logics
transitive closure
relational algebra
query answering
exptime complete
relation algebra
decision procedures
relational calculus
type checking
query containment