Пусть имеется следующая диаграмма классов:
Имеется несколько библиотек, у которых есть зарегистрированные читатели. При наличии представленной диаграммы требуется сформулировать на языке ограничение: у каждого читателя на руках книги только из той библиотеки, в которой он зарегистрирован. Какие из приведенных формулировок правильны?
context БИБЛИОТЕКА inv: self.читают → COLLECT (читает) → SELECT (self.номер ≠ вБиблиотеке.номер) → size () = 0(Верный ответ)
context ЧИТАТЕЛЬ inv: self.читает → SELECT (self.зарегистрирован.номер ≠ вБиблиотеке.номер) → size () = 0
context КНИГА inv: self.наРуках → COLLECT (зарегистрирован) → SELECT (номер ≠ вБиблиотеке.номер) → size () = 0(Верный ответ)