Incremental maintenance of overgrounded logic programs with tailored simplifications.
Giovambattista IanniFrancesco PacenzaJessica ZangariPublished in: Theory Pract. Log. Program. (2020)
Keyphrases
- logic programs
- incremental maintenance
- logic programming
- materialized views
- data cube
- cost model
- answer sets
- stable models
- answer set programming
- fixpoint
- view maintenance
- data warehouse
- database management systems
- xml views
- deductive databases
- machine learning
- data warehousing
- query optimization
- relational databases