Datenbanken und Informationssysteme

Materialien

Testumgebung für SQL-Anfragen

Es steht eine Testumgebung für SQL-Anfragen zur Verfügung. Nach der Anmeldung mit Ihrem TF-Benutzernamen können Sie dort (lesende) SQL-Anfragen auf den vorhandenen Tabellen ausführen. Verwenden Sie dabei Oracle als DBMS.

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

Die aktuellen Aufzeichnungen von diesem Semester stehen Ihnen im ILIAS Portal zur Verfügung.
Auf dem Electures-Portal stehen zudem 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 Electures-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.