<?xml version="1.0" encoding="utf-8"?>
<TEI xmlns="http://www.tei-c.org/ns/1.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:hal="http://hal.archives-ouvertes.fr/" xmlns:gml="http://www.opengis.net/gml/3.3/" xmlns:gmlce="http://www.opengis.net/gml/3.3/ce" version="1.1" xsi:schemaLocation="http://www.tei-c.org/ns/1.0 http://api.archives-ouvertes.fr/documents/aofr-sword.xsd">
  <teiHeader>
    <fileDesc>
      <titleStmt>
        <title>HAL TEI export of hal-04999117</title>
      </titleStmt>
      <publicationStmt>
        <distributor>CCSD</distributor>
        <availability status="restricted">
          <licence target="https://creativecommons.org/publicdomain/zero/1.0/">CC0 1.0 - Universal</licence>
        </availability>
        <date when="2026-05-07T18:04:54+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Complexity of conjunctive regular path query homomorphisms</title>
            <author role="aut">
              <persName>
                <forename type="first">Laurent</forename>
                <surname>Beaudou</surname>
              </persName>
              <idno type="halauthorid">21771-0</idno>
              <affiliation ref="#struct-1063677"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Foucaud</surname>
              </persName>
              <email type="md5">1ed88a90117097c6e89b550284193171</email>
              <email type="domain">uca.fr</email>
              <idno type="idhal" notation="string">florent-foucaud</idno>
              <idno type="idhal" notation="numeric">169708</idno>
              <idno type="halauthorid" notation="string">20994-169708</idno>
              <idno type="ORCID">https://orcid.org/0000-0001-8198-693X</idno>
              <affiliation ref="#struct-1063677"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Florent</forename>
                <surname>Madelaine</surname>
              </persName>
              <idno type="halauthorid">19520-0</idno>
              <affiliation ref="#struct-182989"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Lhouari</forename>
                <surname>Nourine</surname>
              </persName>
              <idno type="halauthorid">36326-0</idno>
              <affiliation ref="#struct-1063677"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Gaétan</forename>
                <surname>Richad</surname>
              </persName>
              <idno type="halauthorid">3452143-0</idno>
              <affiliation ref="#struct-150"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Florent</forename>
                <surname>Foucaud</surname>
              </persName>
              <email type="md5">1ed88a90117097c6e89b550284193171</email>
              <email type="domain">uca.fr</email>
            </editor>
            <funder ref="#projanr-55789"/>
            <funder ref="#projanr-49675"/>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2025-03-20 16:04:46</date>
              <date type="whenWritten">2023-05-12</date>
              <date type="whenModified">2025-04-17 21:32:45</date>
              <date type="whenReleased">2025-03-20 16:04:46</date>
              <date type="whenProduced">2023-05-12</date>
              <ref type="externalLink" target="http://arxiv.org/pdf/2305.07271"/>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="150557">
                <persName>
                  <forename>Florent</forename>
                  <surname>Foucaud</surname>
                </persName>
                <email type="md5">1ed88a90117097c6e89b550284193171</email>
                <email type="domain">uca.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-04999117</idno>
            <idno type="halUri">https://hal.science/hal-04999117</idno>
            <idno type="halBibtex">beaudou:hal-04999117</idno>
            <idno type="halRefHtml">2023</idno>
            <idno type="halRef">2023</idno>
            <availability status="restricted"/>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="PRES_CLERMONT">Université de Clermont</idno>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="ENSI-CAEN">Ecole Nationale Supérieure d'Ingénieurs de Caen</idno>
            <idno type="stamp" n="LACL" corresp="UPEC">Laboratoire d'Algorithmique Complexité et Logique</idno>
            <idno type="stamp" n="LIMOS" corresp="PRES_CLERMONT">Laboratoire d'Informatique, de Modélisation et d'optimisation des Systèmes</idno>
            <idno type="stamp" n="UPEC" corresp="CV_UPEC">Université Paris-Est Créteil Val-de-Marne</idno>
            <idno type="stamp" n="GREYC">Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen (GREYC)</idno>
            <idno type="stamp" n="GREYC-AMACC" corresp="GREYC">GREYC amacc</idno>
            <idno type="stamp" n="COMUE-NORMANDIE">Normandie Université</idno>
            <idno type="stamp" n="ENSICAEN">École Nationale Supérieure d’Ingénieurs de Caen</idno>
            <idno type="stamp" n="UNICAEN">Université de Caen Normandie</idno>
            <idno type="stamp" n="CAP20-25" corresp="PRES_CLERMONT">I-Site CAP 20-25</idno>
            <idno type="stamp" n="ANR">ANR</idno>
            <idno type="stamp" n="CLERMONT-AUVERGNE-INP">Clermont Auvergne INP</idno>
            <idno type="stamp" n="TEST-UPEC-ODD" corresp="UPEC">TEST UPEC ODD</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Complexity of conjunctive regular path query homomorphisms</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Laurent</forename>
                    <surname>Beaudou</surname>
                  </persName>
                  <idno type="halauthorid">21771-0</idno>
                  <affiliation ref="#struct-1063677"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Foucaud</surname>
                  </persName>
                  <email type="md5">1ed88a90117097c6e89b550284193171</email>
                  <email type="domain">uca.fr</email>
                  <idno type="idhal" notation="string">florent-foucaud</idno>
                  <idno type="idhal" notation="numeric">169708</idno>
                  <idno type="halauthorid" notation="string">20994-169708</idno>
                  <idno type="ORCID">https://orcid.org/0000-0001-8198-693X</idno>
                  <affiliation ref="#struct-1063677"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Florent</forename>
                    <surname>Madelaine</surname>
                  </persName>
                  <idno type="halauthorid">19520-0</idno>
                  <affiliation ref="#struct-182989"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Lhouari</forename>
                    <surname>Nourine</surname>
                  </persName>
                  <idno type="halauthorid">36326-0</idno>
                  <affiliation ref="#struct-1063677"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Gaétan</forename>
                    <surname>Richad</surname>
                  </persName>
                  <idno type="halauthorid">3452143-0</idno>
                  <affiliation ref="#struct-150"/>
                </author>
              </analytic>
              <monogr>
                <imprint>
                  <date type="datePub">2023</date>
                </imprint>
              </monogr>
              <idno type="arxiv">2305.07271</idno>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-db">Computer Science [cs]/Databases [cs.DB]</classCode>
              <classCode scheme="halDomain" n="info.info-ds">Computer Science [cs]/Data Structures and Algorithms [cs.DS]</classCode>
              <classCode scheme="halTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halOldTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
              <classCode scheme="halTreeTypology" n="UNDEFINED">Preprints, Working Papers, ...</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>A graph database is a digraph whose arcs are labeled with symbols from a fixed alphabet. A regular graph pattern (RGP) is a digraph whose edges are labeled with regular expressions over the alphabet. RGPs model navigational queries for graph databases called conjunctive regular path queries (CRPQs). A match of a CRPQ in the database is witnessed by a special navigational homomorphism of the corresponding RGP to the database. We study the complexity of deciding the existence of a homomorphism between two RGPs. Such homomorphisms model a strong type of containment between the two corresponding CRPQs. We show that this problem can be solved by an EXPTIME algorithm (while general query containmement in this context is EXPSPACE-complete). We also study the problem for restricted RGPs over a unary alphabet, that arise from some applications like XPath or SPARQL. For this case, homomorphism-based CRPQ containment is in NP. We prove that certain interesting cases are in fact polynomial-time solvable.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-1063677" status="VALID">
          <idno type="IdRef">155645919</idno>
          <idno type="RNSR">200212221E</idno>
          <idno type="ROR">00t3fpp34</idno>
          <orgName>Laboratoire d'Informatique, de Modélisation et d'Optimisation des Systèmes</orgName>
          <orgName type="acronym">LIMOS</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>Campus Universitaire des Cézeaux, 1 rue de la Chebarde, TSA 60125 / CS 60026, 63178 Aubière Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://limos.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR6158" active="#struct-359750" type="direct"/>
            <relation name="UMR6158" active="#struct-441569" type="direct"/>
            <relation name="UMR6158" active="#struct-1063463" type="direct"/>
            <relation name="UMR6158" active="#struct-1063539" type="direct"/>
            <relation active="#struct-1063463" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-182989" status="VALID">
          <idno type="IdRef">113845588</idno>
          <idno type="RNSR">200715457A</idno>
          <orgName>Laboratoire d'Algorithmique Complexité et Logique</orgName>
          <orgName type="acronym">LACL</orgName>
          <desc>
            <address>
              <addrLine>LACL, Université Paris-Est Créteil Val-de-Marne, 61 avenue du Général de Gaulle 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.lacl.fr</ref>
          </desc>
          <listRelation>
            <relation name="EA4219" active="#struct-420786" type="direct"/>
          </listRelation>
        </org>
        <org type="laboratory" xml:id="struct-150" status="VALID">
          <idno type="IdRef">035827335</idno>
          <idno type="ISNI">0000 0000 9466 2590</idno>
          <idno type="RNSR">201722568L</idno>
          <idno type="ROR">https://ror.org/043749971</idno>
          <idno type="Wikidata">Q3117752</idno>
          <orgName>Groupe de Recherche en Informatique, Image et Instrumentation de Caen</orgName>
          <orgName type="acronym">GREYC</orgName>
          <date type="start">1995-01-01</date>
          <desc>
            <address>
              <addrLine>Boulevard du Maréchal Juin - 14050 CAEN Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.greyc.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-7127" type="direct"/>
            <relation active="#struct-455934" type="indirect"/>
            <relation active="#struct-246955" type="direct"/>
            <relation name="UMR6072" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-359750" status="VALID">
          <idno type="IdRef">028028694</idno>
          <orgName>Ecole Nationale Supérieure des Mines de St Etienne</orgName>
          <orgName type="acronym">ENSM ST-ETIENNE</orgName>
          <date type="start">1816-01-01</date>
          <desc>
            <address>
              <addrLine>158 Cour Fauriel, 42100 Saint-Étienne</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.mines-stetienne.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-441569" status="VALID">
          <idno type="IdRef">02636817X</idno>
          <idno type="ISNI">0000000122597504</idno>
          <idno type="ROR">https://ror.org/02feahw73</idno>
          <orgName>Centre National de la Recherche Scientifique</orgName>
          <orgName type="acronym">CNRS</orgName>
          <date type="start">1939-10-19</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cnrs.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1063463" status="VALID">
          <idno type="IdRef">252404955</idno>
          <idno type="ISNI">0000000115480420</idno>
          <idno type="ROR">https://ror.org/01a8ajp46</idno>
          <orgName>Université Clermont Auvergne</orgName>
          <orgName type="acronym">UCA</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <addrLine>49, bd François-Mitterrand / CS 60032 / 63001 Clermont-Ferrand Cedex 1</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.uca.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-1063539" status="VALID">
          <idno type="IdRef">252428943</idno>
          <orgName>Institut national polytechnique Clermont Auvergne</orgName>
          <orgName type="acronym">INP Clermont Auvergne</orgName>
          <date type="start">2021-01-01</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
          </desc>
          <listRelation>
            <relation active="#struct-1063463" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-420786" status="VALID">
          <idno type="IdRef">028021037</idno>
          <idno type="ISNI">0000000121497878</idno>
          <idno type="ROR">https://ror.org/05ggc9x40</idno>
          <orgName>Université Paris-Est Créteil Val-de-Marne - Paris 12</orgName>
          <orgName type="acronym">UPEC UP12</orgName>
          <date type="start">1970-01-01</date>
          <desc>
            <address>
              <addrLine>61 avenue du Général de Gaulle - 94010 Créteil cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.u-pec.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-7127" status="VALID">
          <idno type="IdRef">026403064</idno>
          <idno type="ISNI">0000000121864076</idno>
          <idno type="ROR">https://ror.org/051kpcy16</idno>
          <orgName>Université de Caen Normandie</orgName>
          <orgName type="acronym">UNICAEN</orgName>
          <date type="start">1432-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 CAEN Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.unicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
        <org type="regroupinstitution" xml:id="struct-455934" status="VALID">
          <idno type="IdRef">190906332</idno>
          <idno type="ISNI">0000000417859671 </idno>
          <idno type="ROR">https://ror.org/01k40cz91</idno>
          <orgName>Normandie Université</orgName>
          <orgName type="acronym">NU</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Esplanade de la Paix - CS 14032 - 14032 Caen Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.normandie-univ.fr/</ref>
          </desc>
        </org>
        <org type="institution" xml:id="struct-246955" status="VALID">
          <idno type="IdRef">190907991</idno>
          <idno type="ROR">https://ror.org/01fpqqe90</idno>
          <orgName>École Nationale Supérieure d'Ingénieurs de Caen</orgName>
          <orgName type="acronym">ENSICAEN</orgName>
          <desc>
            <address>
              <addrLine>6, Boulevard du Maréchal Juin CS 45053 14050 CAEN cedex 04</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.ensicaen.fr/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-455934" type="direct"/>
          </listRelation>
        </org>
      </listOrg>
      <listOrg type="projects">
        <org type="anrProject" xml:id="projanr-55789" status="VALID">
          <idno type="anr">ANR-21-CE48-0004</idno>
          <orgName>GRALMECO</orgName>
          <desc>Algorithmique des problèmes de couverture métriques dans les graphes</desc>
          <date type="start">2021</date>
        </org>
        <org type="anrProject" xml:id="projanr-49675" status="VALID">
          <idno type="anr">ANR-16-IDEX-0001</idno>
          <orgName>CAP 20-25</orgName>
          <desc>CAP 20-25</desc>
          <date type="start">2016</date>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>