Io-7-wyk-Slajd55
Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwaniaSpecyfikacje 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.