Description de documents XML multistructurés au moyen de nœuds retards Jacques Le Maitre LSIS Université du Sud Toulon-Var

Représentations darbres concurrents Une solution : par des couples dattributs id/idref : Une solution : par des couples dattributs id/idref : Il y a dissymétrie dans la manipulation des arbres. Il y a dissymétrie dans la manipulation des arbres. Proposition : au moyen de nœuds dits nœuds retard dont le contenu nest activé que lorsque le contenu à ce noeud est nécessaire (évaluation paresseuse). Proposition : au moyen de nœuds dits nœuds retard dont le contenu nest activé que lorsque le contenu à ce noeud est nécessaire (évaluation paresseuse). Application à la représentation dun General-Orderd Descendant Directed Acyclic Graphs (GODDAG). Application à la représentation dun General-Orderd Descendant Directed Acyclic Graphs (GODDAG).

ligne phrase Ecrit servant de preuve,dinformation.Objet servant de preuve, detémoignage. Petit Larousse … Document. Ecrit servant de preuve, dinformation. Objet servant de preuve, de témoignage. … Ce que lon veut…

Nœuds retard Le contenu dun nœud retard est la représentation par une requête XQuery dune sous-séquence des enfants de son nœud père. Le contenu dun nœud retard est la représentation par une requête XQuery dune sous-séquence des enfants de son nœud père. Lextension dun nœud retard est la valeur de cette expression, Lextension dun nœud retard est la valeur de cette expression, Lors de lévaluation dune requête XQuery, un nœud retard est étendu lorsque laccès aux enfants de son nœud père est nécessaire. Lors de lévaluation dune requête XQuery, un nœud retard est étendu lorsque laccès aux enfants de son nœud père est nécessaire. Similaires aux nœuds « appel de service » dActive XML. Similaires aux nœuds « appel de service » dActive XML.

Nœud retard : exemple $b := $b := XML XML <livre><titre>XML</title><auteur><nom>Durand</naom><ville>Paris</ville></auteur><année>2000</année></livre> livre titreauteurannée nœud retard $b = extension $p := $p := Durand Durand Paris Paris personne nomville $p =

GODDAGs Introduits par Sperberg et Huitfeld pour représenter les documents SGML ou XML multistructurés. Introduits par Sperberg et Huitfeld pour représenter les documents SGML ou XML multistructurés. Dekhtyar et Iacob ont par la suite élaboré Dekhtyar et Iacob ont par la suite élaboré un compilateur pour traduire un document XML distribué en un GODDAG, un compilateur pour traduire un document XML distribué en un GODDAG, une extension de XPath pour naviguer dans cette structure. une extension de XPath pour naviguer dans cette structure. Un document XML distribué (DXD) peut être vu comme un ensemble de documents XML qui partagent la même racine et le même contenu textuel. Un document XML distribué (DXD) peut être vu comme un ensemble de documents XML qui partagent la même racine et le même contenu textuel.

Document XML distribué (DXD) Petit Larousse Petit Larousse… Document. Ecrit servant de preuve, dinformation. Objet servant de preuve, de témoignage. … DXD DXD Ecrit servant de preuve, dinformation. Ecrit servant de preuve, dinformation. Objet servant de preuve, de témoignage. Objet servant de preuve, de témoignage. </définition> Ecrit servant de preuve, Ecrit servant de preuve, dinformation. Objet servant de preuve, dinformation. Objet servant de preuve, de témoignage. de témoignage. </définition>

Représentation dun DXD par un GODDAG T phrase T Ecrit servant de preuve,dinformation.Objet servant de preuve, detémoignage. T ligne T T définition id="7952"

Rédéfinition des axes Feuilles (L) d p1p1 p2p2 lig 1 lig 2 lig 3 xdescendant(d) = (p 1, p 2, lig 1, lig 2, lig 3 ); xdescendant(p 1 ) = lig 1 ; xdescendant(p 1 ) = lig 2 overlapping(p 1 ) = lig 2 ; overlapping(p 2 ) = lig 2 ; overlapping(lig 2 ) = (p 1, p 2 );

Interrogation en XPath étendu Phrases qui sétendent sur plusieurs lignes ? Phrases qui sétendent sur plusieurs lignes ?/xdescendant::ligne/overlapping::phrase

Représentation dun GODDAG en XML + nœuds retard declare variable $def := {delay {$def/Ls/L[position() = 1 to 2]} {delay {$def/Ls/L[position() = 1 to 2]} {delay {$def/Ls/L[position() = 3 to 4]} {delay {$def/Ls/L[position() = 3 to 4]} {delay {$def/Ls/L[1]} {delay {$def/Ls/L[1]} {delay {$def/Ls/L[position() = 2 to 3]} {delay {$def/Ls/L[position() = 2 to 3]} {delay {$def/Ls/L[4]} {delay {$def/Ls/L[4]} <Ls> Ecrit servant de preuve, Ecrit servant de preuve, <L>dinformation.</L> Objet servant de preuve, de Objet servant de preuve, de <L>témoignage.</L></Ls></définition>

Prédicats de position declare function xdescendant($n1, $n2) { fn:not($n1/descendant::L except $n2/descendant::L) fn:not($n1/descendant::L except $n2/descendant::L) }; }; declare function overlapping($n1, $n2) { $n1/descendant::L intersect $n2/descendant::L $n1/descendant::L intersect $n2/descendant::L and and $n1/descendant::L except $n2/descendant::L $n1/descendant::L except $n2/descendant::L and and $n2/descendant::L except $n1/descendant::L $n2/descendant::L except $n1/descendant::L }; };

Interrogation Phrases ? Phrases ?$def//phrase Lignes ? Lignes ?$def//ligne Phrases qui sétendent sur plusieurs lignes ? Phrases qui sétendent sur plusieurs lignes ? for $p in $def//phrase for $l in $def//ligne where overlapping($p, $l) return $p = Ecrit servant de preuve, Ecrit servant de preuve, dinformation., dinformation., témoignage. témoignage.

Perspectives Déjà étendu au cas de documents multistructurés dont les arbres constituants partagent des sous-arbres. Déjà étendu au cas de documents multistructurés dont les arbres constituants partagent des sous-arbres.