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…