UNIVERSITE DE M SILA BDDA 2014/2015. XQuery

Transcription

1 XQuery 1- Historique 1998 : W3C organise un workshop sur XML Query 1999 : W3C lance le XML Query Working Group (39 membres, 25 companies) 2000 : publication des objectifs, des cas d utilisation et du modèle de données : draft de la spécification du langage 2002 : mises à jour périodiques de cette draft 2003 : rédaction complète des objectifs et des cases d utilisation -W3C Candidate Recommendation 03 November W3C Proposed Recommendation 21 November W3C Recommendation 23 January Définition XQuery = langage fonctionnel typé Requête = composition d expressions (fonctions) Chaque expression retourne une valeur (typée) ou une erreur Expressions sans effets de bord (sans modification des données). 3- Modèle de données : On a besoin d un modèle de données pour définir le sens (la sémantique) des expressions XQuery, qui fournit une représentation abstraite de document XML -Valeur Atomique : une valeur de type atomique (booléen, entier, flottant,.. : les types atomiques de XML-schema). - un nœud : 7 types (1. Document Node 2. Element Node 3. Attribute Node 4. Text Node 5. Comment Node 6. ProcessingInstruction node 7. Namespace Node ) -Item : un nœud ou une valeur atomique. Séquence : Collection ordonnée d items, éventuellemnt vide. Une valeur d une expression (requête) XQUERY est une séquence ordonnée de zéro ou plusieurs items. Il n y a pas de distinction entre un item et une séquence de longueur 1 Il n y a pas de séquence imbriquée : (1, (2,3),(4)) pareil que 1,2,3,4 Une séquence peut être vide (notée () ) Une séquence peut contenir des données hétérogènes. -Résultat d une requête XQuery = valeur = séquence d'items 4- Expressions Xquery : Une requête XQuery est une composition d expressions. Chaque expression a une valeur ou retourne une erreur. Les expressions n ont pas d effets de bord (par exemple, pas de mise-à-jour). En XQUERY des expressions de chemins (XPATH) sont utilisées pour localiser des nœuds : La fonction d entrée doc() renvoie un document (le document node). Exemple : doc( books.xml ) Elle sert à indiquer le document XML interrogé. doc( books.xml )/bib/book: renvoie la séquence des nœuds qui sont des livres (dans l ordre du document). Elle est équivalente à : doc( books.xml )//book 5-1 Expressions XQuery simples :

2 Valeurs atomiques -Littéraux chaînes de caractères Ils s écrivent entre guillemets simples ou entre guillemets doubles : "Vallon des Muandes" 'Vallon des Muandes' La valeur d une littérale chaîne de caractères est de type xs:string. - Littéraux numériques Ils s écrivent classiquement : e E-19 - La valeur d un littéral numérique sans. et sans e ou E est de type xs:integer. - La valeur d un littéral numérique avec. et sans e ou E est de type xs:decimal. - La valeur d un littéral numérique avec. et avec e ou E est de type xs:double. - Il n y a pas de littéraux booléens. Les valeurs vrai et faux sont obtenues par l appel des fonctions prédéfinies fn:true() et fn:false() qui retournent des valeurs de type xs:boolean. Référence à une variable $v v est un nom de variable : un nom qualifié. $v : valeur de la variable v dans le contexte courant Valeurs construites Les valeurs de type atomique peuvent être construites en utilisant les fonctions prédéfinies de construction. A chaque type atomique t de XML Schema, il correspond une fonction de construction t qui appliquée à la chaîne de caractères représentant une valeur atomique retourne cette valeur atomique. Par exemple : xs:integer("12") : valeur atomique 12 de type xs:integer xs:date(" ") : valeur atomique de type xs:date représentant le 14 juillet Expressions Complexes -Expressions de chemins (XPath 2.0) : FILM//ACTEUR -Expressions FLOWR (for-let-where-return) -Tests (if-then-return-else-return) -Fonctions Opérations Opérateurs arithmétiques: 1+2, , $y mod 2 Opérations sur les séquences : concaténation : union, intersection, différence de séquences de noeuds - Opérateurs de comparaison pour valeurs atomiques, nœuds et séquences -Opérations booléennes: $x=2 and $y=4 or not($z) Document exemple : En se basant sur le document exemple bib.xml suivant : <bib> <book title="comprendre XSLT"> <author><la>amann</la><fi>b.</fi></author> <publisher>o Reilly</publisher> <price>28.95</price>

