Efficient computation and maintenance of datalog materialisations

<p>Datalog is a prominent knowledge representation language whose popularity is mainly due to its ability to express recursive definitions. Datalog applications typically require efficient reasoning over datalog programs and facts. To support this, datalog systems often materialise all consequ...

Descrizione completa

Dettagli Bibliografici
Autore principale: Hu, P
Altri autori: Motik, B
Natura: Tesi
Lingua:English
Pubblicazione: 2019