|
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.)
zu spezifizieren.
|
