Certified Graph View Maintenance with Regular Datalog.
Angela BonifatiStefania DumbravaEmilio Jesús Gallego AriasPublished in: Theory Pract. Log. Program. (2018)
Keyphrases
- view maintenance
- transitive closure
- directed acyclic graph
- expressive power
- materialized views
- incremental view maintenance
- incremental maintenance
- random walk
- database
- query answering
- query language
- data warehouse
- query evaluation
- integrity constraints
- structured data
- datalog programs
- case study
- social networks
- storage space
- view selection
- relational databases