XSLT e recursividade estrutural. Gestão e Tratamento de Informação DEI IST

Transcrição

1 XSLT e recursividade estrutural Gestão e Tratamento de Informação DEI IST

2 Agenda Recursividade estrutural XSLT

3 Agenda Recursividade estrutural XSLT

4 Recursividade estrutural: um paradigma diferente Dados são vistos como conjuntos e um operador de união: {a:3, a:{b: one, c:5}, b:4} = {a:3} U {a:{b: one,c:5}} U {b:4} São processados aplicando uma função recursivamente sobre a estrutura

5 Exemplo 1 Encontrar todos os inteiros nos dados f($t1 U $T2) = f($t1) U f($t2) f({$l: $T}) = f($t) f({}) = {} {} f($v) = if if isint($v) then {result: $V} else {} {} a a b 3 b c 4 one 5 result result result 3 5 4

6 Exemplo 2 O que faz? f($t1 U $T2) = f($t1) U f($t2) f({$l: $T}) = if if $L=a then {b:f($t)} else {$L:f($T)} f({}) = {} {} f($v) = $V

7 Exemplo 3 Aumentar os preços dos motores em 10% f($t1 U $T2) $T2) = f($t1) U f($t2) f({$l: $T}) $T}) = if if $L= $L= engine then then {$L: {$L: g($t)} else else {$L: {$L: f($t)} f({}) f({}) = {} {} f($v) = $V $V g($t1 U $T2) $T2) = g($t1) U g($t2) g({$l: $T}) $T}) = if if $L= $L= price then then {$L:1.1*$T} else else {$L: {$L: g($t)} g({}) g({}) = {} {} g($v) = $V $V engine body engine body part price part price part price part price price price price price

8 Forma genérica de recursividade estrutural f 1 f($t1 1 U $T2) $T2) = f 1 f($t1) 1 U f 1 f($t2) 1 f 1 f({$l: 1 $T}) $T}) = E 1 ($L, 1 ($L, f 1 f($t),...,f 1 k ($T), k $T) $T) f 1 f({}) 1 = {{}} f 1 f($v) 1 = g($v).... f k f($t1 k U $T2) $T2) = f k f($t1) k U f k f($t2) k f k f({$l: k $T}) $T}) = E k ($L, k ($L, f 1 f($t),...,f 1 k ($T), k ($T), $T) $T) f k f({}) k = {{}} f k f($v) k = g($v) Cada E 1,..., E k consiste só {_ : _}, U, if_then_else_

9 Agenda Recursividade estrutural XSLT

10 XSL XSL composto por: Linguagem para transformar documentos XML (XSLT) Vocabulário XML para especificar semântica de formatação: XSL-FO (formatting objects) XSLT transforma um doc XML numa árvore de resultado: Outro doc XML Um doc HTML Um doc que contenha FO XSL-FO em geral: Corresponde a uma ou mais áreas no écran ou página Tem propriedades para descrever o aspecto visual da área Tem como conteúdo ou texto Objecto externo (image, applet, etc.), ou Mais objectos de formatação

11 Programa XSLT XSL program = template-rule... template-rule template-rule = match pattern + template Modelo de computação: Diferente do das outras linguagens de interrogação. XSL começa no elemento raiz e tenta aplicar um padrão a esse nó. Se tiver sucesso, então executa o template correspondente sobre esse nó. Normalmente, o template instrui o XSL para produzir um resultado em XML ou para aplicar os templates recursivamente nos nós filhos. Nesse caso, o processo é repetido. o XSL é como uma função recursiva.

12 Regras XSLT Regras são indicadas pelos elementos xsl:template O padrão é especificado usando uma expressão XPath no valor do atributo match template é o conteúdo do elemento xsl:template <xsl:apply-templates/> é uma instrução que aplica o programa XSLT completo a todos os filhos do elemento que fez match no template

13 Exemplo documento XML <bib> </bib> <book> </book> <paper> </paper> <book> </book> <title> t1 </title> <author> a1 </author> <author> a2 </author> <title> t2 </title> <author> a3 </author> <author> a4 </author> <title> t3 </title> <author> a5 </author> <author> a6 </author> <author> a7 </author>

14 Exemplo de programa XSLT <xsl:template match = * > <xsl:apply-templates/> <xsl:template match = title > <result> <xsl:value-of select =. /> </result> Resultado: <result> t1 </result> <result> t2 </result> <result> t3 </result> <xsl:template match="text()">

15 Como funciona? Começa pela raiz <bib>... </bib> Verifica se algum padrão é satisfeito pelo nó raiz O padrão da primeira regra é satisfeito. XSLT avalia o corpo da regra <xsl:apply-templates/> Implica que o programa completo vai ser aplicado a todos os filhos de <bib> Mais uma vez, só o padrão da primeira regra é satisfeito Implica aplicar o programa completo aos elementos <title> e <author> Finalmente, o padrão da segunda regra é satisfeito pelo elemento <title> O XSLT gera um elemento <result>...</result> em que o seu conteúdo é o valor do nó corrente ou seja a cadeia de caracteres com o título

16 Padrões XSLT: expressões de caminho bib elemento bib * qualquer elemento / root /bib bib debaixo de root bib/paper paper debaixo de bib bib//paper paper bebaixo de bib, a qq profundidade //paper paper a qualquer profundidade paper book um paper ou um atributo price bib/book/@price atributo price em book, em bib db/book[@price] books que têm um atributo price db/book[@price= 10 ] books com price igual a 10

