Io-7-wyk-Slajd55

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(15)

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