Certified Graph View Maintenance with Regular Datalog (Q4559800)
From MaRDI portal
scientific article; zbMATH DE number 6988650
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certified Graph View Maintenance with Regular Datalog |
scientific article; zbMATH DE number 6988650 |
Statements
Certified Graph View Maintenance with Regular Datalog (English)
0 references
4 December 2018
0 references
regular Datalog
0 references
graph queries
0 references
graph views
0 references
incremental maintenance
0 references
finite semantics
0 references
theorem proving
0 references
