Hauptseminar
Datenbanken und Logikprogrammierung
Wintersemester 1997/98

  Prof. Dr. Dietmar Seipel

Zeit und Ort:

• Dienstags, 14.45 - 16.15 Uhr
• SE 38

Vorträge:

1. Dienstag, 18.11.97, 14.45:
   Objekt-orientierte Datenbanken: Robert Schedel

2. Dienstag, 02.12.97, 14.45:
   Abduktives logisches Schließen: Werner Ebert

3. Dienstag, 09.12.97, 14.45:
   Verteilte Datenbanken: Steffen Krippner

4. Dienstag, 16.12.97, 14.45:
   F-Logik: Martin Buck

5. Dienstag, 13.01.98, 14.45:
   Aktive Datenbanken: Jörg Rothgänger

6. Freitag, 23.01.98, 14.15:
   Situation Calculus: Armin Kaussner

7. Dienstag, 27.01.98, 14.45:
   Geo-Datenbanken: Heiko Knödel

8. Dienstag, 03.02.98, 14.45:
   Circumscription: Martin Grein

9. Dienstag, 10.02.98, 13.30:
   Default Logic: Thomas Köhler

10. Dienstag, 17.02.98, 14.45:
    Probabilistische Deduktive Datenbanken: Thomas Frank

Literatur:

• P. Dadam: Verteilte Datenbanken und Client/Server-Systeme. Springer, 1996.
• C.J. Date: A Guide to the SQL Standard. Addison-Wesley, 1989.
• R. Elmasri, S.B. Navathe: Fundamentals of Database Systems. Benjamin Cummings, 1994.
• W. Frakes, R. Baeza-Yates: Information Retrieval - Data Structures and Algorithms. Prentice Hall, 1992.
• A. Kemper, A. Eickler: Datenbanksysteme - Eine Einführung. Oldenbourg, 1996.
• W. Kim: Modern Database Systems - The Object Model, Interoperability, and Beyond. Addison-Wesley, 1995.
• S.M. Lang, P.C. Lockemann: Datenbankeinsatz. Springer, 1995.
• G. Vossen: Datenmodelle, Datenbanksprachen und Datenbank-Management-Systeme. Addison-Wesley, 1994.

• S.K. Das: Deductive Databases and Logic Programming. Addison-Wesley, 1992.
• S. Ceri, G. Gottlob, L. Tanca: Logic Programming and Databases. Springer, 1990.
• A. Cremers, U. Griefahn, R. Hinze: Deduktive Datenbanken. Vieweg, 1994.
• J.W. Lloyd: Foundations of Logic Programming. Springer, 1987.
• J. Lobo, J. Minker, A. Rajasekar: Foundations of Disjunctive Logic Programming. MIT Press, 1992.
• The Journal of Logic Programming. verschiedene Hefte, Elsevier.

Allgemeine Angaben zum Seminar:

• Hauptstudium, Informatik Diplom
• Umfang: 2 SWS (Theorie: 1, Praxis: 1)