Maintenance of datalog materialisations revisited.

Boris Motik Yavor Nenov Robert Piro Ian Horrocks

Published in: Artif. Intell. (2019)

Keyphrases

expressive power
query answering
deductive databases
software maintenance
query language
logic programming
datalog programs
integrity constraints
data exchange
database languages
database
software evolution
transitive closure
np complete
knowledge acquisition
genetic algorithm
real time