Materializzazione di Datalog Temporale per il Riconoscimento di Eventi Compositi

Un nuovo articolo su arXiv propone una materializzazione efficiente per Datalog Temporale con negazione stratificata e nessuna dipendenza futura, applicata al riconoscimento di eventi compositi. Gli autori mappano frammenti di linguaggi di specifica di eventi in Datalog Temporale per consentire il confronto e il ragionamento su flussi. Introducono i Grafi di Trigger Streaming, estendendo le tecniche di materializzazione Datalog all'avanguardia per flussi di eventi ad alta velocità. Il lavoro affronta la rilevazione tempestiva di situazioni critiche come minacce alla sicurezza.