DRedMTL: Schnelle inkrementelle Aktualisierung von DatalogMTL‑Materialisierungen
DatalogMTL erweitert die klassische Datalog‑Sprache um Metric Temporal Logic (MTL) und ermöglicht damit präzises, zeitbasiertes Schlussfolgern über Daten, die sich im Zeitverlauf verändern. Durch die Einbindung von MTL können komplexe zeitliche Abhängigkeiten modelliert und abgefragt werden, was in vielen Anwendungsbereichen – etwa in der Ereignisverarbeitung oder im Internet‑der‑Dinge – von entscheidender Bedeutung ist.
