DatalogMTL: Computational Complexity and Expressive Power.

Przemyslaw Andrzej Walega Bernardo Cuenca Grau Mark Kaminski Egor V. Kostylev

Published in: IJCAI (2019)

Keyphrases

expressive power
computational complexity
query language
first order logic
data complexity
transitive closure
np complete
relational algebra
relational calculus
special case
np hard
computational properties
decision problems
xml documents
databases
pattern queries
closure properties