[Themen]      [Dozent]      [Termine]      [Themen]      [Voraussetzungen]      [Scheine]      [Punkte-DB]      [Literatur-Suche]     

MARTIN-LUTHER-UNIVERSITÄT HALLE-WITTENBERG
Institut für Informatik
Prof. Dr. Stefan Brass

Seminar über Datenbanken

(Sommersemester 2012)

Die Vorbesprechung fand am Freitag, 13. April, 8:15-9:45, im Raum 5.06 statt.

Das Seminar wird als Blockseminar vom 24. bis 26 September veranstaltet, voraussichtlich jeweils in der Zeit von 10:00-17:00. Als Raum ist das Datenbanklabor 5.06 geplant, eventuell bekomme ich noch einen anderen Raum, der dann hier angekündigt wird.

Wenn Sie mir wegen des Seminars eine EMail schicken, schreiben Sie bitte in die Betreff-Zeile (neben möglichweise anderen Informationen) auch den String "[sem12]". So kann ich die EMails leichter finden.

Beachten Sie bitte, daß der Zugriff auf die ACM Digital Library und die Digital Library der IEEE Computer Societey von Rechnern des Instituts aus kostenfrei möglich ist.

Folien der Einführungsveranstaltung (werden eventuell noch erweitert): [PDF].

Dozent

Prof. Dr. Stefan Brass

Büro:

Raum 313 (Institut für Informatik, Von-Seckendorff-Platz 1)

Sprechstunde:

Mittwochs, 12:15-13:15

Email:

brass@informatik.uni-halle.de

Telefon:

0345/55-24740 (Büro), 0345/2036337 (zu Hause, möglichst nur 8-13, 16-21)

Fax:

0345/55-27333 (im Sekretariat)

Sekretariat:

Frau Vahrenhold, Telefon 0345/55-24750, Zimmer 324 (Dienstags nicht besetzt)

Termine

• Das Seminar wird als als Blockveranstaltung nach dem Semester (d.h. in der vorlesungsfreien Zeit) durchgeführt. In der Vorbesprechung wurde der Termin 24. bis 26. September festgelegt (bitte achten Sie auf weitere Ankündigungen, eine Verschiebung in Ausnahmefällen wäre noch denkbar). Sie dürfen mit guter Entschuldigung (z.B. Klausur) einige Stunden verpassen, mehr wird sehr schwierig für das Erreichen des Lernziels. Bitte informieren Sie mich möglichst rechtzeitig über eventuelle Probleme.
• Die Vorbesprechung ist am 13.04.2012, 8:15-9:45, im Raum 5.06.

Themen

Es wird Themen aus folgenden Bereichen geben:

• Logische Programmierung und deduktive Datenbanken
• Implementierung von Datenbanksystemen, insbesondere Hauptspeicher-Datenbanken, sowie Ausnutzung von Eigenschaften moderner CPUs (Cache, Pipelining, Multicore)

Die genauen Themen werden hier ins Netz gestellt. Wer mir zuerst eine EMail schickt, das er ein Thema haben möchte, bekommt es. Bitte warten Sie aber meine Bestätigung ab, bevor Sie viel Arbeit investieren. Gerade am Anfang bekomme ich eventuell mehrere Anfragen für ein Thema, bevor ich die EMails beantworten kann. Wenn Sie innerhalb weniger Tage keine Antwort bekommen, schicken Sie Ihre EMail bitte noch einmal. Wenn es bei bestimmten Themen eine besonders große Nachfrage gibt, werde ich prüfen, ob ich noch weitere änliche Themen finde (ich kann aber nichts versprechen). Bei Bedarf können Sie das Thema einmal wechseln (möglichst nicht mehr).

1. Partielle Auswertung Logischer Programme [vergeben]
   • J. P. Gallagher:
     Tutorial on Specialisation of Logic Programs.
     ACM PERM, 1993, 88-98 (11 Seiten).
     [Eintrag in der ACM Digital Library]

    

2. Optimierung der Bottom-Up-Auswertung durch Verzicht auf Duplikat-Eliminierung [noch verfügbar]
   • Michael J. Maher, Raghu Ramakrishnan:
     Deja Vu in Fixpoints of Logic Programs.
     Proceedings of the Symposium on Logic Programming, 1990.
     [Eintrag im CiteSeer (eventuell längere Version)]

    

