Finitely Materialisable Datalog Programs with Metric Temporal Operators.

Przemyslaw Andrzej Walega Michal Zawidzki Bernardo Cuenca Grau

Published in: KR (2021)

Keyphrases

datalog programs
query answering
magic sets
conjunctive queries
recursive queries
data complexity
fixpoint
deductive databases
inconsistent databases
data sets
objective function
general purpose
integrity constraints
data exchange