Datenintegrität. Bisherige Integritätsbedingungen

Transkript

1 Datenintegrität Integitätsbedingungen chlüssel Beziehungskardinalitäten Attributdomänen Inklusion bei Generalisierung statische Bedingungen an den Zustand der Datenbasis dynamische Bedingungen an Zustandsübergänge Bisherige chlüssel: es dürfen keine zwei Tupel existieren, die auf allen chlüsselattributen gleich sind. Kardinalitäten der Beziehungen Generalisierungsbeziehung: jede Entität eines Typs muss auch in allen Obertypen enthalten sein Festgelegte Domänen für jedes Attribut Kapitel eferentielle Integrität Fremdschlüssel verweisen auf Tupel einer elation z.b. gelesenvon in Vorlesungen verweist auf Tupel in Professoren referentielle Integrität Fremdschlüssel müssen auf existierende Tupel verweisen oder einen Nullwert enthalten eferentielle Integrität in QL Kandidatenschlüssel: unique Primärschlüssel: primary key Fremdschlüssel: foreign key Beispiel: create table ( integer primary key,... ); integer references ); 3 4

2 Einhaltung referentieller Integrität Änderung von referenzierten Daten 1. Default: Zurückweisen der Änderungsoperation 2. Propagieren der Änderungen: cascade 3. Verweise auf Nullwert setzen: set null Einhaltung referentieller Integrität Originalzustand 1 1 Änderungsoperationen update set = ' 1 where = 1 ; delete from where = 1 ; 5 6 Kaskadieren Auf Null setzen ' 1 ' ' integer references integer references integer references integer references on update cascade ); on delete cascade ); on update set null ); on delete set null ); 7 8

3 Kaskadierendes Löschen Logik chopenhauer okrates Mäeutik Ethik Theophrastos create table Vorlesungen gelesenvon integer references Professoren on delete cascade); ussel Erkenntnistheorie Wissenschaftstheorie Bioethik Carnap create table hören VorlNr integer references Vorlesungen on delete cascade); 9 10 Einfache statische Wertebereichseinschränkungen... check emester between 1 and 13 Aufzählungstypen... check ang in (`C2, `C3, `C4 )... Das Universitätsschema mit tudenten ( MatrNr integer primary key, Name varchar(30) not null, emester integer check emester between 1 and 13), create table Professoren ( PersNr integer primary key, Name ang varchar(30) not null, character(2) check (ang in (`C2,`C3,`C4 )), aum integer unique ); 11 12

4 create table Assistenten ( PersNr integer primary key, Name varchar(30) not null, Fachgebiet varchar(30), Boss integer, foreign key (Boss) references Professoren on delete set null); create table Vorlesungen ( VorlNr integer primary key, Titel varchar(30), W integer, gelesen Von integer references Professoren on delete set null); create table hören ( MatrNr integer references tudenten on delete VorlNr integer references Vorlesungen on delete primary key (MatrNr, VorlNr)); create table voraussetzen ( Vorgänger integer references Vorlesungen on delete Nachfolger integer references Vorlesungen on delete primary key (Vorgänger, Nachfolger)); create table prüfen ( MatrNr integer references tudenten on delete VorlNr PersNr integer references Vorlesungen, integer references Professoren on delete set null, Note numeric (2,1) check (Note between 0.7 and 5.0), primary key (MatrNr, VorlNr)); 15 Komplexere Konsistenzbedingungen: Leider selten / noch nicht unterstützt tudenten können sich nur über Vorlesungen prüfen lassen, die sie vorher gehört haben Bei jeder Änderung und Einfügung wird die check-klausel ausgewertet Operation wird nur durchgeführt, wenn der check true ergibt 16

5 Datenbank-Trigger create trigger keine Degradierung before update on Professoren for each row when (old.ang is not null) begin if :old.ang = 'C3' and :new.ang = 'C2' then :new.ang := 'C3'; if :old.ang = 'C4' then :new.ang := 'C4' if :new.ang is null then :new.ang := :old.ang; end 17 Trigger-Erläuterungen: Oracle Konventionen 18 Gleicher Trigger in DB2 / QL:1999- yntax Übung: Trigger zur Konsistenzhaltung redundanter Information bei Generalisierung 19 20