Incremental maintenance of overgrounded logic programs with tailored simplifications.

Giovambattista Ianni Francesco Pacenza Jessica Zangari

Published in: CoRR (2020)

Keyphrases

logic programs
incremental maintenance
logic programming
cost model
materialized views
data cube
answer sets
fixpoint
answer set programming
stable models
data warehouse
xml views