Io-7-wyk-Slajd57

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(16)

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 >>