77 citations · 132 across the 12 of their papers we have counts for
15 papers
Rel: A Programming Language for Relational Data
Molham Aref, Paolo Guagliardo, George Kastrinis +12
From the moment of their inception, languages for relational data have been described as sublanguages embedded in a host programming language. Rel is a new relational language whos…
Static Analysis of Graph Database Transformations
Iovka Boneva, Benoit Groz, Jan Hidders +2
We investigate graph transformations, defined using Datalog-like rules based on acyclic conjunctive two-way regular path queries (acyclic C2RPQs), and we study two fundamental stat…
PG-Schema: Schemas for Property Graphs
Renzo Angles, Angela Bonifati, Stefania Dumbrava +18
Property graphs have reached a high level of maturity, witnessed by multiple robust graph database systems as well as the ongoing ISO standardization effort aiming at creating a ne…
GPC: A Pattern Calculus for Property Graphs
Nadime Francis, Amélie Gheerbrant, Paolo Guagliardo +7
The development of practical query languages for graph databases runs well ahead of the underlying theory. The ISO committee in charge of database query languages is currently deve…
Finite Entailment of UCRPQs over ALC Ontologies
Vıctor Gutiérrez-Basulto, Albert Gutowski, Yazmın Ibáñez-Garcıa +1
We investigate the problem of finite entailment of ontology-mediated queries. We consider the expressive query language, unions of conjunctive regular path queries (UCRPQs), extend…
Graph Pattern Matching in GQL and SQL/PGQ
Alin Deutsch, Nadime Francis, Alastair Green +15
As graph databases become widespread, JTC1 -- the committee in joint charge of information technology standards for the International Organization for Standardization (ISO), and In…