Incremental Tabling for Query-Driven Propagation of Logic Program Updates.

Ari Saptawijaya Luís Moniz Pereira

Published in: LPAR (2013)

Keyphrases

logic program updates
database
logic programs
logic programming
query evaluation
query processing
response time
user queries
range queries
model checking
answer sets
database queries