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):

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:

A Scalable Content Addressable Network. S. Ratnasamy, P. Francis, M. Handley, R. Karp and S. Shenker. Proceedings of the ACM SIGCOMM 2001 Conference. August, 2001. San Diego, CA.
Chord: A Scalable Peer-to-peer Lookup Service for Internet Applications. I. Stoica and R. Morris and D. Karger and M. F. Kaashoek and H. Balakrishnan. Proceedings of the ACM SIGCOMM 2001 Conference. August, 2001. San Diego, CA.
Making Gnutella-like P2P Systems Scalable. Yatin Chawathe, Sylvia Ratnasamy, Lee Breslau, and Scott Shenker. SIGCOMM 2003. August 2003. Karlsruhe, Germany.
The Free Haven Project: Distributed Anonymous Storage Service. Roger Dingledine, Michael Freedman, and David Molnar. Workshop on Design Issues in Anonymity and Unobservability. July 2000. International Computer Science Institute (ICSI), Berkeley, CA.

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	Lloyd Chapter 1, §1-3
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.