Certified Graph View Maintenance with Regular Datalog

We employ the Coq proof assistant to develop a mechanically-certified framework for evaluating graph queries and incrementally maintaining materialized graph instances, also called views. The language we use for defining queries and views is Regular Datalog (RD) – a notable fragment of non-recursive...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Theory and practice of logic programming 2018-07, Vol.18 (3-4), p.372-389
Hauptverfasser:	BONIFATI, ANGELA, DUMBRAVA, STEFANIA, ARIAS, EMILIO JESÚS GALLEGO
Format:	Artikel
Sprache:	eng
Schlagworte:	Computer Science Logic in Computer Science Original Article Queries Semantics
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!