Datenbank-Theorie

Veranstalter

• Prof. Dr. Georg Lausen, Geb. 051, Raum 01-024

Mitwirkung

• Dr. Fang Wei, Raum (51-01-027)
• Michael Meier, Raum (51-01-028)

Aktuelles

• Die Seminarsitzung am 19.Juni fällt leider aus.
• Die Seminarsitzung am 12.Juni fällt leider aus.

Inhalt des Seminars

Wir behandeln ein breites Spektrum an Themen aus dem Bereich der Datenbank-Theorie. Die Themenkomplexe im Einzelnen:

• Chase Algorithmus,
• Datenaustausch,
• Datenintegration,
• Nichtausdrückbarkeits-Beweise,
• Baumweite.

Ziel des Seminars ist es den Teilnehmern einen Überblick über diese Gebiete zu vermitteln.

Voraussetzungen

• Vorlesung Datenbanken und Informationssysteme I
• Vorlesung Logik für Informatiker
• Für einige Themen sind Kenntnisse in Komplexiätstheorie, wie sie z.B. in der Vorlesung Informatik III erworben werden können, vorteilhaft

Anmeldung

Wir bitten alle Teilnehmer, sich über das HIS-LSF zur Veranstaltung anzumelden.

Organisatorisches

Die Themenvergabe für angemeldete StudentInnen findet bei der Vorbesprechung am Do., den 24. April 2008 statt.

• Ort: SR 01-018 Geb. 101
• Zeit: 14:00 - 16:00 c.t. wöchentlich

Voraussetzungen zur Scheinvergabe

• Anwesenheit in allen Vorträgen
• Abgabe der schriftlichen Ausarbeitung bis spätestens zum 28. Juli 2008
• Ca. 45min Präsentation (wahlweise auf Deutsch oder Englisch) pro Teilnehmer, davon
  • ca. 35min Vortrag
  • ca. 10min Fragen und Diskussion
• Vorbereitung von je zwei Fragen zu zwei anderen Vorträgen
• Sie müssen spätestens eine Woche vor Ihrem Präsentationstermin einen Termin mit Ihrem Betreuer vereinbaren, um Ihre Folien zu diskutieren.
• Vorbereitete Fragen müssen per Email zwei Tage vor dem entsprechenden Seminartermin Ihrem Betreuer zugesandt werden.
• Die Note setzt sich dann aus 70% Vortrag und 30% Ausarbeitung zusammen.

Vortragsliste

Themenblock	Thema	Referenz	Datum des Vortrags	Referent	Betreuer
Nichtausdrückbarkeits- Beweise	0-1-Gesetz und Anwendungen	[AHV95] (Kapitel 17.3)	17.07.	Dominique Henrich	M.M.
Baumweite	Conjunctive Query Containment Revisited	[CR98]	17.07.	Waled Mohammed Omer Al-Mukawi	M.M.
Chase Algorithmus	Chase: Grundlagen	[AHV95] (Kapitel 8.4 und 9.4)	26.06.	Sebastian Braun	F.W.
Chase Algorithmus	Query Reformulation with Constraints	[DPT06]	03.07.	Vortrag fällt aus	M.M.
Data Exchange	Data Exchange: Semantics and Query Answering	[FKMP02] (Kapitel 1-3)	26.06.	Evgenia Slavianova	F.W.
Data Exchange	Data Exchange: Semantics and Query Answering	[FKMP02] (Kapitel 4-6)	03.07.	Igor Schuarev	F.W.
Data Integration	Data Integration: A Theoretical Perspective	[Len02]	10.07.	Michael Ziegler	F.W.
Nichtausdrückbarkeits- Beweise	Ehrenfeuchtspiele und Anwendungen	[Flum] (Kapitel 1) oder [AHV95] (Kapitel 17.2)	03.07.	Malte Ahl	M.M.
Misc	Bridging the Gap Between OWL and Relational Databases	[MHS07]	10.07.	Mustafa Sofean	M.M.

Referenzen

• [AHV95] S. Abiteboul, R. Hull, and V. Vianu. Foundations of databases. Addison Wesley, Reading, US, 1995.
• [DPT06] Deutsch, A., Popa, L., and Tannen, V. 2006. Query reformulation with constraints. SIGMOD Rec. 35, 1 (Mar. 2006), 65-73.
• [FKMP02] R. Fagin, P. G. Kolaitis, R. J. Miller, and L. Popa. Data Exchange: Semantics and Query Answering. IBM Research Report, Nov. 2002.
• [Len02] Lenzerini, M. 2002. Data integration: a theoretical perspective. In Proceedings of the Twenty-First ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems (Madison, Wisconsin, June 03 - 05, 2002). PODS '02. ACM, New York, NY, 233-246.
• [Flum] J. Flum. Skript Modelltheorie. 2002
• [CR98] Chandra Chekuri and Anand Rajaraman. Conjunctive query containment revisited. In Proc. of the 6th Int. Conf. on Database Theory (ICDT-97), pages 56-- 70, 1997.
• [Bod93] H.L. Bodlaender. A Tourist Guide through Treewidth, Acta Cybernetica, 11 (1993).
• [MHS07] Motik, B., Horrocks, I., and Sattler, U. 2007. Bridging the gap between OWL and relational databases. In Proceedings of the 16th international Conference on World Wide Web (Banff, Alberta, Canada, May 08 - 12, 2007). WWW '07. ACM, New York, NY, 807-816.

Vorzubereitende Fragen

Jeder Teilnehmer muss zu je zwei Vorträgen je zwei Fragen, also insgesamt vier Fragen vorbereiten.

Ressourcen

• Halten von wissenschaftlichen Vorträgen:
  • Andreas Zeller: Der perfekte Seminarvortrag
  • Ian Parberry: How to Present a Paper in Theoretical Computer Science: A Speaker's Guide for Students
  • Simon L Peyton Jones, John Hughes, John Launchbury: How to give a good research talk
  • Ralf Zimmer: Richtlinien zur Ausarbeitung von Seminar- und Proseminarvorträgen
• Latex
  
  • Tutorials/References: [ Getting Started with LaTeX | LaTeX Kochbuch ]
  • Software unter Windows (Empfehlung): MikTex in Kombination mit TeXnicCenter

---

Letztes Update: Mo, 07.04.2008