9 citations · 65 across the 33 of their papers we have counts for
33 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…
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…
On foundational aspects of RDF and SPARQL
Dominique Duval, Rachid Echahed, Frederic Prost
We consider the recommendations of the World Wide Web Consortium (W3C) about the Resource Description Framework (RDF) and the associated query language SPARQL. We propose a new for…
Logical rules as fractions and logics as sketches
Dominique Duval
In this short paper, using category theory, we argue that logical rules can be seen as fractions and logics as limit sketches.