Formaler Datenbankentwurf - Informatixx

c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL:Änderungen.12
Beispiele für nicht existierende Transformationen:
r =
A B
a b
x b
s =
B C
b c
b z
v = r ./ s =
A B C
a b c
a b z
x b c
x b z
Auf v sind folgende Löschungen, Einfügungen und Änderungen nicht möglich.
Löschen von (a� b� c):
Wird in r (a� b) gelöscht, so geht in v auch (a� b� z) verloren; analog für Löschen
von (b� c) in s.
Ändern von (a� b� c) zu (a� b� d) analog.
Einfügen von (a� b� d) analog.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL:Änderungen.14
Beispiel Selektionssicht:
Sicht auf die Big Countries.
CREATE VIEW BigCountry AS
(SELECT *
FROM Country
WHERE area >= 1000000 AND
population >= 100);
UPDATE BigCountry
SET population = 90
WHERE code = '...';
Tupel der Sicht BigCountry migrieren möglicherweise in eine andere Sicht.
Durch Angabe der Klausel WITH CHECK OPTION kann dies verhindert werden.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL:Änderungen.13
Beispiel Projektionssicht:
Sicht: Sachbearbeiter dürfen den Namen nicht sehen.
CREATE VIEW CountryInfo AS
SELECT code, area, population
FROM Country;
INSERT INTO CountryInfo VALUES ('XY', 250000, 20);
Das Einfügen muß auf der Relation Country nachgeführt werden.
Jedoch welcher Wert? Für herausprojizierte Attribute können Default-Werte, bzw.
NULL verwendet werden.
Projektionssichten sind wenig problematisch, solange die Primärschlüssel der
Basisrelationen in der Sicht nicht herausprojiziert werden.
c Professor Dr. Georg Lausen, 2001: Vorlesung Datenbanken SQL:Änderungen.15
Beispiel Verbundsicht:
Sicht: Kontinente und die in ihnen liegenden Städte.
CREATE VIEW CityInfo AS
SELECT City.name, encompasses.continent
FROM City, encompasses
WHERE City.country = encompasses.country;
INSERT INTO CityInfo VALUES ('Freiburg', 'Europe');
Einfügungen in die Basisrelationen:
City: ('Freiburg', NULL, NULL, NULL,NULL)
encompasses: (NULL, 'Europe', NULL)
Jedoch die Anfrage SELECT * FROM CityInfo enthält nicht das Tupel (Freiburg,
Europe). Es existiert keine Transformation.