<?xml version="1.0" encoding="utf-8"?>
<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.1 plus MathML 2.0 plus SVG 1.1//EN" "http://www.w3.org/2002/04/xhtml-math-svg/xhtml-math-svg.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
  <head>
    <meta http-equiv="Content-Type" content="application/xhtml+xml; charset=utf-8"/>
    <title>Project-Team:LINKS</title>
    <link rel="stylesheet" href="../static/css/raweb.css" type="text/css"/>
    <meta name="description" content="Research Program - Querying Heterogeneous&#10;Linked Data"/>
    <meta name="dc.title" content="Research Program - Querying Heterogeneous&#10;Linked Data"/>
    <meta name="dc.subject" content=""/>
    <meta name="dc.publisher" content="INRIA"/>
    <meta name="dc.date" content="(SCHEME=ISO8601) 2017-01"/>
    <meta name="dc.type" content="Report"/>
    <meta name="dc.language" content="(SCHEME=ISO639-1) en"/>
    <meta name="projet" content="LINKS"/>
    <script type="text/javascript" src="https://cdn.mathjax.org/mathjax/latest/MathJax.js?config=TeX-MML-AM_CHTML">
      <!--MathJax-->
    </script>
  </head>
  <body>
    <div class="tdmdiv">
      <div class="logo">
        <a href="http://www.inria.fr">
          <img style="align:bottom; border:none" src="../static/img/icons/logo_INRIA-coul.jpg" alt="Inria"/>
        </a>
      </div>
      <div class="TdmEntry">
        <div class="tdmentete">
          <a href="uid0.html">Project-Team Links</a>
        </div>
        <span>
          <a href="uid1.html">Personnel</a>
        </span>
      </div>
      <div class="TdmEntry">Overall Objectives<ul><li><a href="./uid3.html">Overall Objectives</a></li><li><a href="./uid4.html">Presentation</a></li></ul></div>
      <div class="TdmEntry">Research Program<ul><li><a href="uid9.html&#10;&#9;&#9;  ">Background</a></li><li class="tdmActPage"><a href="uid10.html&#10;&#9;&#9;  ">Querying Heterogeneous
Linked Data</a></li><li><a href="uid11.html&#10;&#9;&#9;  ">Managing Dynamic Linked Data</a></li><li><a href="uid12.html&#10;&#9;&#9;  ">Linking Graphs</a></li></ul></div>
      <div class="TdmEntry">Application Domains<ul><li><a href="uid14.html&#10;&#9;&#9;  ">Linked Data Integration</a></li><li><a href="uid15.html&#10;&#9;&#9;  ">Data Cleaning</a></li><li><a href="uid16.html&#10;&#9;&#9;  ">Real Time Complex Event Processing</a></li></ul></div>
      <div class="TdmEntry">Highlights of the Year<ul><li><a href="./uid18.html">Book with the
