Einfügeoperationen (1) n Sei V Sichtrelation und t ein Tupel. n Dann ist insert(V,t) informationserhaltend auf Einfügeoperationen in den Basisrelationen abbildbar, falls folgendes gilt: - Konsistenz - Seiteneffektfreiheit - Eindeutigkeit
Einfügeoperationen (2) n Sei V Sichtrelation und t ein Tupel. n Dann ist insert(V,t) informationserhaltend auf Einfügeoperationen in den Basisrelationen abbildbar, falls folgendes gilt: - Konsistenz - Seiteneffektfreiheit - Eindeutigkeit Konsistenz: Sei R i Basisrelation. 1.Sind D 1, D 2 Sichtspuren desselben Attributs in R i, dann D 1 ({t}) = D 2 ({t}). 2.Für jedes beteiligte R i muss (mindestens ein) Schlüssel K i eine Sichtspur D besitzen, und D ({t}) darf nicht NULL sein. 3.Für jedes R i mit Schlüssel K i und weiterem Attribut A i gilt: Falls D K Sichtspur von K i ist und D A Sichtspur von A i ist, dann gilt für alle s V: Mit D K ({t}) = D K ({s}) folgt D A ({t}) = D A ({s}). Bed. 3 nicht aus dem Schema, sondern erst aus der Datenbasis zu bestimmen.
Einfügeoperationen (2) R1R1 R2R2 D1D1 D2D2 D K1 D K2 DADA Konsistenzbed. 1 Konsistenzbed. 2 Konsistenzbed. 3 K2K2 K1K1 A
Einfügeoperationen (3) n Sei V Sichtrelation und t ein Tupel. n Dann ist insert(V,t) informationserhaltend auf Einfügeoperationen in den Basisrelationen abbildbar, falls folgendes gilt: - Konsistenz - Seiteneffektfreiheit - Eindeutigkeit Seiteneffektfreiheit: Für alle Attribute A j von V mit A j ({t}) NULL existiert für jede Basisrelation R i ein Schlüssel K i, so dass K i v {A j }.
Einfügeoperationen (3) R1R1 R2R2 D1D1 D2D2 D K1 D K2 DADA K2K2 K1K1 A Konsistenzbed. 1 Konsistenzbed. 2 Konsistenzbed. 3 Seiteneffektfreiheit (nur K 2 )
Einfügeoperationen (4) n Sei V Sichtrelation und t ein Tupel. n Dann ist insert(V,t) informationserhaltend auf Einfügeoperationen in den Basisrelationen abbildbar, falls folgendes gilt: - Konsistenz - Seiteneffektfreiheit - Eindeutigkeit Eindeutigkeit: Jedes Attribut in der Equijoin-Bedingung besitzt eine Sichtspur D j, und D j ({t}) NULL.
Einfügeoperationen (4) R1R1 R2R2 D1D1 D2D2 D K1 D K2 DADA K2K2 K1K1 A Konsistenzbed. 1 Konsistenzbed. 2 Konsistenzbed. 3 Seiteneffektfreiheit (nur K 2 ) Eindeutigkeit