Formale Grundlagen von Informationssystemen
Übungsbetrieb
Bei Fragen oder Anmerkungen zu den Übungen kontaktieren Sie bitte die Übungsgruppenleiterin Leman Mehmed (
) oder
Michael Schmidt.
| Übung 1: Konjunktive Anfragen und Containment | Deutsche Version | English version | |
| Abgabe: Di, 28.04.2009 |
|
|
|
| Besprechung: Do, 30.04.2009 | |||
| Übung 2: Minimierung und Mengen Konjunktiver Anfragen, Constraints | Deutsche Version | English version | |
| Abgabe: Di, 05.05.2009 |
|
|
|
| Besprechung: Do, 07.05.2009 | |||
| Übung 3: Chase und Terminierung | Deutsche Version | English version | |
| Abgabe: Di, 12.05.2009 |
|
|
|
| Besprechung: Do, 14.05.2009 | |||
| Übung 4: Auswertung von Verbungausdrücken | Deutsche Version | English version | |
| Abgabe: Di, 26.05.2009 |
|
|
|
| Besprechung: Do, 28.05.2009 | |||
| Übung 5: RDF und SPARQL | Deutsche Version | English version | |
| Abgabe: Di, 16.06.2009: Übung 17 - Übung 20 Abgabe: Di, 23.06.2009: Übung 21 |
Installation ARQ Engine RDF Dokument zu Aufgabe 17 Beispielquery a) aus Aufgabe 17 |
Installation Instructions ARQ Engine RDF Document for Exercise 17 Example query a) from Exercise 17 |
|
| Besprechung: Do, 18.06.2009 und Do, 25.06.2009 | |||
| Neu: Musterlösung der RDF-Modellierungsaufgabe |
|
||
| Übung 6: S/T-Netze - Modellierung und Erreichbarkeit | Deutsche Version | English version | |
| Abgabe: Di, 30.06.2009 |
|
|
|
| Besprechung: Do, 02.07.2009 | |||
| Übung 7: S/T-Netze - Erreichbarkeit, Überdeckung und Beschränktheit | Deutsche Version | English version | |
| Abgabe: Di, 07.07.2009 |
|
|
|
| Besprechung: Do, 09.07.2009 | |||
| Übung 8: Petri-Netze - Invarianten und gefärbte Netze | Deutsche Version | English version | |
| Abgabe: Do, 16.07.2009 |
|
|
|
| Besprechung: Di, 21.07.2009 | |||