Author

Quentin Manière

h-index 3 View on Semantic Scholar

We have 2 of 13 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Property Testing for Recursive Query Languages

In the context of database querying, property testing provides a framework for testing query answers with high confidence while inspecting only a sublinear part of the database, through completion queries and size queries. A fundamental result of Chen and Yoshida (2019) states that non-satisfaction of a Boolean conjunc...

Isolde Adler, Carsten Lutz, Quentin Manière et al. · 0 citations

Preprint Aug 2026

A General Sufficient Condition for Rewriting Horn-ALCHI Atomic Queries into GQL

This work introduces DL automata, a novel formalism that captures the semantics of such OMQs via runs over fact sets via runs over fact sets, and identifies a large class of DL automata that can be rewritten into unions of conjunctive two-way regular path queries (UC2RPQs), a central fragment of GQL.

David Carral, Calixte Gruson, Quentin Manière · 0 citations