<?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 lirmm-03714595</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-17T09:12:16+02:00"/>
      </publicationStmt>
      <sourceDesc>
        <p part="N">HAL API Platform</p>
      </sourceDesc>
    </fileDesc>
  </teiHeader>
  <text>
    <body>
      <listBibl>
        <biblFull>
          <titleStmt>
            <title xml:lang="en">Rewriting the Infinite Chase</title>
            <author role="aut">
              <persName>
                <forename type="first">Michael</forename>
                <surname>Benedikt</surname>
              </persName>
              <email type="md5">87ae329df71d5eb978c5a7e508a76cfa</email>
              <email type="domain">comlab.ox.ac.uk</email>
              <idno type="idhal" notation="numeric">882923</idno>
              <idno type="halauthorid" notation="string">509687-882923</idno>
              <affiliation ref="#struct-302612"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Maxime</forename>
                <surname>Buron</surname>
              </persName>
              <email type="md5">cbf4d9a7e9eb9481c56ab74764bd6a2b</email>
              <email type="domain">inria.fr</email>
              <idno type="idhal" notation="string">maxime-buron</idno>
              <idno type="idhal" notation="numeric">736667</idno>
              <idno type="halauthorid" notation="string">37466-736667</idno>
              <idno type="ORCID">https://orcid.org/0000-0002-8227-4771</idno>
              <idno type="IDREF">https://www.idref.fr/253133386</idno>
              <affiliation ref="#struct-1102911"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Stefano</forename>
                <surname>Germano</surname>
              </persName>
              <email type="md5">bb7b7457519e8ab4492114b2c151fb91</email>
              <email type="domain">cs.ox.ac.uk</email>
              <idno type="idhal" notation="numeric">1146805</idno>
              <idno type="halauthorid" notation="string">2542108-1146805</idno>
              <affiliation ref="#struct-302612"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Kevin</forename>
                <surname>Kappelmann</surname>
              </persName>
              <email type="md5">d6f579534a90a61479d5bbfb7cbc9f81</email>
              <email type="domain">tum.de</email>
              <idno type="idhal" notation="numeric">1146806</idno>
              <idno type="halauthorid" notation="string">2542109-1146806</idno>
              <affiliation ref="#struct-132871"/>
            </author>
            <author role="aut">
              <persName>
                <forename type="first">Boris</forename>
                <surname>Motik</surname>
              </persName>
              <email type="md5">6841fec5b076df4da3e467f584798cf8</email>
              <email type="domain">cs.ox.ac.uk</email>
              <idno type="idhal" notation="numeric">1146807</idno>
              <idno type="halauthorid" notation="string">411562-1146807</idno>
              <affiliation ref="#struct-302612"/>
            </author>
            <editor role="depositor">
              <persName>
                <forename>Maxime</forename>
                <surname>Buron</surname>
              </persName>
              <email type="md5">cbf4d9a7e9eb9481c56ab74764bd6a2b</email>
              <email type="domain">inria.fr</email>
            </editor>
          </titleStmt>
          <editionStmt>
            <edition n="v1" type="current">
              <date type="whenSubmitted">2022-07-05 16:47:43</date>
              <date type="whenModified">2026-02-12 03:25:52</date>
              <date type="whenReleased">2022-07-06 11:08:25</date>
              <date type="whenProduced">2022-09-05</date>
              <date type="whenEndEmbargoed">2022-07-05</date>
              <ref type="file" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-03714595v1/document">
                <date notBefore="2022-07-05"/>
              </ref>
              <ref type="file" subtype="author" n="1" target="https://hal-lirmm.ccsd.cnrs.fr/lirmm-03714595v1/file/p2537-benedikt-long.pdf" id="file-3714595-3244797">
                <date notBefore="2022-07-05"/>
              </ref>
            </edition>
            <respStmt>
              <resp>contributor</resp>
              <name key="562582">
                <persName>
                  <forename>Maxime</forename>
                  <surname>Buron</surname>
                </persName>
                <email type="md5">cbf4d9a7e9eb9481c56ab74764bd6a2b</email>
                <email type="domain">inria.fr</email>
              </name>
            </respStmt>
          </editionStmt>
          <publicationStmt>
            <distributor>CCSD</distributor>
            <idno type="halId">lirmm-03714595</idno>
            <idno type="halUri">https://hal-lirmm.ccsd.cnrs.fr/lirmm-03714595</idno>
            <idno type="halBibtex">benedikt:lirmm-03714595</idno>
            <idno type="halRefHtml">&lt;i&gt;VLDB 2022 - 48th International Conference on Very Large Databases&lt;/i&gt;, Sep 2022, Sydney, Australia. pp.3045-3057, &lt;a target="_blank" href="https://dx.doi.org/10.14778/3551793.3551851"&gt;&amp;#x27E8;10.14778/3551793.3551851&amp;#x27E9;&lt;/a&gt;</idno>
            <idno type="halRef">VLDB 2022 - 48th International Conference on Very Large Databases, Sep 2022, Sydney, Australia. pp.3045-3057, &amp;#x27E8;10.14778/3551793.3551851&amp;#x27E9;</idno>
            <availability status="restricted">
              <licence target="https://creativecommons.org/licenses/by-nc-nd/4.0/">CC BY-NC-ND 4.0 - Attribution - Non-commercial use - No Derivative Works<ref corresp="#file-3714595-3244797"/></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="UNIV-MONTP3">Université de Montpellier Paul-Valéry</idno>
            <idno type="stamp" n="UNIV-PERP">Université Perpignan Via Domitia</idno>
            <idno type="stamp" n="INRIA-SOPHIA">INRIA Sophia Antipolis - Méditerranée</idno>
            <idno type="stamp" n="INRIASO">INRIA-SOPHIA</idno>
            <idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno>
            <idno type="stamp" n="INRIA34">Antenne Inria de l'université de Montpellier</idno>
            <idno type="stamp" n="TESTALAIN1">TESTALAIN1</idno>
            <idno type="stamp" n="LIRMM">Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</idno>
            <idno type="stamp" n="INRIA2">INRIA 2</idno>
            <idno type="stamp" n="UNIV-MONTPELLIER">Université de Montpellier</idno>
            <idno type="stamp" n="UNIV-COTEDAZUR">Université Côte d'Azur</idno>
            <idno type="stamp" n="UPVM-TI" corresp="UNIV-MONTP3">Publications UPVM texte intégral</idno>
            <idno type="stamp" n="UM-2015-2021" corresp="UNIV-MONTPELLIER">Université de Montpellier (2015-2021)</idno>
            <idno type="stamp" n="UM-EPE" corresp="UNIV-MONTPELLIER">Université de Montpellier - EPE</idno>
            <idno type="stamp" n="BOREAL" corresp="LIRMM">Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données</idno>
            <idno type="stamp" n="INRIA-ROYAUMEUNI">INRIA-ROYAUMEUNI</idno>
            <idno type="stamp" n="INRIA-ALLEMAGNE">INRIA-ALLEMAGNE</idno>
            <idno type="stamp" n="IA">Intelligence Artificielle</idno>
          </seriesStmt>
          <notesStmt>
            <note type="audience" n="2">International</note>
            <note type="invited" n="0">No</note>
            <note type="popular" n="0">No</note>
            <note type="peer" n="1">Yes</note>
            <note type="proceedings" n="1">Yes</note>
          </notesStmt>
          <sourceDesc>
            <biblStruct>
              <analytic>
                <title xml:lang="en">Rewriting the Infinite Chase</title>
                <author role="aut">
                  <persName>
                    <forename type="first">Michael</forename>
                    <surname>Benedikt</surname>
                  </persName>
                  <email type="md5">87ae329df71d5eb978c5a7e508a76cfa</email>
                  <email type="domain">comlab.ox.ac.uk</email>
                  <idno type="idhal" notation="numeric">882923</idno>
                  <idno type="halauthorid" notation="string">509687-882923</idno>
                  <affiliation ref="#struct-302612"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Maxime</forename>
                    <surname>Buron</surname>
                  </persName>
                  <email type="md5">cbf4d9a7e9eb9481c56ab74764bd6a2b</email>
                  <email type="domain">inria.fr</email>
                  <idno type="idhal" notation="string">maxime-buron</idno>
                  <idno type="idhal" notation="numeric">736667</idno>
                  <idno type="halauthorid" notation="string">37466-736667</idno>
                  <idno type="ORCID">https://orcid.org/0000-0002-8227-4771</idno>
                  <idno type="IDREF">https://www.idref.fr/253133386</idno>
                  <affiliation ref="#struct-1102911"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Stefano</forename>
                    <surname>Germano</surname>
                  </persName>
                  <email type="md5">bb7b7457519e8ab4492114b2c151fb91</email>
                  <email type="domain">cs.ox.ac.uk</email>
                  <idno type="idhal" notation="numeric">1146805</idno>
                  <idno type="halauthorid" notation="string">2542108-1146805</idno>
                  <affiliation ref="#struct-302612"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Kevin</forename>
                    <surname>Kappelmann</surname>
                  </persName>
                  <email type="md5">d6f579534a90a61479d5bbfb7cbc9f81</email>
                  <email type="domain">tum.de</email>
                  <idno type="idhal" notation="numeric">1146806</idno>
                  <idno type="halauthorid" notation="string">2542109-1146806</idno>
                  <affiliation ref="#struct-132871"/>
                </author>
                <author role="aut">
                  <persName>
                    <forename type="first">Boris</forename>
                    <surname>Motik</surname>
                  </persName>
                  <email type="md5">6841fec5b076df4da3e467f584798cf8</email>
                  <email type="domain">cs.ox.ac.uk</email>
                  <idno type="idhal" notation="numeric">1146807</idno>
                  <idno type="halauthorid" notation="string">411562-1146807</idno>
                  <affiliation ref="#struct-302612"/>
                </author>
              </analytic>
              <monogr>
                <meeting>
                  <title>VLDB 2022 - 48th International Conference on Very Large Databases</title>
                  <date type="start">2022-09-05</date>
                  <date type="end">2022-09-09</date>
                  <settlement>Sydney</settlement>
                  <country key="AU">Australia</country>
                </meeting>
                <imprint>
                  <biblScope unit="volume">15</biblScope>
                  <biblScope unit="issue">11</biblScope>
                  <biblScope unit="pp">3045-3057</biblScope>
                  <date type="datePub">2022</date>
                </imprint>
              </monogr>
              <idno type="doi">10.14778/3551793.3551851</idno>
              <ref type="publisher">https://vldb.org/2022/</ref>
            </biblStruct>
          </sourceDesc>
          <profileDesc>
            <langUsage>
              <language ident="en">English</language>
            </langUsage>
            <textClass>
              <classCode scheme="halDomain" n="info.info-ai">Computer Science [cs]/Artificial Intelligence [cs.AI]</classCode>
              <classCode scheme="halDomain" n="info.info-db">Computer Science [cs]/Databases [cs.DB]</classCode>
              <classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode>
              <classCode scheme="halTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halOldTypology" n="COMM">Conference papers</classCode>
              <classCode scheme="halTreeTypology" n="COMM">Conference papers</classCode>
            </textClass>
            <abstract xml:lang="en">
              <p>Guarded tuple-generating dependencies (GTGDs) are a natural extension of description logics and referential constraints. It has long been known that queries over GTGDs can be answered by a variant of the chase-a quintessential technique for reasoning with dependencies. However, there has been little work on concrete algorithms and even less on implementation. To address this gap, we revisit Datalog rewriting approaches to query answering, where GTGDs are transformed to a Datalog program that entails the same base facts on each base instance. We show that the rewriting can be seen as containing "shortcut" rules that circumvent certain chase steps, we present several algorithms that compute the rewriting by simulating specific types of chase steps, and we discuss important implementation issues. Finally, we show empirically that our techniques can process complex GTGDs derived from synthetic and real benchmarks and are thus suitable for practical use.</p>
            </abstract>
          </profileDesc>
        </biblFull>
      </listBibl>
    </body>
    <back>
      <listOrg type="structures">
        <org type="institution" xml:id="struct-302612" status="VALID">
          <idno type="ROR">https://ror.org/052gg0110</idno>
          <orgName>University of Oxford</orgName>
          <desc>
            <address>
              <addrLine>Wellington Square, Oxford OX1 2JD</addrLine>
              <country key="GB"/>
            </address>
            <ref type="url">http://www.ox.ac.uk/</ref>
          </desc>
        </org>
        <org type="researchteam" xml:id="struct-1102911" status="VALID">
          <idno type="RNSR">202224285F</idno>
          <idno type="ROR">https://ror.org/02tnenk24</idno>
          <orgName>Représentation de Connaissances et Langages à Base de Règles pour Raisonner sur les Données</orgName>
          <orgName type="acronym">BOREAL</orgName>
          <date type="start">2022-06-01</date>
          <date type="end">2029-04-30</date>
          <desc>
            <address>
              <addrLine>LIRMM, 161 rue Ada, 34000 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr/equipes/BOREAL</ref>
          </desc>
          <listRelation>
            <relation active="#struct-34586" type="direct"/>
            <relation active="#struct-300009" type="indirect"/>
            <relation active="#struct-1100620" type="direct"/>
            <relation active="#struct-101475" type="indirect"/>
            <relation name="UMR5506" active="#struct-441569" type="indirect"/>
            <relation name="UMR5506" active="#struct-1100589" type="indirect"/>
            <relation active="#struct-1219853" type="indirect"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-132871" status="VALID">
          <idno type="IdRef">031660150</idno>
          <idno type="ISNI">0000000123369749</idno>
          <idno type="ROR">https://ror.org/02kkvpp62</idno>
          <idno type="Wikidata">Q157808</idno>
          <orgName>Technische Universität Munchen = Technical University Munich = Université Technique de Munich</orgName>
          <orgName type="acronym">TUM</orgName>
          <date type="start">1868-01-01</date>
          <desc>
            <address>
              <addrLine>Arcisstrasse 21, D- 80333 München</addrLine>
              <country key="DE"/>
            </address>
            <ref type="url">https://www.tum.de</ref>
          </desc>
        </org>
        <org type="laboratory" xml:id="struct-34586" status="VALID">
          <idno type="RNSR">198318250R</idno>
          <idno type="ROR">https://ror.org/01nzkaw91</idno>
          <orgName>Centre Inria d'Université Côte d'Azur</orgName>
          <desc>
            <address>
              <addrLine>2004 route des Lucioles BP 93 06902 Sophia Antipolis</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.inria.fr/centre/sophia/</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>
        <org type="laboratory" xml:id="struct-1100620" status="VALID">
          <idno type="IdRef">139590827</idno>
          <idno type="ISNI">0000000405990488</idno>
          <idno type="RNSR">199111950H</idno>
          <idno type="ROR">https://ror.org/013yean28</idno>
          <orgName>Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier</orgName>
          <orgName type="acronym">LIRMM</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>161 rue Ada - 34095 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.lirmm.fr</ref>
          </desc>
          <listRelation>
            <relation active="#struct-101475" type="direct"/>
            <relation active="#struct-300009" type="direct"/>
            <relation name="UMR5506" active="#struct-441569" type="direct"/>
            <relation name="UMR5506" active="#struct-1100589" type="direct"/>
            <relation active="#struct-1219853" type="direct"/>
          </listRelation>
        </org>
        <org type="institution" xml:id="struct-101475" status="VALID">
          <idno type="ROR">https://ror.org/03am2jy38</idno>
          <orgName>Université de Perpignan Via Domitia</orgName>
          <orgName type="acronym">UPVD</orgName>
          <desc>
            <address>
              <addrLine>52 avenue Paul Alduy - 66860 Perpignan Cedex 9</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.univ-perp.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-1100589" status="VALID">
          <idno type="ROR">https://ror.org/051escj72</idno>
          <orgName>Université de Montpellier</orgName>
          <orgName type="acronym">UM</orgName>
          <date type="start">2022-01-01</date>
          <desc>
            <address>
              <addrLine>163 rue Auguste Broussonnet - 34090 Montpellier</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">http://www.umontpellier.fr/</ref>
          </desc>
        </org>
        <org type="regroupinstitution" xml:id="struct-1219853" status="VALID">
          <idno type="IdRef">282217916</idno>
          <orgName>Université de Montpellier Paul-Valéry</orgName>
          <orgName type="acronym">UMPV</orgName>
          <date type="start">2025-01-01</date>
          <desc>
            <address>
              <addrLine>Université de Montpellier Paul-Valéry Route de Mende 34199 Montpellier Cedex 5</addrLine>
              <country key="FR"/>
            </address>
            <ref type="url">https://www.univ-montp3.fr/fr</ref>
          </desc>
        </org>
      </listOrg>
    </back>
  </text>
</TEI>