HAL - INRIA :: [inria-00288445, version 3] Streaming Tree Automata

inria-00288445, version 3

Streaming Tree Automata

Olivier Gauwin ¹, Joachim Niehren () ¹, Yves Roos ¹

Information Processing Letters 109, 1 (2008) 13-17

Résumé : Streaming validation and querying of XML documents are often based on automata for tree-like structures. We propose a new notion of streaming tree automata in order to unify the two main approaches, which have not been linked so far: automata for nested words or equivalently visibly pushdown automata, and respectively pushdown forest automata.

1 : MOSTRARE (INRIA Lille - Nord Europe)
INRIA – CNRS : UMR8022 – Université Lille 1 - Sciences et Technologies : EA3588 – Université Charles de Gaulle - Lille III

inria-00288445, version 3
http://hal.inria.fr/inria-00288445
oai:hal.inria.fr:inria-00288445
Contributeur : Joachim Niehren <>
Soumis le : Lundi 1 Septembre 2008, 13:23:53
Dernière modification le : Vendredi 7 Novembre 2008, 21:15:47

Voir la fiche détaillée

Documents associés

PDF :

Exporter

Bibtex EndNote TEI RefWorks

<?xml version="1.0" encoding="UTF-8"?>
<listBibl xmlns="http://www.tei-c.org/ns/1.0" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:mml="http://www.w3.org/1998/Math/MathML">
<listBibl type="article"><head>Articles dans des revues avec comité de lecture</head>
<biblStruct type="article" xml:id="inria-00288445"><analytic>
<author><persName><forename>Olivier</forename><surname>Gauwin</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lille - Nord Europe</orgName>
<orgName type="team">MOSTRARE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille 1 - Sciences et Technologies : EA3588</orgName>
<orgName type="institution">Université Charles de Gaulle - Lille III</orgName>
</affiliation>
</author>
<author><persName><forename>Joachim</forename><surname>Niehren</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lille - Nord Europe</orgName>
<orgName type="team">MOSTRARE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille 1 - Sciences et Technologies : EA3588</orgName>
<orgName type="institution">Université Charles de Gaulle - Lille III</orgName>
</affiliation>
</author>
<author><persName><forename>Yves</forename><surname>Roos</surname></persName>
<affiliation>
<orgName type="laboratory">INRIA Lille - Nord Europe</orgName>
<orgName type="team">MOSTRARE</orgName>
<country>FR</country>
<orgName type="institution">INRIA</orgName>
<orgName type="institution">CNRS : UMR8022</orgName>
<orgName type="institution">Université Lille 1 - Sciences et Technologies : EA3588</orgName>
<orgName type="institution">Université Charles de Gaulle - Lille III</orgName>
</affiliation>
</author>
<title type="main" level="a">Streaming Tree Automata</title></analytic><monogr><title level="j" type="main">Information Processing Letters</title><imprint><publisher>Elsevier</publisher><biblScope type="publicationDate">2008-00-00</biblScope><biblScope type="vol">109</biblScope><biblScope type="issue">1</biblScope><biblScope type="pp">13-17</biblScope></imprint></monogr><idno type="HALid">http://hal.inria.fr/inria-00288445</idno><idno type="HALFile">http://hal.inria.fr/inria-00288445/PDF/0.pdf</idno></biblStruct>
</listBibl>
</listBibl>