Datenbanken und Informationssysteme

Materialien

Folien WS 2013/2014

Die Folien werden normalerweise frühzeitig vor der Vorlesung veröffentlicht, können sich aber auch kurz vor oder nach der Vorlesung noch ändern. Insbesondere sind die längeren Kapitel zu Beginn nicht vollständig, sondern werden entsprechend der Vorlesung nach und nach ergänzt. Sie können die Folien als PDF unter der Rubrik Zeitplan zum Ausdrucken herunterladen.

Testumgebung für SQL-Anfragen

Neben dem Datenbankzugang für das begeitende Praktikum steht eine Testumgebung für SQL-Anfragen zur Verfügung. Nach der Anmeldung mit dem Informatik-Benutzernamen können Sie dort (lesende) SQL-Anfragen auf den vorhandenen Tabellen ausführen. Sie können zwischen den DBMS IBM DB2, MS SQL Server, PostgreSQL und Oracle wählen und dabei auch die Unterschiede in der Syntax der verschiedenen Systeme kennenlernen.

F^min-Algorithmus

Zur Übung der Methoden des formalen Entwurf gibt es eine Animation zur Berechnung von F^min (beachten Sie, dass F^min nicht eindeutig ist, wenn Sie Ihre eigenen Ergebnisse überprüfen möchten). Dabei handelt es sich um eine SVG-Animation, die nicht von allen Browsern korrekt wiedergegeben wird. Getestet wurde sie mit dem Adobe Plugin.

Vorlesungsaufzeichnungen

Auf dem Electures-Portal stehen die Aufzeichnungen aus dem WS 2009/2010 zur Verfügung. Bitte beachten Sie, dass sich die Inhalte der Vorlesung leicht geändert haben und dass nur die aktuelle Vorlesung relevant für die Klausur ist. Wenn Sie das Portal aus dem Institutsnetz heraus verwenden, werden Sie automatisch als FAW A. Student angemeldet und haben Zugriff auf die Inhalte. Melden sie sich nicht extra mit Ihrem Benutzernamen an, weil Sie dann keinen Zugriff auf die vergangene Veranstaltung bekommen. Benutzen Sie den VPN-Zugang, wenn nötig.