Verfeinerung des grobkörnigen Modells der Revisions- und Konsistenzkontrolle

Zusammenfassung

Im letzten Kapitel wurden Revisionen als atomar betrachtet. In den beiden nächsten Kapiteln, in denen die Revisions- und Konsistenzkontrolle auf der feinkörnigen Ebene modelliert wird, ist diese Betrachtungsweise nicht ausreichend: Das grobkörnige Modell muß verfeinert werden, um zum einen die Internstruktur von Revisionen und zum anderen feinkörnige Relationen zwischen den Inhalten voneinander abhängiger Revisionen darstellen zu können. Dieser Aufgabe ist das vorliegende Kapitel gewidmet, das somit zur Vorbereitung der Modellierung der Revisions- bzw. Konsistenzkontrolle auf der feinkörnigen Ebene dient. Die hier angestellten Überlegungen sind insofern allgemeiner Natur, als hier lediglich die Tatsache interessiert, daß Revisionen eine Internstruktur besitzen, aber zunächst noch gleichgültig ist, wie diese Internstruktur modelliert ist.