Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
Супертип
Сущность, имеющая подтипы, выступает по отношению к ним су-
пертипом. Одна и та же сущность может быть подтипом другой сущ-
ности и при этом сама являться супертипом.
Подтипы сущности должны включать все возможные ее проявления
и образовывать в конечном итоге единое целое. То есть любое вхож-
дение супертипа должно относиться к одному из его подтипов. Во
многих случаях эта полнота достигается благодаря добавлению под-
типа, именуемого ПРОЧАЯ СУЩНОСТЬ.
Как для подтипа, так и для супертипа должны действовать все
правила, принятые для сущности (поскольку и то, и другое - сущ-
ности).
Обратите внимание на подтип ПРОЧИЙ САМОЛЕТ, добавленный нами
на тот случай, если перечисленные перед ним подтипы не будут
включать в себя (даже после объединения в одно целое) всех прояв-
лений сущности САМОЛЕТ. Однако, если вы способны ответить на воп-
рос "О каких прочих типах самолетов нам должно быть известно ?",
вы сможете идентифицировать пропущенные подтипы или убрать подтип
"ПРОЧИЙ".
