Io-7-wyk-Slajd57

Specyfikacje aksjomatyczne(16)

Jeżeli dana książka telefoniczna powstała z książki d przez dodanie informacji o innym abonencie niż Abo, a my chcemy usunąć z książki Abo, to tego innego należy w książce pozostawić, a usunąć Abo ze starej książki d. Innymi słowy, należy ze starej książki d usnąć abonenta Abo i dodać do wyniku informację o tym innym abonencie.

Korzystając z notacji RAISE można to zapisać w sposób pokazany na slajdzie.

<< Poprzedni slajd | Spis treści | Następny slajd >>