7 citations · 31 across the 20 of their papers we have counts for
20 papers
A Rule-based Operational Semantics of Graph Query Languages
Dominique Duval, Rachid Echahed, Frederic Prost
We consider a core language of graph queries. These queries are seen as formulas to be solved with respect to graph-oriented databases. For this purpose, we first define a graph qu…
Querying RDF Databases with Sub-CONSTRUCTs
Dominique Duval, Rachid Echahed, Frédéric Prost
Graph query languages feature mainly two kinds of queries when applied to a graph database: those inspired by relational databases which return tables such as SELECT queries and th…
A Superposition-Based Calculus for Quantum Diagrammatic Reasoning and Beyond
Rachid Echahed, Mnacho Echenim, Mehdi Mhalla +1
We introduce a class of rooted graphs which allows one to encode various kinds of classical or quantum circuits. We then follow a set-theoretic approach to define rewrite systems o…
An Algebraic Graph Transformation Approach for RDF and SPARQL
Dominique Duval, Rachid Echahed, Frédéric Prost
We consider the recommendations of the World Wide Web Consortium (W3C) about RDF framework and its associated query language SPARQL. We propose a new formal framework based on cate…
All You Need Is CONSTRUCT
Dominique Duval, Rachid Echahed, Frederic Prost
In SPARQL, the query forms SELECT and CONSTRUCT have been the subject of several studies, both theoretical and practical. However, the composition of such queries and their interwe…
Proceedings Tenth International Workshop on Graph Computation Models
Rachid Echahed, Detlef Plump
This volume contains the post-proceedings of the Tenth International Workshop on Graph Computation Models (GCM 2019: http://gcm2019.imag.fr). The workshop was held in Eindhoven, Th…