3 </book> <book year="2001" title="spatial Databases"> <author><la>scholl</la><fi>m.</fi></author> <author><la>voisard</la><fi>a.</fi></author> <publisher>morgan Kaufmann Publishers</publisher> <price>35.00</price> </book> <book year="2000" title="data on the Web"> <author><la>abiteboul</la><fi>s.</fi></author> <author><la>buneman</la><fi>p.</fi></author> <author><la>suciu</la><fi>d.</fi></author> <publisher>morgan Kaufmann Publishers</publisher> <price>39.95</price> </book> </bib> Expressions de chemins document("bib.xml")//author <author><la>amann</la><fi>b.</fi></author>,,, <author><la>scholl</la><fi>m.</fi></author>, <author><la>voisard</la><fi>a.</fi></author>, <author><la>abiteboul</la><fi>s.</fi></author>, <author><la>buneman</la><fi>p.</fi></author>, <author><la>suciu</la><fi>d.</fi></author> a) Construction de noeuds XML - Le nom est connu, le contenu est calculé par une expression expr <auteurs> { document("bib.xml")//book[2]/author/la } </auteurs> <?xml version="1.0"?> <auteurs> <la>rigaux</la> <la>scholl</la> <la>voisard</la> </auteurs> - Le nom et le contenu sont calculés: element { expr-nom } { expr-contenu } attribute { expr-nom } { expr-contenu } element { document("bib.xml")//book[1]/name(@*[1]) } { attribute { document("bib.xml")//book[1]/name(*[3]) } { document("bib.xml")//book[1]/*[3] } }

