Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Anfragesprachen für XML Gert Smolka - PS-Lab - Universität Saarland Björn Gehl Betreuer: Tim Priesnitz SS2003 Proseminar Logische Aspekte von XML.

Ähnliche Präsentationen


Präsentation zum Thema: "Anfragesprachen für XML Gert Smolka - PS-Lab - Universität Saarland Björn Gehl Betreuer: Tim Priesnitz SS2003 Proseminar Logische Aspekte von XML."—  Präsentation transkript:

1 Anfragesprachen für XML Gert Smolka - PS-Lab - Universität Saarland Björn Gehl Betreuer: Tim Priesnitz SS2003 Proseminar Logische Aspekte von XML

2 biblio book article paper date author title author title date author title Roux 1976 Database Systems XML Systems Smith 1999 Data Production Cassio Motivation select x from biblio.paper.author x Roux

3 Übersicht Anfragen Datalog Optimierung

4 Anfrage 1. Ordnung ε select x from 1.2 y, y.2 x where Database Systems in y.1 Roux 1976 Database Systems Smith 1999 Data Production Cassio Smith

5 Anfrage 2. Ordnung where Database Systems $A $Y in db.xml construct $A biblio book paper date author title author title date author title Roux 1976 Database Systems Smith 1999 Data Production Cassio, $Y > 1990 Roux, Smith

6 Definition von Datalog P 0 P 1 P 2 … P n P i :: = P(x)|x keine Negation Rekursion Teilsprache von Prolog Syntax: Menge Hornklauseln mit Prädikaten T(x,y) G(x,y) T(x,y) G(x,z), T(z,y) x,y (T(x,y) G(x,y)) x,y,z (T(x,y) (G(x,z) T(z,y)))

7 Datalog als Anfragesprache ε biblio book paper date author title author title date author title Roux 1976 Database Systems Smith 1999 Data Production Cassio StartaZiel ε11ε11 biblio book ObjWert Roux 1976 Database System Kantenmenge E: Knotenlabels L: :. :. ans 1 2 author E(ans,author,x) E(ε,biblio,w), E(w,book,y), E(y,author,x), E(y,title,v), L(v,Database Systems)

8 Optimierung für Anfragen Datenbankoptimierung… 1) Baumstrukturen 2) Auffalten 3) Bisimulation

9 113 author Smith Optimierung auf Baumstrukturen ε biblio book author title date Smith Datasystems Database Systems Roux title book author title Datasystems Smith

10 Optimierung auf Graphen a b a a b b a b b b......

11 Bisimulation Seien g 1 und g 2 Graphen; x, x: Knoten in g 1 y, y: Knoten in g 2 1) root(g 1 ) = x, root(g 2 ) = y x~y 2) x~y & x = root(g 1 ) y = root(g 2 ) x~y & y = root(g 2 ) x = root(g 1 ) 3) x~y & (x,l,x) ist Kante in g 1 Kante (y,l,y) in g 2 mit selbem Label, so dass x~y [auch umgekehrt mit x~y & (y,l,y)] 4) x~y & x ist ein Blatt mit dem Wert v in g 1 y ist auch ein Blatt mit gleichem Wert v in g 2 [auch umgekehrt]

12 Beispiel für Bisimulation x 1 ~y 1, x 2 ~y 2, x 3 ~y 3, x 4 ~y 3, x 5 ~y 4 Bisimultation g 1 & g 2 sind gleich x2x2 x5x5 x4x4 x3x3 book author title x1x1 y2y2 y4y4 y3y3 book author title y1y1 Smith Datasystems Smith Datasystems g1:g1:g2:g2:

13 Referenzen [1] Serge Abiteboul, Peter Buneman and Dan Suciu. Data on the Web, Kapitel 2-3, Morgan Kaufmann, [2] Serge Abiteboul, Semistructured Data: from Practice to Theory, LICS 2001.


Herunterladen ppt "Anfragesprachen für XML Gert Smolka - PS-Lab - Universität Saarland Björn Gehl Betreuer: Tim Priesnitz SS2003 Proseminar Logische Aspekte von XML."

Ähnliche Präsentationen


Google-Anzeigen