3. Deklarative Spezifikation von Programm-Ausgaben in Datalog [noch verfügbar]
   • Stefan Brass:
     Declarative Output by Ordering Text Pieces.
     Technical Communications of the 27th International Conference on Logic Programming (ICLP'11), LIPIcs, 2011, 151-161.
     [Eintrag im DROPS (Dagstuhl Research Online Publication Server)]
   • [Zugehörige Webseite]

    

4. Charakterisierung der Stabile Modelle Semantik durch Partielle Auswertung [noch verfügbar]
   • Stefan Brass, Jürgen Dix:
     Characterizations of the Stable Semantics by Partial Evaluation.
     In A. Nerode (ed.), Logic Programming and Nonmonotonic Reasoning (LP&NMR'95), LNCS 928, Springer, 1995, 85-98.
     [Eintrag in CiteSeer]
     [Eintrag auf SpringerLink]

    

5. Das deduktive DBMS Aditi [vergeben]
   • Jayen Vaghani, Kotagiri Ramamohanarao, David B. Kemp, Zoltan Somogyi, Peter J. Stuckey, Tim S. Leask, James Harland:
     The Aditi Deductive Database System.
     In The VLDB Journal, Special Issue on Prototypes of deductive database systems, Volume 3, Issue 2, 245-288, April 1994.
     [Eintrag in der ACM Digital Library]
     [Eintrag auf SpringerLink]
   • Kotagiri Ramamohanarao: An implementation overview of the Aditi deductive database system.
     Deductive and Object-Oriented Databases (DOOD), Springer, 1993, 184-203. [Eintrag auf SpringerLink]

    

6. Das Glue-Nail System [noch verfügbar]
   • Marcia A. Derr, Shinichi Morishita, Geoffrey Phipps:
     The glue-nail deductive database system: design, implementation, and evaluation.
     In The VLDB Journal, Special Issue on Prototypes of deductive database systems, Volume 3, Issue 2, 245-288, April 1994.
     [Eintrag in der ACM Digital Library]
     [Eintrag auf SpringerLink]

    

7. Das DLV System [noch verfügbar]
   • Thomas Eiter, Nicola Leone, Cristinel Mateis, Gerald Pfeifer, Francesco Scarcello:
     A Deductive System for Nonmonotonic Reasoning.
     In Proceedings of the 4th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'97), LNAI 1265, 363-374, 1997. Springer.
     [Eintrag im CiteSeer]
   • Nicola Leone, Wolfgang Faber: The DLV Project: A Tour from Theory and Research to Application and Market.
     In Lecture Notes in Computer Science, 2008, Volume 5366, Logic Programming, Pages 53-68.
     [Eintrag auf SpringerLink]
   • Mario Alviano, Wolfgang Faber, Nicola Leone, Simona Perri, Gerald Pfeifer, and Giorgio Terracina: The Disjunctive Datalog System DLV.
     In Datalog Reloaded, Springer, 2011, 282-301.
     [Eintrag auf SpringerLink]

    

8. Implementierung von Selektionen in Hauptspeicher-Datenbanken [noch verfügbar]
   • Kenneth A. Ross:
     Selection Conditions in Main Memory.
     ACM Transactions on Database Systems, Vol. 29, No. 1, March 2004, Seiten 132-161.
     [Eintrag in der ACM Digital Library]

    

9. Berücksichtigung des CPU-Caches in Datenbank-Algorithmen [vergeben]
   • Ambuj Shatdal, Chander Kant, Jeffrey F. Naughton:
     Cache Conscious Algorithms for Relational Query Processing.
     In Proceedings of the 20th VLDB Conference, 1994, 510-521.
     [Eintrag auf vldb.org]
     [Eintrag im CiteSeer]

    

10. Speicherung von Relationen unter Berücksichtigung des CPU-Caches [noch verfügbar]
    • R. A. Hankins and J. M. Patel:
      Data Morphing: An Adaptive, Cache-Conscious Storage Technique.
      VLDB, 2003, 417-428.
      [Eintrag auf vldb.org]
      [PDF-Datei aus Homepage von Jignesh M. Patel]

     

11. Berücksichtigung von SSDs in der Pufferverwaltung [vergeben]
    • Yi Ou, Theo Härder, Peiquan Jin:
      CFDC—A Flash-aware Replacement Policy for Database Buffer Management.
      In: Proceedings of the Fifth International Workshop on Data Management on New Hardware (DaMoN 2009), ACM, 15-20.
      [Eintrag in der ACM Digital Library]
      [PDF-Datei von Webseite des Workshops]
      [Alle Artikel des Workshops]
    • Yi Ou, Theo Härder, Peiquan Jin:
      CFDC—A Flash-aware Replacement Policy for Database Buffer Management.
      In: ADBIS 2010, LNCS 6295, Springer, 2010, 435-449.
      [PDF-Datei vom Server des Lehrstuhls]
      

     

12. Auswertung von Ad-hoc Joins für Flash SSDs. [vergeben]
    • Jaeyoung Do, Jignesh M. Patel:
      Join Processing for Flash SSDs: Remembering Past Lessons.
      In: Proceedings of the Fifth International Workshop on Data Management on New Hardware (DaMoN 2009), ACM, 2009, 1-8.
      [Eintrag in der ACM Digital Library]
      [PDF-Datei von Webseite des Workshops]
      [Alle Artikel des Workshops]

     

13. Index-Strukturen für Hauptspeicher-Datenbanken [vergeben]
    • Tobin J. Lehman, Michael J. Carey:
      Study of Index Structures for Main Memory Database Management Systems.
      In: Proceedings of the Twelfth International Conference on Very Large Databases (VLDB'86), 1986, 294-303.
      [Eintrag auf VLDB.org]

     

14. Berücksichtigung des CPU-Caches für B⁺-Bäume [noch verfügbar]
    • J. Rao and K. A. Ross:
      Making B+ trees cache conscious in main memory.
      In: Proceedings of the 2000 ACM SIGMOD international conference on Management of data, ACM, 2000, 475-486.
      [Eintrag in der ACM Digital Library]

     

15. Hauptspeicher Hash-Join Algorithmen für Multicore CPUs [vergeben]
    • Spyros Blanas, Yinan Li, Jignesh M. Patel:
      Design and Evaluation of Main Memory Hash Join Algorithms for Multi-core CPUs.
      In: ACM SIGMOD'2011 (International Conference on Management of Data), 37-48.
      [Eintrag in der ACM Digital Library]
      [PDF-Datei von der Homepage eines Autors]

     

16. Der Dali Speicher-Manager [vergeben]
    • H. V. Jagadish, D. Lieuwen, R. Rastogi, A. Silberschatz, and S. Sudarshan:
      Dalí: A high performance main-memory storage manager.
      In: Proceedings of the International Conference on Very Large Databases, 1994, 48-59.
      [Eintrag auf VLDB.org]
    • Philip Bohannon, Daniel Lieuwen, Rajeev Rastogi, S. Seshadri, Avi Silberschatz, S. Sudarshan:
      The Architecture of the Dali Main-Memory Storage Manager.
      In: Multimedia Tools and Applications, 1997, 36-47.
      [Eintrag in CiteSeer]
    • Projekt Webseite (Bell Labs)
      [The Dali Main Memory Storage Manager]
    • Wikipedia nennt das auf Dali basierende Datablitz als erste kommerzielle Hauptspeicher-DB.
      [Wikipedia: In-memory database]

     

Voraussetzungen zur Teilnahme

• Ich gehe davon aus, daß Sie die Vorlesung "Datenbanken I" gehört haben.
• Die meisten Teilnehmer sollten aber noch mindestens eine der Vorlesungen "Datenbanken IIA: Datenbankentwurf", "Datenbanken IIB: DBMS-Implementierung", "Logische Programmierung und Deduktive Datenbanken", "XML und Datenbanken" gehört haben, oder über entsprechende Kenntnisse verfügen. Falls Sie keine dieser Vorlesungen gehört haben, könnte der Einarbeitungsaufwand etwas größer werden.
• Kenntnis der englischen Sprache. Die vorgegebenen Veröffentlichungen werden voraussichtlich alle in Englisch abgefasst sein.
• Wichtig ist auch, daß Sie genug Zeit mitbringen. Die Vorbereitung eines Seminarvortrags kostet mindestens drei Wochen Vollzeitarbeit, eher mehr (5 LP ensprechen einem durchschnittlichen Arbeitsaufwand von 150 Stunden).

Kriterien für Scheine

Die folgenden Informationen sind noch unverbindlich: Ich muß mich erst nach der Prüfungsordnung und dem sonst üblichen Vorgehen erkundigen.

• Sie müssen eine vorgegebene wissenschaftliche Veröffentlichung zu Ihrem Seminarthema genau durcharbeiten.
• Sie müssen eine schriftliche Ausarbeitung für Ihren Vortrag (ca. 8-10 Seiten) rechtzeitig vor Ihrem Vortrag abgeben (spätestens drei Wochen). Dies soll keine deutsche Übersetzung des Artikels sein, sondern schon von einer eigenen Durchdringung des Themas zeugen. Alternativ können Sie auch die vollständigen Folien und den kompletten, zu sprechenden Text für mindestens 10 Folien abgeben.
• Sie müssen einen guten Vortrag halten, der sowohl vom Vortragsstil her akzeptabel ist, als auch zeigt, daß Sie den Gegenstand des Vortrags voll verstanden haben.
• Ihre Kenntnis des Gebiets sollen Sie auch in der Diskussion unter Beweis stellen. Wenn Sie bei vielen Fragen passen müssen, ist es recht wahrscheinlich, daß Sie durchfallen, egal wie gut Ihr Vortrag sonst ist.
• Sie sollten Ihre Folien dem Dozenten spätestens eine Woche vor dem Vortrag zeigen. Das ist keine Bedingung, aber Sie könnten eventuell noch nützliche Anregungen bekommen.
• Es ist keine Bedingung, daß Ausarbeitung und Vortrag alle Teile des Artikels in allen Einzelheiten wiedergeben. Das wäre von der Zeit her gar nicht möglich, und es ist viel wichtiger, daß die Zuhörer die Kerngedanken des Artikels verstehen, als alle Varianten und Verfeinerungen abzuhandeln. In der Diskussion müssten Sie aber ggf. auch wissen, was sonst noch in dem Artikel steht. Außerdem dürfen Sie keine zentralen Teile weglassen. Wenn Sie die Ausarbeitung sehr rechtzeitig abgeben, ist dies noch eine Gelegenheit, die Stoffauswahl mit dem Dozenten abzuklären.
• Es ist gut, wenn Sie sich zusätzliche Literatur beschaffen; häufig werde ich auch weitere Artikel nennen, die zum Verstehen der Voraussetzungen oder als Abrundung des Themas nützlich sind. Die ganz zentralen Dinge des Hauptartikels müssen Sie aber behandeln. Die Überschrift Ihres Seminarthemas ist nicht so zu verstehen, daß Sie einen ganz beliebigen Vortrag halten könnten, der zu dieser Überschrift passt. Sie können Ihren Hauptartikel nicht völlig ignorieren. Ansonsten ist es natürlich gut, wenn Sie in Ihrem Vortrag zur Abrundung auch Dinge behandeln, die aus anderen Quellen stammen.
• Falls es möglich ist, ggf. in dem Artikel beschriebene Software selbst auszuprobieren, wäre es für die Bewertung positiv, wenn Sie das auch tun. Im allgemeinen ist jede Form von Eigeninitiative positiv. Ich würde normalerweise erwarten, daß Sie auch eigene Beispiele machen, und nicht nur die Beispiele aus dem Artikel übernehmen. Oder auch eigene graphische Veranschaulichungen, und nicht nur die Bilder aus dem Artikel eingescannt. Oder eigene Vergleiche mit weiterer Literatur.
• Sie müssen an allen Vorträgen des Seminars teilnehmen. Sie können einmal mit einer einfachen Entschuldigung fehlen. Wenn Sie mehrmals fehlen, werden sehr gute Entschuldigungen nötig, und Sie müssen sich selbst in die verpassten Themen einarbeiten, so daß Sie einen kleinen mündlichen Test bestehen können. Falls das Seminar als Blockseminar stattfindet, beziehen sich diese Regeln auf die einzelnen Vorträge. Wenn Sie bei einem Blockseminar einen ganzen Tag fehlen würden, hätten Sie ja schon einen großen Teil der Vorträge verpasst: Dann ist auf jeden Fall eine sehr gute Entschuldigung plus viel Nacharbeit nötig.

Literatur im WWW

• DBWORLD Email List
• DBLP: Database Systems and Logic Programming (Bibliography Server)
• ACM Digital Library
• Digital Library der IEEE Computer Society
• CiteSeer
• Bibliographies about Database Research (Karlsruhe)
• Database Systems Laboratory, Univ of Massachusetts (Collection of Links)
• ACM SIGMOD (Special Interest Group on Mangament of Data)
  Join ACM SIGMOD or Find your Membership Number
• Bibliographie about Data Warehousing and OLAP
• Bibliography by Gio Wiederhold
• CoRR - A Computing Research Repository (More Information)
• System R Page
• Netbib Search

Stefan Brass (brass@informatik.uni-halle.de), 13. April 2012

Original URL: http://www.informatik.uni-halle.de/~brass/sem12/   [XHTML 1.0 Checked]   [Links Geprüft]