<?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-01846016</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-19T17:36:08+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)</title>
            <author role="aut">
              <persName>
                <forename type="first">Iovka</forename>
                <surname>Boneva</surname>
              </persName>
              <email type="md5">155f817473f6b75fac777731932835e1</email>
              <email type="domain">univ-lille.fr</email>
              <idno type="idhal" notation="string">iovkaboneva</idno>
              <idno type="idhal" notation="numeric">5579</idno>
              <idno type="halauthorid" notation="string">40649-5579</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2696-7303</idno>
              <idno type="IDREF">https://www.idref.fr/109052951</idno>
              <affiliation ref="#struct-410272"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Joachim</forename>
                <surname>Niehren</surname>
              </persName>
              <email type="md5">00ed73552fb65f19e8ffbdbb1b83a7ea</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">joachim-niehren</idno>
              <idno type="idhal" notation="numeric">1702</idno>
              <idno type="halauthorid" notation="string">14629-1702</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-2611-8950</idno>
              <idno type="IDREF">https://www.idref.fr/140813055</idno>
              <affiliation ref="#struct-432648"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Momar</forename>
                <surname>Sakho</surname>
              </persName>
              <email type="md5">bf1c70798bd13c654a6f36cd05a47a49</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="numeric">1019942</idno>
              <idno type="halauthorid" notation="string">1245504-1019942</idno>
              <affiliation ref="#struct-432648"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Inria</forename>
                <surname>Links</surname>
              </persName>
              <email type="md5">f838039a7264d504b9648db1c800e737</email>
              <email type="domain">nria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2018-07-20 17:12:57</date>
              <date type="whenModified">2026-02-25 11:58:01</date>
              <date type="whenReleased">2018-07-23 08:37:39</date>
              <date type="whenProduced">2018-07-20</date>
              <date type="whenEndEmbargoed">2018-07-20</date>
              <ref type="file" target="https://inria.hal.science/hal-01846016v1/document">
                <date notBefore="2018-07-20"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://inria.hal.science/hal-01846016v1/file/0-long.pdf" id="file-1846016-1870706">
                <date notBefore="2018-07-20"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="192254">
                <persName>
                  <forename>Inria</forename>
                  <surname>Links</surname>
                </persName>
                <email type="md5">f838039a7264d504b9648db1c800e737</email>
                <email type="domain">nria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">hal-01846016</idno>
            <idno type="halUri">https://inria.hal.science/hal-01846016</idno>
            <idno type="halBibtex">boneva:hal-01846016</idno>
            <idno type="halRefHtml">2018</idno>
            <idno type="halRef">2018</idno>
            <availability status="restricted">
              <licence target="https://about.hal.science/hal-authorisation-v1/">HAL Authorization<ref corresp="#file-1846016-1870706"/></licence>
            </availability>
          </publicationStmt>
          <seriesStmt>
            <idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno>
            <idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA-LILLE">INRIA Lille - Nord Europe</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="CRISTAL">Centre de Recherche en Informatique, Signal et Automatique de Lille (CRISTAL)</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="CRISTAL-LINKS" corresp="CRISTAL">CRISTAL-LINKS</idno>
            <idno type="stamp" n="UNIV-LILLE">Université de Lille</idno>
            <idno type="stamp" n="INRIA2018-PREPRINT">Undefined Inria 2018</idno>
            <idno type="stamp" n="TEST-HALCNRS">Collection test HAL CNRS</idno>
          </seriesStmt>
          <notesStmt/>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Certain Query Answering on Compressed String Patterns: From Streams to Hyperstreams (long version)</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Iovka</forename>
                    <surname>Boneva</surname>
                  </persName>
                  <email type="md5">155f817473f6b75fac777731932835e1</email>
                  <email type="domain">univ-lille.fr</email>
                  <idno type="idhal" notation="string">iovkaboneva</idno>
                  <idno type="idhal" notation="numeric">5579</idno>
                  <idno type="halauthorid" notation="string">40649-5579</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2696-7303</idno>
                  <idno type="IDREF">https://www.idref.fr/109052951</idno>
                  <affiliation ref="#struct-410272"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Joachim</forename>
                    <surname>Niehren</surname>
                  </persName>
                  <email type="md5">00ed73552fb65f19e8ffbdbb1b83a7ea</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">joachim-niehren</idno>
                  <idno type="idhal" notation="numeric">1702</idno>
                  <idno type="halauthorid" notation="string">14629-1702</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-2611-8950</idno>
                  <idno type="IDREF">https://www.idref.fr/140813055</idno>
                  <affiliation ref="#struct-432648"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Momar</forename>
                    <surname>Sakho</surname>
                  </persName>
                  <email type="md5">bf1c70798bd13c654a6f36cd05a47a49</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="numeric">1019942</idno>
                  <idno type="halauthorid" notation="string">1245504-1019942</idno>
                  <affiliation ref="#struct-432648"/>
                </author>
              </analytic>
              <monogr>
                <imprint/>
              </monogr>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-cc">Computer Science [cs]/Computational Complexity [cs.CC]</classCode>
              <classCode scheme="halDomain" n="info.info-cl">Computer Science [cs]/Computation and Language [cs.CL]</classCode>
              <classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</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>We study the problem of certain query answering (CQA) on compressed string patterns. These are incomplete singleton context-free grammars, that can model systems of multiple streams with references to others, called hyperstreams more recently. In order to capture regular path queries on strings, we consider nondeterministic finite automata (NFAs) for query definition. It turns out that CQA for Boolean NFA queries is equivalent to regular string pattern inclusion, i.e., whether all strings completing a compressed string pattern belong to a regular language. We prove that CQA on compressed string patterns is PSPACE-complete for NFA queries. The PSPACE-hardness even applies to Boolean queries defined by deterministic finite automata (DFAs) and without compression. We also show that CQA on compressed linear string patterns can be solved in PTIME for DFA queries.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="laboratory" xml:id="struct-410272" status="VALID">
          <idno type="IdRef">18388695X</idno>
          <idno type="RNSR">201521249L</idno>
          <idno type="ROR">https://ror.org/05vrs3189</idno>
          <idno type="Wikidata">Q116959497</idno>
          <orgName>Centre de Recherche en Informatique, Signal et Automatique de Lille - UMR 9189</orgName>
          <orgName type="acronym">CRIStAL</orgName>
          <date type="start">2015-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Lille - Campus scientifique - Bâtiment ESPRIT - Avenue Henri Poincaré - 59655 Villeneuve d’Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.cristal.univ-lille.fr/</ref>
          </desc>
          <listRelation>
            <relation name="UMR9189" active="#struct-120930" type="direct"/>
            <relation name="UMR9189" active="#struct-374570" type="direct"/>
            <relation name="UMR9189" active="#struct-441569" type="direct"/>
          </listRelation>
        </org>
        <org type="researchteam" xml:id="struct-432648" status="VALID">
          <idno type="RNSR">201321077H</idno>
          <idno type="ROR">https://ror.org/05ghgkk68</idno>
          <orgName>Linking Dynamic Data</orgName>
          <orgName type="acronym">LINKS</orgName>
          <date type="start">2015-01-01</date>
          <date type="end">2025-09-30</date>
          <desc>
            <address>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/equipes/links</ref>
          </desc>
          <listRelation>
            <relation active="#struct-104752" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-410272" type="direct"/>
            <relation name="UMR9189" active="#struct-120930" type="indirect"/>
            <relation name="UMR9189" active="#struct-374570" type="indirect"/>
            <relation name="UMR9189" active="#struct-441569" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-120930" status="VALID">
          <idno type="IdRef">256304629</idno>
          <idno type="ISNI">0000000122034461</idno>
          <idno type="ROR">https://ror.org/01x441g73</idno>
          <orgName>Centrale Lille</orgName>
          <desc>
            <address>
              <addrLine>École Centrale de Lille - Cité Scientifique - CS 20048 59651 Villeneuve d'Ascq Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://centralelille.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-374570" status="VALID">
          <idno type="IdRef">223446556</idno>
          <idno type="ISNI">0000 0001 2242 6780</idno>
          <idno type="ROR">https://ror.org/02kzqn938</idno>
          <idno type="Wikidata">Q3551621</idno>
          <orgName>Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>EPE Université de Lille. -- 42 rue Paul Duez, 59000 Lille</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-lille.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="laboratory" xml:id="struct-104752" status="VALID">
          <idno type="RNSR">200818245B</idno>
          <idno type="ROR">https://ror.org/04eej9726</idno>
          <orgName>Centre Inria de l'Université de Lille</orgName>
          <desc>
            <address>
              <addrLine>Parc Scientifique de la Haute Borne 40, avenue Halley Bât.A, Park Plaza 59650 Villeneuve d'Ascq</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/lille/</ref>
          </desc>
          <listRelation>
            <relation active="#struct-300009" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-300009" status="VALID">
          <idno type="ROR">https://ror.org/02kvxyf05</idno>
          <orgName>Institut National de Recherche en Informatique et en Automatique</orgName>
          <orgName type="acronym">Inria</orgName>
          <desc>
            <address>
              <addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/en/</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>