Sichtenverbindung (1) Einschränkungen: Zwischen den verschiedenen Abhängigkeiten kann es zu komplizierten Wechselwirkungen kommen, so dass ein allgemeingültiges Verfahren zur Zusammenfassung nicht angegeben werden kann. Für den folgenden Satz von Einschränkungen findet sich ein Verfahren in der Literatur: –Die einzigen funktionalen Abhängigkeiten sind Schlüsselbedingungen, die Relationen sind also in BCNF, und es gibt nur einen Schlüssel K pro Relation. –In vereinten funktionalen Abhängigkeiten sind also die X i Schlüssel, außerdem  Y i  = 1. –Jedes Nichtschlüsselattribut einer Relation erscheint in höchstens einer vereinten funktionalen Abhängigkeit. –Inklusionsabhängigkeiten zwischen Sichten sind auf Schlüssel beschränkt. Beispiel erfüllt die Einschränkungen.

Sichtenverbindung (2) for each Inklusionsabhängigkeit T S [K S ]  T R [K R ] do begin for each vereinte funktionale Abhängigkeit F mit K R  X R und K S  X S do begin lösche X S aus A S ; lösche K S  X S aus F; falls |F | = 1, lösche F; end //redundante funktionale Abhängigkeiten beseitigt//; end; for each zirkuläre Inklusionsabhängigkeit T S [K S ] = T R [K R ] do begin erzeuge neue Relation N mit A N = A R  A S und K N = K R ; lösche Inklusionsabhängigkeit; ersetze in den verbliebenen vereinten funkt. Abhängigkeiten K R und K S durch K N ; for each zirkuläre Inklusionsabhängigkeit T P [K P ]= T R [K R ] oder T P [K P ] = T S [K S ] do begin A N = A N  A P mit K N unverändert; lösche Inklusionsabhängigkeit; ersetze in den verbliebenen vereinten funkt. Abhängigkeiten K P durch K N end //Relationen mit gleichem Schlüssel im Folgeschritt zusammengelegt//; end //Relationen mit gleichem Schlüssel im ersten Schritt zusammengelegt//;

Sichtenverbindung (3) //falls noch vereinte funktionale Abhängigkeiten übrig, die nicht Gegenstand von Inklusionsabhängigkeiten waren// for each vereinte funktionale Abhängigkeit F do begin nimm erste Abhängigkeit K R  X R in F; erzeuge neue Relation N mit A N = K R  X R und Schlüssel K N = K R ; lösche F ; füge Inklusionsabhängigkeit T R [K R ]  T N [K N ] hinzu //neue Konsistenzbed.//; for each vereinte funktionale Abhängigkeit G do begin falls K R  Y R in G: A N = A N  Y R und lösche G end //neue Relation durch Kombination//; end //restliche vereinte funkt. Abhängigkeiten zu neuen Relationen kombiniert//;