Io-7-wyk-Slajd50

Z Studia Informatyczne
Przejdź do nawigacjiPrzejdź do wyszukiwania

Specyfikacje aksjomatyczne(13)

Specyfikacje aksjomatyczne(13)


Jeżeli szukamy numeru telefonu Abo w książce, która powstała z książki d przez dodanie informacji o innym abonencie niż Abo,

to musimy szukać dalej, czyli szukać informacji o abonencie Abo w „starej” książce d.

Formalnie, w notacji RAISE, można to zapisać za pomocą frazy ELSE pokazanej na slajdzie.


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