Классика баз данных - статьи



         

Родовая структура - часть 4


Если существительные естественного языка не используются, любое обсуждение осмысленности определения отношения представляется спорным.

Если предположить, что R, каждое Ri

и каждое Rij (на ) являются существительными естественного языка, необходимы пять семантических условий, чтобы определение отношения специфицировало агрегацию и обобщение.

  1. Каждый R-индивидуум должен определять некоторый уникальный Ri-индивидуум.
  2. Никакие два R-индивидуума не определяют одно и то же множество Ri-индивидуумов для всех Ri, селекторы которых принадлежат "списку ключей".
  3. Каждый Rij-индивидуум должен также быть R-индивидуумом.
  4. Каждый R-индивидуум, классифицируемый как Rij, должен также быть Rij-индивидуумом.
  5. Никакой Rij-индивидуум не является также Rik-индивидуумом при j ? k.

Под R-индивидуумом (Ri- или Rij-индивидуумом) мы понимаем некоторый экземпляр родового объекта R (Ri или Rij) в том виде, как он появляется в реальном мире.

Первые два условия являются необходимыми для абстракции агрегации и обсуждаются в . Остальные три условия являются необходимыми для абстракции обобщения. Условие (iii) обеспечивает, чтобы Rij являлось подклассом R и, таким образом, чтобы Rij

могло быть обобщено до R. Например, в моторизованные транспортные средства V1, V3 и V5 являются также транспортными средствами. Условие (iv) обеспечивает, чтобы Rij содержало все R-индивидуумы, классифицированные как относящиеся к Rij. Например, в "моторизованное транспортное средство" содержит все транспортные средства, классифицированные таким образом в "транспортном средстве". Условие (v) обеспечивает, чтобы кластеры содержали взаимно-исключающие классы.

Будем говорить, что отношение является правильно определенным (well-defined), если его определение удовлетворяет пяти приведенным выше семантическим требованиям.




Содержание  Назад  Вперед