Formalisierung (1) Datenbasis Ausschnitt Sicht Sichtenabbildung v reale Datenbasis DB virtuelle Datenbasis VDB
Formalisierung (2) Sichtenabbildung v muss auf Schemaebene definiert werden: n Gegeben sei ein Schema S und eine zugehörige Datenbasis DB. n Jede Sicht hierauf ist durch ein weiteres Schema VS und eine partielle Abbildung v definiert. n v bildet Datenelemente aus DB so ab, dass eine dem Schema VS gehorchende Datenbasis VDB entsteht.
Formalisierung (3) Problemstellung: n Es ist keineswegs sicher, dass der Originalausschnitt und die Nutzersicht in ihrem Informationsgehalt übereinstimmen. n Ein methodisches Vorgehen bezüglich eventueller Abbildungsvorschriften v wäre wünschenswert. n Das Vorgehen muss sich an den vom Benutzer beobachtbaren Wirkungen, also an den Operationen, orientieren.
Formalisierung (4) Datenbasis Ausschnitt Sicht Sichtenabbildung v DB VDB n Die Originaldatenbasis DB macht sich dem Benutzer als Sicht VDB := v(DB ) bemerkbar. n v ist durch das Sichtschema VS definiert und beinhaltet sowohl Ausschnittsbildung als auch Strukturtransformation. n Ändert der Benutzer einige Daten seiner Sicht mittels einer Operation o, so entsteht VDB' := o(VDB ). n Tatsächlich muss diese Änderung aber im Original durchgeführt werden. n Das Äquivalent von o ist dort im allgemeinen eine Folge von Operationen, also ein Programm p. Die Anwendung von p auf DB bewirkt dort einen Zustand DB' := p(DB). VDB VDB' DB DB' o p v v