157 citations · 239 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.DB2018★ 5 cited
Approximate Evaluation of Label-Constrained Reachability Queries
Stefania Dumbrava, Angela Bonifati, Amaia Nazabal Ruiz Diaz +1
The current surge of interest in graph-based data models mirrors the usage of increasingly complex reachability queries, as witnessed by recent analytical studies on real-world gra…
cs.DB2018
Certified Graph View Maintenance with Regular Datalog
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…