Certified Graph View Maintenance with Regular Datalog.
Angela BonifatiStefania DumbravaEmilio Jesús Gallego AriasPublished in: CoRR (2018)
Keyphrases
- view maintenance
- transitive closure
- directed acyclic graph
- materialized views
- expressive power
- incremental view maintenance
- incremental maintenance
- data warehouse
- query language
- view selection
- data warehousing
- structured data
- random walk
- query evaluation
- query answering
- directed graph
- graphical models
- social networks
- storage space
- datalog programs
- decision support
- management system