4 <title publisher="o Reilly"/> a) Différence de séquences de nœuds Tous les sous-elements sauf les auteurs: { document("bib.xml")//book[1]/(* except author) } Tous les sous-elements sauf les auteurs: <publisher>o Reilly</publisher> <price>28.95</price> b) Concaténation de séquences Le prix suivi des auteurs: { document("bib.xml")//book[1]/(price,author) } Le prix suivi des auteurs: <price>28.95</price> <author><la>amann</la><fi>b.</fi></author> c) Transformation nœud-valeur "Les auteurs du premier livre sont", document("bib.xml")//book[1]/author/xf:string(la) Les auteurs du premier livre sont, Amann, Rigaux (xf:string est une fonction prédéfinie). d) Comparaison de valeurs atomiques document("bib.xml")//book/author[la eq "Scholl"] <author><la>scholl</la><fi>m.</fi></author> document("bib.xml")//book[author/la eq "Scholl"] ERROR L expression author/la dans le prédicat ne retourne pas une valeur atomique mais une séquence de valeurs. e) Comparaison de séquences Comparaison de séquences : S1= S2 S il existe au moins un élément dans S1 qui est égal à un élément dans S2 count(document("bib.xml")//book[author/la = ("Scholl", "Rigaux")]) 2 f) Comparaisons de nœuds Comparaison de l identité de deux nœuds :n1 is n2 n1 est identique à n2

5 document("bib.xml")//book[author[2] is author[last()]] <book title="comprendre XSLT"> <author><la>amann</la><fi>b.</fi></author> <publisher>o Reilly</publisher> <price>28.95</price> </book> g) Comparaisons par la position Comparaison de la position de deux nœuds : n1<<n2 n1 apparaît avant (après) n2 dans le document. { document("bib.xml")//book[author[la="abiteboul"] << author[la="suciu"]]/@title } <livre title="data on the Web"/> Expression FLWOR: a) Affectation de variables: for et let La clause for $var in exp affecte la variable $var successivement avec chaque item dans la séquence retournée par exp. La clause let $var := exp affecte la variable $var avec la séquence entière retournée par exp. for $b in document("bib.xml")//book[1] let $al := $b/author return <livre nb_auteurs="{count($al)}"> { $al } <livre nb_auteurs="2"> <author><la>amann</la><fi>b.</fi></author> b) Sélection: where La clause where exp permet de filtrer le résultat par rapport au résultat booléen de l expression exp (= prédicat dans l expression de chemin). { for $a in document("bib.xml")//book where $a/author[1]/la eq "Abiteboul" return $a/@title } <?xml version="1.0"?> <livre title="data on the Web"/> Tests: if-then-else <livres>

6 { for $b in document("bib.xml")//book where $b/author/la = "Rigaux" return if ($b/@year > 2000) then <livre recent="true"> {$b/@title} else {$b/@title} } </livres> <?xml version="1.0"?> <livres> <livre title="comprendre XSLT"/> <livre recent="true" title="spatial Databases"/> </livres> a) Quantification some $var in expr1 satisfies expr2 il existe au moins un nœud retourné par l expression expr1 qui satisfait l expression expr2. every $var in expr satisfies expr tous les nœuds retournés par l expression expr1 satisfont l expression expr2 for $a in document("bib.xml")//author where every $b in document("bib.xml")//book[author/la = $a/la] satisfies $b/publisher="morgan Kaufmann Publishers" return string($a/la) Scholl, Voisard, Abiteboul, Buneman, Suciu b) Trier avec sort by Expr1 sort by Expr2 (ascending descending)? Trier les éléments de la séquence retournée par l expression Expr1 par les valeurs retournées par Expr2. <livres>{ for $b in document("bib.xml")//book return { $b/@title, $b/@year } sort by(@year) } </livres> <livres> <livre title="data on the Web" year="2000"/> <livre title="spatial Databases" year="2001"/> <livre title="comprendre XSLT"/> </livres> c) Jointure Fichier d adresses: <addresses> <person> <name>amann</name> <country>france</country> <institution>cnam</institution> </person> <person> <name>scholl</name> <country>france</country>

7 <institution>cnam</institution> </person> <person> <name>voisard</name> <country>germany</country> <institution>fu Berlin</institution> </person> </addresses> for $b in document("bib.xml")//book return element livre { attribute titre {$b/@title}, for $a in $b/author return element auteur { attribute nom {$a/la}, for $p in document("addr.xml")//person where $a/la = $p/name return attribute institut {$p/institution} } } <livre titre="comprendre XSLT"> <auteur nom="amann" institut="cnam"/> <auteur nom="rigaux"/>, <livre titre="spatial Databases"> <auteur nom="rigaux"/> <auteur nom="scholl" institut="cnam"/> <auteur nom="voisard" institut="fu Berlin"/>, <livre titre="data on the Web"> <auteur nom="abiteboul"/> <auteur nom="buneman"/> <auteur nom="suciu"/> Fonctions et opérateurs Les nombreux fonctions et opérateurs permettent : 3 l accès au type et le nom d un noeud, 4 la construction, la comparaison et la transformation de valeurs, 5 l agrégation des valeurs d une séquence. -Les fonctions et opérateurs sont typées (XML schema) et manipulent des séquences et des valeurs typées (XML schema) : entiers, chaînes de caractères, dates,... Exemple : Fonction avg for $p in distinct-values(document("bib.xml")//publisher) let $l := document("bib.xml")//book[publisher = $p] return element publisher { attribute name {string($p)}, attribute avg_price { xf:avg($l/price) }} Résultat : <publisher name="o Reilly" avg_price="28.95"/>, <publisher name="morgan Kaufmann Publishers" avg_price="37.48"/> Exemple: index-of

8 <books> { let $bl := document("bib.xml")//book for $b in $bl return <book> { $b/@title, attribute no {index-of($bl, $b)}} </book> } </books> <?xml version="1.0"?> <books> <book title="comprendre XSLT" no="1"/> <book title="spatial Databases" no="2"/> <book title="data on the Web" no="3"/> </books> Définition de Fonctions XQuery permet à l utilisateur de définir ses propres fonctions. define function NombreAuteurs(book $b) returns xsd:integer { return count($b/author) } Le résultat est de type xsd:int.