157 citations · 157 across the 4 of their papers we have counts for
4 papers · 1 filter
Expressive Power of Property Graph Constraint Languages
Stefania Dumbrava, Nadime Francis, Victor Marsault +1
We present the first principled and systematic study of the expressive power of property graph constraint languages, focused on the recent PG-Keys language, set to inform the upcom…
Graph Summarization
Angela Bonifati, Stefania Dumbrava, Haridimos Kondylakis
The continuous and rapid growth of highly interconnected datasets, which are both voluminous and complex, calls for the development of adequate processing and analytical techniques…
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…
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…