Modellierung WS 2010/11 - Folie 812

Ziele:
PL-Formeln entwerfen
in der Vorlesung:
PL-Formeln werden benötigt, um
- Bedingungen über Attributwerte,
- Zusammenhänge über mehrere Relationen hinweg
- Exakte PL-Notation: Alle Werte der Tupel müssen durch Allquantoren gebunden sein - auch die für die Formel irrelevanten. (Wird in informeller Notation meist weggelassen.)
nachlesen:
Kastens, Kleine Büning: Modellierung, Abschnitt 8.2
Autor: Prof. Dr. Uwe Kastens
Generiert mit Camelot | Probleme mit Camelot? | Geändert am: 25.08.2010