17 Instrução <xsl:element name= X > Cria um novo elemento com nome X Exemplos: <xsl:template match= A > <xsl:element name = B > <xsl:value-of select =. /> <xsl:element/> Equivalente a: <xsl:template match= A > <B><xsl:value-of select =. /></B>

18 Outro exemplo <xsl:template match= * > <xsl:element name = {name()} > <xsl:value-of select =. /> </xsl:element> Copia todos os elementos top-level do ficheiro de entrada. name() retorna o nome do nó corrente, que usamos como o nome do nó de saída.

19 Outro exemplo <xsl:template match = * > <xsl:apply-templates/> <xsl:template match= a > <A><xsl:apply-templates/></A> <xsl:template match= b > <B><xsl:apply-templates/></B> <xsl:template match= c > <C><xsl:value-of select=. /></C>

20 <a> <e> <b> <c> 1 </c> <c> 2 </c> </b> <a> <c> 3 </c> </a> </e> <c> 4 </c> </a>

21 <a> <e> <b> <c> 1 </c> <c> 2 </c> </b> <a> <c> 3 </c> </a> </e> <c> 4 </c> </a> <A> <B> <C> 1 </C> <C> 2 </C> </B> <A> <C> 3 </C> </A> <C> 4 </C> </A>

22 Resolução de conflitos para regras de template Se várias regras de template fazem match, escolher a que tem maior prioridade Prioridades podem ser: Explicitas: <xsl:template match= abc priority= 1.41 > implicitas: regras ad-hoc dadas pelo W3, baseadas no match match= abc prioridade 0. match= [... some namespace name... ] prioridade match= node() prioridade -0.5.

23 XSLT e recursividade estrutural Equivalente a: f(t1 U T2) = f(t1) U f(t2) f({l: T}) = if if L= L= c then {C: t} t} else L= L= b then {B: f(t)} else L= L= a then {A: f(t)} else f(t) f(t) f({}) = {} {} f(v) = V <xsl:template match= c > <xsl:template match= b > <xsl:template match= a > <xsl:template match = * >

24 XSLT vs recursividade estrutural XSLT: Sobre árvores Pode entrar em ciclo infinito Recursividade estrutural: Grafos arbitrários Termina sempre

25 Exemplo: conversão XML em HTML <xsl:template match= / > <HTML> <HEAD> <TITLE> Bibliography entries </TITLE> </HEAD> <BODY> <xsl:apply-templates/> </BODY> </HTML> <xsl:template match= title > <TD> <xsl:value-of select=. /> </TD> <xsl:template match= author > <TD> <xsl:value-of select=. /> </TD> <xsl:template match = book paper > <TR> <xsl:apply-templates select= title /> <xsl:apply-templates select= author /> </TR> <xsl:template match= bib > <TABLE> <TBODY> <xsl:apply-templates/> </TBODY> </TABLE>

26 Resultado: HTML <HTML> <HEAD> <TITLE> Bibliography Entries </TITLE> </HEAD> <BODY> <TABLE> <TBODY> <TR><TD> t1 </TD> <TD> a1 </TD> <TD> a2 </TD> </TR> <TR><TD> t2 </TD> <TD> a3 </TD> <TD> a4 </TD> </TR> <TR><TD> t3 </TD> <TD> a5 </TD> <TD> a6 </TD> <TD> a7 </TD></TR> </TBODY> </TABLE> </BODY> </HTML>

27 Ainda outro programa XSLT simples Copia a entrada: <xsl:template match = / > / > <xsl:apply-templates/> <xsl:template match = {text()} > <xsl:value-of select=. /> <xsl:template match = * > * > <xsl:element name= name() > <xsl:apply-templates/> </xsl:element>

28 Exercício Escreva um programa XSLT que transforme o doc XML: <teaches> <teaches-tuple course="xml" lecturer="peter Wood"/> <teaches-tuple course="algorithms" lecturer="trevor Fenner"/> </teaches> Noutro com o formato: <teaches> <teaches-tuple> <course>xml</course> <lecturer>peter Wood</lecturer> </teaches-tuple> <teaches-tuple> <course>algorithms</course> <lecturer>trevor Fenner</lecturer> </teaches-tuple> </teaches> Assuma que teaches é o elemento raíz e que os atributos course e lecturer são obrigatórios. O programa deve executar-se para qualquer número de ocorrências do elemento teaches-tuple.

29 Referências S. Abiteboul, P. Buneman, D. Suciu, Data on the Web, From Relations to Semistructured Data and XML, Morgan Kaufmann, 2000, (caps 5 e 6) Peter Wood, Slides on Representing and Querying Data on the Web, Dan Suciu, Slides on The semistructured data model, CSE 590ds: Management of XML and Semistructured Data, W3C's XSL home page hands-on-xsl.pdf hands-on XSL: a simple exercise demonstrating the principles of XSLT (previously available from IBM developerworks) nwalsh.com/docs/tutorials/xsl/ an XSL tutorial by Paul Grosso and Norman Walsh an XSLT reference using examples; links to other XML tutorials metalab.unc.edu/xml/books/bible/updates/14.html a chapter from the XML Bible on XSL Transformations (and XPath)