The Complexity and Expressive Power of Limit Datalog.

Mark Kaminski Egor V. Kostylev Bernardo Cuenca Grau Boris Motik Ian Horrocks

Published in: J. ACM (2022)

Keyphrases

expressive power
query language
first order logic
data complexity
exptime complete
computational properties
relational algebra
transitive closure
relational calculus
disjunctive datalog
database
artificial intelligence
computational complexity
relation algebra
query optimization
database query languages