Datenintegrität. Referentielle Integrität. Referentielle Integrität in SQL. Bisherige Integritätsbedingungen

Transkript

1 Datenintegrität eferentielle Integrität Integitätsbedingungen chlüssel Fremdschlüssel verweisen auf Tupel einer elation z.b. gelesenvon in Vorlesungen verweist auf Tupel in Professoren Beziehungskardinalitäten Attributdomänen Inklusion bei Generalisierung referentielle Integrität Fremdschlüssel müssen auf existierende Tupel verweisen oder einen Nullwert enthalten statische Bedingungen an den Zustand der Datenbasis dynamische Bedingungen an Zustandsübergänge Kapitel 5 1 Vorlesungen VorlNr Titel W gelesen Von 5001 Grundzüge Ethik Erkenntnistheorie Mäeutik Logik Wissenschaftstheorie Bioethik Der Wiener Kreis Glaube und Wissen PersNr Professoren Name ang aum okrates 226 ussel Kopernikus Popper Augustinus Curie Kant 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 eferentielle Integrität in QL Kandidatenschlüssel: unique Primärschlüssel: primary key Fremdschlüssel: foreign key Beispiel: create table ( integer primary key,... ); create table integer references ); yntaktische Varianten zwischen den verschiedenen Herstellern werden hier beschrieben:

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 ' 1 ' 1 Kaskadieren create table integer references on update cascade ); create table integer references on delete cascade); 5 7 Einhaltung referentieller Integrität Originalzustand ' Auf Null setzen Änderungsoperationen update delete from set = ' 1 where = 1 ; where = 1 ; create table integer references on update set null ); create table integer references on delete set null ); 6 8

3 Kaskadierendes Löschen Einfache statische okrates ussel Logik chopenhauer Mäeutik Ethik Theophrastos Erkenntnistheorie Wissenschaftstheorie Carnap Bioethik Wertebereichseinschränkungen... check emester between 1 and 13 Aufzählungstypen... check ang in (`C2, `, `)... create table Vorlesungen gelesenvon integer ); create table hören references Professoren on delete cascade VorlNr integer ); references Vorlesungen on delete cascade 9 10 Das Universitätsschema mit create table 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 varchar(30) not null, ang character(2) check (ang in (`C2,`,` )), 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, gelesenvon integer references Professoren on delete set null); create table prüfen ( MatrNr integer references tudenten VorlNr integer references Vorlesungen, PersNr integer references Professoren on delete set null, Note numeric (2,1) check (Note between 0.7 and 5.0), primary key (MatrNr, VorlNr)); create table hören ( MatrNr integer references tudenten VorlNr integer references Vorlesungen primary key (MatrNr, VorlNr)); 13 Komplexere Konsistenzbedingungen: Leider selten / noch nicht unterstützt 15 create table voraussetzen ( Vorgänger integer references Vorlesungen Nachfolger integer references Vorlesungen primary key (Vorgänger, Nachfolger)); 14 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 = '' and :new.ang = 'C2' then :new.ang := ''; if :old.ang = '' then :new.ang := '' if :new.ang is null then :new.ang := :old.ang; end 17 Gleicher Trigger in DB2 / QL:1999- yntax 19 Trigger-Erläuterungen: Oracle Konventionen Übung: Trigger zur Konsistenzhaltung redundanter Information bei Generalisierung 18 20