Login / Signup
Characterizing the Program Expressive Power of Existential Rule Languages.
Heng Zhang
Guifei Jiang
Published in:
AAAI (2022)
Keyphrases
</>
expressive power
query language
first order logic
relational algebra
data complexity
computational properties
transitive closure
dl lite
association rules
query answering
relational calculus
aggregate functions
databases
logic programming
recursive queries
constraint query languages