W3C on schemas validation for the semantic Web</a></li><li><a href="./uid19.html">Two associate professors recruited</a></li><li><a href="./uid20.html">Papers at PODS,
LICS, 3 x ICALP, STACS, 2 x IJCAI</a></li><li><a href="./uid21.html">ICALP best paper award</a></li></ul></div>
      <div class="TdmEntry">New Software and Platforms<ul><li><a href="uid23.html&#10;&#9;&#9;  ">ShEx validator</a></li><li><a href="uid26.html&#10;&#9;&#9;  ">gMark</a></li><li><a href="uid29.html&#10;&#9;&#9;  ">SmartHal</a></li><li><a href="uid32.html&#10;&#9;&#9;  ">QuiXPath</a></li><li><a href="uid35.html&#10;&#9;&#9;  ">X-FUN</a></li></ul></div>
      <div class="TdmEntry">New Results<ul><li><a href="uid39.html&#10;&#9;&#9;  ">Querying Heterogeneous Linked Data</a></li><li><a href="uid45.html&#10;&#9;&#9;  ">Managing Dynamic Linked Data</a></li></ul></div>
      <div class="TdmEntry">Partnerships and Cooperations<ul><li><a href="uid49.html&#10;&#9;&#9;  ">National Initiatives</a></li><li><a href="uid75.html&#10;&#9;&#9;  ">European Initiatives</a></li><li><a href="uid76.html&#10;&#9;&#9;  ">International Initiatives</a></li></ul></div>
      <div class="TdmEntry">Dissemination<ul><li><a href="uid79.html&#10;&#9;&#9;  ">Promoting Scientific Activities</a></li><li><a href="uid105.html&#10;&#9;&#9;  ">Teaching - Supervision - Juries</a></li><li><a href="uid134.html&#10;&#9;&#9;  ">Popularization</a></li></ul></div>
      <div class="TdmEntry">
        <div>Bibliography</div>
      </div>
      <div class="TdmEntry">
        <ul>
          <li>
            <a id="tdmbibentmajor" href="bibliography.html">Major publications</a>
          </li>
          <li>
            <a id="tdmbibentyear" href="bibliography.html#year">Publications of the year</a>
          </li>
        </ul>
      </div>
    </div>
    <div id="main">
      <div class="mainentete">
        <div id="head_agauche">
          <small><a href="http://www.inria.fr">
	    
	    Inria
	  </a> | <a href="../index.html">
	    
	    Raweb 
	    2017</a> | <a href="http://www.inria.fr/en/teams/links">Presentation of the Project-Team LINKS</a> | <a href="http://team.inria.fr/links/">LINKS Web Site
	  </a></small>
        </div>
        <div id="head_adroite">
          <table class="qrcode">
            <tr>
              <td>
                <a href="links.xml">
                  <img style="align:bottom; border:none" alt="XML" src="../static/img/icons/xml_motif.png"/>
                </a>
              </td>
              <td>
                <a href="links.pdf">
                  <img style="align:bottom; border:none" alt="PDF" src="IMG/qrcode-links-pdf.png"/>
                </a>
              </td>
              <td>
                <a href="../links/links.epub">
                  <img style="align:bottom; border:none" alt="e-pub" src="IMG/qrcode-links-epub.png"/>
                </a>
              </td>
            </tr>
            <tr>
              <td/>
              <td>PDF
</td>
              <td>e-Pub
</td>
            </tr>
          </table>
        </div>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid9.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid11.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
      <div id="textepage">
        <!--DEBUT2 du corps du module-->
        <h2>Section: 
      Research Program</h2>
        <h3 class="titre3">Querying Heterogeneous
Linked Data</h3>
        <p>Our main objective is to query collections of linked datasets. In the static setting, we consider
two kinds of links: explicit links between elements of the datasets, such as equalities
or pointers, and logical links between relations of different datasets such as schema mappings.
In the dynamic setting, we permit a third kind of links that point to
“intentional” relations computable from a description, such
as the application of a Web service or the application of
a schema mapping.</p>
        <p>We believe that collections of linked datasets are usually too big to ensure a global
knowledge of all datasets. Therefore, schema mappings and constraints should
remain between pairs of datasets. Our main goal is to be able to pose a query on a collection of
datasets, while accounting for the possible recursive effects of schema mappings.
For illustration, consider a ring of datasets <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>1</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>2</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>3</mn></msub></math></span>
linked by schema mappings <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>M</mi><mn>1</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>M</mi><mn>2</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>M</mi><mn>3</mn></msub></math></span> that tell us how to
complete a database <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mi>i</mi></msub></math></span> by new elements from the next database in the cycle.</p>
        <p>The mappings <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>M</mi><mi>i</mi></msub></math></span> induce three intentional datasets <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mn>1</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mn>2</mn></msub></math></span>, and <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mn>3</mn></msub></math></span>, such
