1 code implementation • 27 Apr 2018 • Angela Bonifati, Stefania Dumbrava, Emilio Jesus Gallego Arias
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.
Databases Logic in Computer Science Programming Languages
