Source: https://userpages.uni-koblenz.de/~staab/lehre/ss05/db2/index.html
Timestamp: 2019-11-19 23:54:47+00:00

Document:
Vorlesung "Datenbanken 2 - SS2005"
Vorlesung Datenbanken II
4.1.13 Datenbanken II Staab
V4 c CV c In ab IM(M)
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.
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!
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):
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.
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:
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:
Jürgen Angele, Georg Lausen: Ontologies in F-logic. Handbook on Ontologies. Springer 2004: 29-50.
Über Use Cases
Alexander Maedche, Steffen Staab, Rudi Studer, York Sure, Raphael Volz: SEAL - Tying Up Information Integration and Web Site Management by Ontologies. IEEE Data Eng. Bull. 25(1): 10-17 (2002).
Über P2P:
27.4. Deduktive Datenbanken: Grundlagen
1-intro.pdf 1-intro4.pdf
Lloyd Chapter 1, §1-3
Deduktive Datenbanken: Grundlagen
2-intro.pdf 2-intro4.pdf
3-intro.pdf 3-intro4.pdf
Lloyd Chapter 1, §4
Lloyd Chapter 2, §6
entfällt (Christi Himmelfahrt)
11.5. -> Übung!!!
12.5. -> Übung!!! (im Wechsel mit 2.6., 18.00)
17.-20.5. vorlesungsfrei (Pfingstwoche)
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)
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
9-finite-failure.pdf
9-finite-failure4.pdf
10-completion.pdf.
10-completion4.pdf
Lloyd Chapter 3, §13-14
-> Übung!!! (im Wechsel mit 16.6.)
11-sldnf-resolution.pdf
11-sldnf-resolution4.pdf
Lloyd Chapter 3, §15-16
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
Deduktive Datenbanken: Well-founded Semantics
15-well-founded-semantics.pdf
15-well-founded-semantics4.pdf Papers 3
16.6. Deduktive Datenbanken: Magic Sets
16-flogic.pdf
16-flogic4.pdf
16.6., 18.00 Ersatz statt Übung (8.6.)
F-Logic; Ontologien (17-magic-sets.pdf, 17-magic-sets4.pdf) Papers 1,2,4
Semi-strukturierte Daten, XML, OEM 18-xml-data-model.pdf
18-xml-data-model-4.pdf
Abiteboul et al. Part 1
Semi-strukturierte Daten-Anfragesprachen, XQuery 19-xml-data-model-II.pdf
19-xml-data-model-II-4.pdf
20-anfragesprachen.pdf
20-anfragesprachen4.pdf
Abiteboul et al. Part 2
21-xquery+xsl.pdf
21-xquery+xsl4.pdf
-> Übung!!!
22-interpretations.pdf
22-interpretations4.pdf
23-typing.pdf
23-typing4.pdf
Abiteboul et al. Part 3
24-typing.pdf
24-typing4.pdf
- nur bis Folie 11
25-anfrageverarbeitung.pdf
25-anfrageverarbeitung4.pdf
Abiteboul et al. Part 4
Gnutella, Can
26-anfrageverarbeitung.pdf
26-anfrageverarbeitung4.pdf
27-gnutella-and-can.pdf
27-gnutella-and-can4.pdf
Chord, FreeHaven
28-chord.pdf
28-chord4.pdf
29-freehaven.pdf
29-freehaven4.pdf
Termine der Übung
28.4., 18.00 s.t.
11.5., 10.00 c.t.
12.5., 16.00 c.t.
2.6., 18.00 s.t.
8.6., 10.00 c.t.
23.6., 18.00 s.t.
30.6., 18.00 s.t.
6.7., 10.00 c.t.
7.7., 18.00 s.t.
14.7., 18.00 s.t. - muß kurzfristig entfallen
21.7.,, 18.00 s.t.

References: §1
 §4
 §6
 §7
 §9
 §12
 §13
 §15
 §21