Nachtrag (fortgesetzt)

Transkript

1 p. 1/1 Nachtag (fotgesetzt) Waum in aumtupeln? Sei D = (E,, P, R, ) wobei E = {, a, b}, =, P () = (a b), P (a) = P (b) = ɛ. paths(d) = {,.a,.b}, t mit t(.a), t(.b) ist ein aumtupel. Sei T ein XML-aum mit T = D. T kann jedoch nicht das aumtupel t enthalten; entwede t(.a) =, ode t(.b) =.

2 p. 2/1 XML Nomalfom, Teil 2 CNF und XNF Sei ein Relationsschema G( 1,..., n ) und eine Menge funktionale bhängigkeiten F D übe G gegeben. Schema (G, F D) wid eine XML-Repäsentation (D G, Σ F D ) zugeodnet wie folgt. Fü D G = (E,, P, R, db) gilt: E = {db, G}, = {@ n }, P (db) = G und P (G) = ɛ, R(db) = und R(G) = {@ n }. Fü Σ F D gilt: Wenn l1... lm l F D, dann {db.g.@ l1,..., db.g.@ lm } db.g.@ l Σ F D. {db.g.@ 1,..., db.g.@ n } db.g Σ F D. Waum auch diese? (G, F D) ist in CNF, gdw (D G, Σ F D ) ist in XNF.

3 p. 3/1 lgoithmus zu Nomalisieung nnahmen: Die DTDs sind nicht ekusiv. FDs sind de Fom {q, p 1.@l 1,..., p n.@l n } p, S ist nicht Teil eines Pfades. Wenn X p.@l die XNF veletzt, dann: wenn p.@l, dann auch jede Pfad in X. Eine nicht-tiviale FD heißt anomalous, wenn sie die XNF veletzt. De auf Dekomposition basieende Nomalisieungsalgoithmus entfent nacheinande anomalous FDs. E basiet auf den folgenden Schitten: Veschieben eines ttibutes (vegl. eispiel 2), Ezeugen eines neuen Element-Typs (vegl. eispiel 1).

4 p. 4/1 Veschieben eines ttibutes FD = q p.@l, q EP aths(d) p q

5 p. 5/1 Ezeugen eines neuen Element-Typs FD = {q, p 1.@l 1,..., p n.@l n } p.@l, q EP aths(d) last(pn) pn last(p1) p1 q last(q) @l @ln

6 p. 6/1 Velustfeiheit de Dekomposition Im elationalen Modell wid die Velustfeiheit mittels lgeba definiet. Diese asis existiet fü XML (noch) nicht. ndee ten de Fomalisieung weden somit notwendig und möglich. Ist D eine velustfeie Zelegung von D? etachte zugehöige XML-äume T, T. D: D : 1

7 p. 7/1 Seien (D, Σ), (D, Σ ) gegeben. (D, Σ ) ist eine velustfeie Zelegung von (D, Σ), (D, Σ) lossless (D, Σ ), wenn eine bbildung f von D nach D existiet, so dass zu jedem T = (D, Σ) ein T = (D, Σ ) existiet, so dass T f T. Sei f : paths(d ) paths(d) sujektiv, wobei weite gilt: p EP aths(d ) gdw. f(p) EP aths(d). Seien t T (D) und t T (D ). Wi scheiben t f t, wenn fü alle p paths(d ) \ EP aths(d ) gilt, t.p = t.f(p). Seien X T (D) und X T (D ) nicht-leee Mengen. Wi scheiben X f X, wenn zu jedem t X ein t X existiet, so dass t f t, und umgekeht. Seien T, T XML-äume mit T = D und T = D. Wi scheiben T f T, wenn tuples D (T ) f tuples D (T ). lossless ist tansitiv.

8 p. 8/1 Genzen de Fomalisieung Ist D eine velustfeie Zelegung von D? etachte zugehöige XML-äume T, T. D: D : 1 Ist dies ein Fehle?

9 p. 9/1 Sei (D, Σ ) Resultat de Nomalisieung von (D, Σ) mittels Dekomposition. Es gilt (D, Σ) lossless (D, Σ ). ttibut Veschiebung: FD = q p.@l. f(q.@m) = p.@l, f(p ) = p sonst. Element-Typ Definition: FD = {q, p 1.@l 1,..., p n.@l n } p.@l. f(q.τ) = p, f(q.τ.@l) = p.@l, f(q.τ.τ i ) = p i, f(q.τ.τ i.@l i ) = p i.@l i, f(p ) = p sonst.

10 p. 10/1 FD = q p.@l, q EP aths(d) p q f(q.@m) = p.@l, f(p ) = p sonst.

11 p. 11/1 FD = {q, p 1.@l 1,..., p n.@l n } p.@l, q EP aths(d) last(pn) pn last(p1) p1 q last(q) @l @ln f(q.τ) = p, f(q.τ.@l) = p.@l, f(q.τ.τ i ) = p i, f(q.τ.τ i.@l i ) = p i.@l i, f(p ) = p sonst.

12 p. 12/1 Kann die ttibut-veschiebung und Elementtyp-Ezeugung mittels XQuey analog zu Pojektion in de Relationenalgeba implementiet weden? uch die invese Richtung vegleichba zum natülichen Vebund?... im Pinzip schon. zu eispiel 2 ( Pojektion ): let $oot := document("dbpl.xml")/db etun <db> { fo $cno in $oot/conf etun <conf> <title> { $cno/title/text() } </title> { fo $is in $co/issue let $value := $is/inpoceedings[position()=1]/@yea etun <issue yea="{ $value }"> { fo $in in $is/inpoceedings etun <inpoceedings key="{ $in/@key }" pages="{ $in/@pages }"> { fo $au in $in/autho etun <autho> { $au/text() } </autho> <title> { $in/title/text() } </title> } </inpoceedings> } </conf> } </db>

13 p. 13/1 zu eispiel 2 ( Vebund ): let $oot := document("dbpl.xml")/db etun <db> { fo $cno in $oot/conf etun <conf> <title> { $cno/title/text() } </title> { fo $is in $co/issue let $value etun <issue> { fo $in in $is/inpoceedings etun <inpoceedings key="{ $in/@key }" pages="{ $in/@pages }" yea="{ $value }"> { fo $au in $in/autho etun <autho> { $au/text() } </autho> <title> { $in/title/text() } </title> } </inpoceedings> } </conf> } </db>

14 p. 14/1 Liteatu M. enas, L. Libkin. Nomal Fom fo XML Documents. CM ToDS, Vol. 29, No.1, 2004