Io-7-wyk-Slajd55

Specyfikacje aksjomatyczne(15)

Kolejny aksjomat, dotyczący usuwania, można by sformułować następująco: jeżeli jakaś książka powstała z książki d przez dodanie do niej informacji o numerze telefonu t abonenta Abo,

to usunięcie abonenta Abo z tej książki daje starą książkę d.

Za pomocą notacji RAISE można to zapisać w sposób pokazany na slajdzie.

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