that <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mi>i</mi></msub></math></span> contains all elements from <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mi>i</mi></msub></math></span> and all elements
implied by <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>M</mi><mi>i</mi></msub></math></span> from the next intentional dataset in the ring:</p>
        <div align="center" class="mathdisplay">
          <math xmlns="http://www.w3.org/1998/Math/MathML">
            <mrow>
              <msub>
                <mi>I</mi>
                <mn>1</mn>
              </msub>
              <mo>=</mo>
              <msub>
                <mi>D</mi>
                <mn>1</mn>
              </msub>
              <mo>∪</mo>
              <msub>
                <mi>M</mi>
                <mn>1</mn>
              </msub>
              <mrow>
                <mo>(</mo>
                <msub>
                  <mi>I</mi>
                  <mn>2</mn>
                </msub>
                <mo>)</mo>
              </mrow>
              <mo>,</mo>
              <mspace width="1.em"/>
              <msub>
                <mi>I</mi>
                <mn>2</mn>
              </msub>
              <mo>=</mo>
              <msub>
                <mi>D</mi>
                <mn>2</mn>
              </msub>
              <mo>∪</mo>
              <msub>
                <mi>M</mi>
                <mn>2</mn>
              </msub>
              <mrow>
                <mo>(</mo>
                <msub>
                  <mi>I</mi>
                  <mn>3</mn>
                </msub>
                <mo>)</mo>
              </mrow>
              <mo>,</mo>
              <mspace width="1.em"/>
              <msub>
                <mi>I</mi>
                <mn>3</mn>
              </msub>
              <mo>=</mo>
              <msub>
                <mi>D</mi>
                <mn>3</mn>
              </msub>
              <mo>∪</mo>
              <msub>
                <mi>M</mi>
                <mn>3</mn>
              </msub>
              <mrow>
                <mo>(</mo>
                <msub>
                  <mi>I</mi>
                  <mn>1</mn>
                </msub>
                <mo>)</mo>
              </mrow>
            </mrow>
          </math>
        </div>
        <p class="notaparagraph">Clearly, the global information collected by the intentional
datasets depends recursively on all three original datasets <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mi>i</mi></msub></math></span>.
Queries to the global information can now be specified as
standard queries to the intentional databases <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mi>i</mi></msub></math></span>. However,
we will never materialize the intentional databases <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mi>i</mi></msub></math></span>.
Instead, we can rewrite queries on one of the intentional datasets <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mi>i</mi></msub></math></span>
to recursive queries on the union of the original
datasets <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>1</mn></msub></math></span>, <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>2</mn></msub></math></span>, and <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mn>3</mn></msub></math></span> with their links and relations. Therefore, a query answering algorithm is needed
for recursive queries, that chases the “links” between the <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>D</mi><mi>i</mi></msub></math></span> in order to
compute the part of <span class="math"><math xmlns="http://www.w3.org/1998/Math/MathML"><msub><mi>I</mi><mi>i</mi></msub></math></span> needed for the purpose of query answering.</p>
        <p>This illustrates that we must account for the graph data models when dealing with linked data collections whose elements are
linked, and that query languages for such graphs must provide
recursion in order to chase links. Therefore, we will
have to study graph databases with recursive queries,
such as <span class="smallcap">rdf </span> graphs with <span class="smallcap">sparql </span> queries, but also
other classes of graph databases and queries.</p>
        <p>We study schemas and mappings between datasets with different
kinds of data models
and the complexity of evaluating recursive queries over graphs.
In order to use schema mapping for efficiently querying the different
datasets,
we need to optimize the queries by taking into account the mappings.
Therefore, we will study
static analysis of schema mappings and
recursive queries.
Finally, we develop concrete applications in which our
fundamental techniques can be applied.</p>
      </div>
      <!--FIN du corps du module-->
      <br/>
      <div class="bottomNavigation">
        <div class="tail_aucentre">
          <a href="./uid9.html" accesskey="P"><img style="align:bottom; border:none" alt="previous" src="../static/img/icons/previous_motif.jpg"/> Previous | </a>
          <a href="./uid0.html" accesskey="U"><img style="align:bottom; border:none" alt="up" src="../static/img/icons/up_motif.jpg"/>  Home</a>
          <a href="./uid11.html" accesskey="N"> | Next <img style="align:bottom; border:none" alt="next" src="../static/img/icons/next_motif.jpg"/></a>
        </div>
        <br/>
      </div>
    </div>
  </body>
</html>
