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

Olles dieđut

Bibliográfalaš dieđut
Váldodahkki: Hu, P
Eará dahkkit: Motik, B
Materiálatiipa: Oahppočájánas
Giella:English
Almmustuhtton: 2019