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...

Volledige beschrijving

Bibliografische gegevens
Hoofdauteur: Hu, P
Andere auteurs: Motik, B
Formaat: Thesis
Taal:English
Gepubliceerd in: 2019