Vorlesung Datenbanken II

4.1.13    Datenbanken II                                                                                      Staab              

              V4 c CV c In ab IM(M)                                                                                  
                                                                                                    Mi 10                                       
                                                                                                    MK 208
                                                                                                    Do 16
                                                                                                    MB 013                                  

4.1.14    Übungen zu Datenbanken II                                           Do 18                   Ringelstein               
              Ü1 c CV c In ab IM(M)                                                MB 013                                  



Die Vorlesung 'Datenbanken II' richtet sich vorwiegend an Studierende der Informatik und der Computervisualistik - Hörer anderer Studiengänge und Fachrichtungen sind ebenfalls willkommen. Voraussetzung ist die Vorlesung Datenbanken I oder äquivalente Kenntnisse.

Aktuelles

Die Vorlesung beginnt am 27.4.2005
Das Semester geht vom 26.4. - 31.7.2005.
Die Klausur ist voraussichtlich am 28.7.2005
Jetzt für die Klausur anmelden am MeToo!

Vorlesungstermine
Übungstermine

Bücher

J. W. Lloyd. Foundations of Logic Programming. Springer, 1993. (Kap 1-5)
Serge Abiteboul, Peter Buneman, Dan Suciu: Data on the Web. From Relations to Semistructured Data and XML. Morgan Kaufmann, 2000.
Wassilios Kazakos, Andreas Schmidt, Peter Tomczyk. Datenbanken und XML. Springer, 2002.

Über Magic Sets (Papers werden im BSCW bereitgestellt):
  1. Bancilhon, F., Maier, D., Sagiv Y. and Ullman, J. (1986) Magic sets and other strange ways to implement logic programs. In Proc. 5th ACM SIGACT/SIGMOD Symp. on Principles of Database Systems, Cambridge, pp. 1--15. ACM Press, New York.
  2. Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. Journal of Logic Programming, Volume 10, Numbers 1/2/3&4, January 1991, 255-299. bzw. Kurzversion: Catriel Beeri, Raghu Ramakrishnan: On the Power of Magic. PODS 1987: 269-283.
Über Well-founded semantics:
  1. Allen Van Gelder, Kenneth A. Ross, John S. Schlipf: The Well-Founded Semantics for General Logic Programs. J. ACM 38(3): 620-650 (1991).
Über F-Logic:
  1. Jürgen Angele, Georg Lausen: Ontologies in F-logic. Handbook on Ontologies. Springer 2004: 29-50.
Über Use Cases
Über P2P:

Nützliche Resourcen

Ontobroker
Sesame
XSB
Triple

Termine der Vorlesung


Termin
Thema
Folien
Hintergrundmaterial
1
27.4. Deduktive Datenbanken: Grundlagen
1-intro.pdf 1-intro4.pdf
Lloyd Chapter 1, §1-3
2
28.4
Deduktive Datenbanken: Grundlagen
2-intro.pdf 2-intro4.pdf
3
4.5.
Deduktive Datenbanken: Grundlagen 
3-intro.pdf 3-intro4.pdf
Lloyd Chapter 1, §4
Lloyd Chapter 2, §6

5.5.
entfällt (Christi Himmelfahrt)



11.5. -> Übung!!!


12.5. -> Übung!!! (im Wechsel mit 2.6., 18.00)



17.-20.5. vorlesungsfrei (Pfingstwoche)


4
25.5. Deduktive Datenbanken:  Definite Programme 4-def-prog-correctness.pdf, 4-def-prog-correctness4.pdf
5-def-prog-completeness.pdf,
5-def-prog-completeness4.pdf
Lloyd Chapter 2, §7-8

26.5. entfällt (Fronleichnam)


5
1.6. Deduktive Datenbanken: Normal Programs
6-computation-rule.pdf
6-computation-rule4.pdf
7-refutation-procedures.pdf
7-refutation-procedures4.pdf
8-negative-information.pdf
8-negative-information4.pdf
Lloyd Chapter 2, §9-10
Lloyd Chapter 3, §12-14
6
2.6.

9-finite-failure.pdf
9-finite-failure4.pdf
10-completion.pdf.
10-completion4.pdf
Lloyd Chapter 3, §13-14


8.6.
-> Übung!!! (im Wechsel mit 16.6.)


7
9.6.

11-sldnf-resolution.pdf
11-sldnf-resolution4.pdf

Lloyd Chapter 3, §15-16


8
9.6., 18.00 Ersatz statt Übung (12.5.)

12-sldnf-completeness.pdf
12-sldnf-completeness4.pdf

13-programs.pdf
13-programs4.pdf

14-deductive-database.pdf
14-deductive-database4.pdf



Lloyd Chapter 4,§17-18

Lloyd Chapter 5, §21
9
15.6.
Deduktive Datenbanken: Well-founded Semantics

15-well-founded-semantics.pdf
15-well-founded-semantics4.pdf
Papers 3

10
16.6. Deduktive Datenbanken:  Magic Sets

16-flogic.pdf
16-flogic4.pdf

11
16.6., 18.00 Ersatz statt Übung (8.6.)
F-Logic; Ontologien (17-magic-sets.pdf, 17-magic-sets4.pdf) Papers 1,2,4
12
22.6
Semi-strukturierte Daten, XML, OEM 18-xml-data-model.pdf
18-xml-data-model-4.pdf
Abiteboul et al. Part 1
13
23.6
Semi-strukturierte Daten-Anfragesprachen, XQuery  19-xml-data-model-II.pdf
19-xml-data-model-II-4.pdf

14
29.6.

20-anfragesprachen.pdf
20-anfragesprachen4.pdf
Abiteboul et al. Part 2
15
30.6.

21-xquery+xsl.pdf
21-xquery+xsl4.pdf



6.7.
-> Übung!!!

16
7.7.

22-interpretations.pdf
22-interpretations4.pdf

17
13.7.
Types
23-typing.pdf
23-typing4.pdf
Abiteboul et al. Part 3
18
14.7.

24-typing.pdf
24-typing4.pdf
- nur  bis Folie 11

19
20.7.

25-anfrageverarbeitung.pdf
25-anfrageverarbeitung4.pdf
Abiteboul et al. Part 4
20
21.7.
Gnutella, Can
26-anfrageverarbeitung.pdf
26-anfrageverarbeitung4.pdf
27-gnutella-and-can.pdf
27-gnutella-and-can4.pdf

21
27.7.
Chord, FreeHaven
28-chord.pdf
28-chord4.pdf
29-freehaven.pdf
29-freehaven4.pdf


28.7.
Klausur




Termine der Übung


Termin
Thema
Übungsblätter
0
28.4., 18.00 s.t.


1
11.5., 10.00 c.t.


2
12.5., 16.00 c.t.


3
2.6., 18.00 s.t.


4
8.6., 10.00 c.t.


5
23.6., 18.00 s.t.


6
30.6., 18.00 s.t.


7
6.7., 10.00 c.t.


8
7.7., 18.00 s.t.


9
14.7., 18.00 s.t. - muß kurzfristig entfallen


10
21.7.,, 18.00 s.t.