Finitely Materialisable Datalog Programs with Metric Temporal Operators

Przemyslaw Andrzej Walega, Michal Zawidzki, Bernardo Cuenca Grau

Abstract: DatalogMTL is an extension of Datalog with metric temporal operators that has recently received significant attention. In contrast to plain Datalog, where scalable implementations are often based o...