Die Präsentation wird geladen. Bitte warten

Die Präsentation wird geladen. Bitte warten

Semantische Integritätsbedingungen AIFB SS2001 1 3.6.1 assert-Klausel (2/6) Beispiel 3-2: Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez).

Ähnliche Präsentationen


Präsentation zum Thema: "Semantische Integritätsbedingungen AIFB SS2001 1 3.6.1 assert-Klausel (2/6) Beispiel 3-2: Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez)."—  Präsentation transkript:

1 Semantische Integritätsbedingungen AIFB SS assert-Klausel (2/6) Beispiel 3-2: Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez). ib1: Der Familienstand eines Angestellten ist entweder ledig, verheiratet, verwitwet oder geschieden. ASSERT ib1 ON Angestellter: Familienstand IN (ledig, verheiratet, verwitwet, geschieden).

2 Semantische Integritätsbedingungen AIFB SS assert-Klausel (3/6) ib2: Das Gehalt aller Angestellten in Abteilung xyz muß größer als sein. ASSERT ib2 ON Angestellter: NOT EXISTS (SELECT FROM Angestellter WHERE Abt-Bez = xyz AND Gehalt 15000). Alternative Bedinguung: Gehalt > OR Abt-Bez <> xyz

3 Semantische Integritätsbedingungen AIFB SS assert-Klausel (4/6) Beispiel 3-3: Lagerbestand: (Produkt-Nr, Menge). ib3: Ein Tupel der Relation Lagerbestand darf nur gelöscht werden, wenn der Wert von Menge gleich 0 ist. ASSERT ib3 ON DELETION OF Lagerbestand: Menge = 0.

4 Semantische Integritätsbedingungen AIFB SS assert-Klausel (5/6) ib4: Ein Tupel darf nur dann in die Relation Lagerbestand eingefügt werden, wenn der Wert von Menge größer als 0 ist. ASSERT ib4 ON INSERTION OF Lagerbestand: Menge > 0.

5 Semantische Integritätsbedingungen AIFB SS assert-Klausel (6/6) Beispiel 3-4: (über mehrere Relationen) Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez). Abteilung: (Abt-Bez, Abt-Leiter, Geh-Summe, Ang-Zahl, Budget). ib5: Das Gehalt eines Angestellten darf das Durchschnittsgehalt seiner Abteilung nicht um mehr als 20 % übersteigen. ASSERT ib5 ON Angestellter AngX: AngX.Gehalt 1.2 * (SELECT AVG(AngY.Gehalt) FROM Angestellter AngY WHERE AngX.Abt-Bez = AngY.Abt-Bez).


Herunterladen ppt "Semantische Integritätsbedingungen AIFB SS2001 1 3.6.1 assert-Klausel (2/6) Beispiel 3-2: Angestellter: (Ang-Nr, Ang-Name, Gehalt, Familienstand, Abt-Bez)."

Ähnliche Präsentationen


Google-Anzeigen