| Vorspann und Einführung |
| Vorspann |
24.10.2007 |
|
|
|
| Teil 1: Datenbanktheorie |
|
| Verbund-Operation in relationalen Datenbanken |
|
| Enthaltensein-Problem (1) |
24.10.2007 |
|
|
|
| Enthaltensein-Problem (2) |
26.10.2007 |
|
|
|
| Auswertung von Verbundausdrücken (1) |
31.10.2007 |
|
|
|
| Auswertung von Verbundausdrücken (2) |
02.11.2007 |
|
|
|
| Auswertung von Verbundausdrücken (3) |
07.11.2007 |
|
|
|
| Deduktive Datenbanken |
|
| Grundlagen von Datalog |
07.11.2007 |
|
|
|
| Semantik von Datalog-Programmen (1) |
09.11.2007 |
|
|
|
| Semantik von Datalog-Programmen (2) |
14.11.2007 |
|
|
|
| Begrenztheit und Enthaltensein von Datalog-Programmen |
16.11.2007 |
|
|
|
| Datalog und Negation |
21.11.2007 |
|
|
|
| Wohlfundierte Semantik (1) |
23.11.2007 |
|
|
|
| Wohlfundierte Semantik (2) |
27.11.2007 |
|
|
|
| Fixpunktberechnung (1) |
30.11.2007 |
|
|
|
| Fixpunktberechnung (2) |
05.12.2007 |
|
|
|
| Teil 2: Semantische Technologien für das Web |
|
| RDF |
|
| RDF Standardisierung |
07.12.2007 |
|
|
|
| RDFS und Abbildung von relationalen Datenbanken in RDF |
12.12.2007 |
|
|
|
| Keine Vorlesung |
14.12.2007 |
|
|
|
| SPARQL |
19.12.2007 |
|
|
|
| Keine Vorlesung |
21.12.2007 |
|
|
|
| Semantik von SPARQL |
09.01.2008 |
|
|
|
| Teil 3: Petri-Netze |
|
| S/T-Netze |
11.01.2008 |
|
|
|
| Eigenschaften von S/T-Netzen |
16.01.2008 |
|
|
|
| Keine Vorlesung |
18.01.2008 |
|
|
|
| Analyse von S/T-Netzen |
23.01.2008 |
|
|
|
| Keine Vorlesung |
25.01.2008 |
|
|
|
| Analyse von Netzen mit Invarianten |
30.01.2008 |
|
|
|
| Erweiterte S/T-Netze |
01.02.2008 |
|
|
|
| Gefärbte Netze |
06.02.2008 |
|
|
|
| Keine neuen Folien |
08.02.2008 |
|
|
|
| Struktureigenschaften von Petri-Netzen |
13.02.2008 |
|
|
|
| Workflow-Netze |
15.02.2008 |
|
|
|
