Введение в информационные системы. Брюхомицкий Ю.А. - 15 стр.

UptoLike

ВУЗ: 

ТТИ ЮФУ | Таганрог

Составители: 

Рубрика: 

15
Рис. 2.1. Иерархия обобщения
Обобщенный тип обладает всеми свойствами, общими для базовых зна-
ков или типов. Или, иначе, – все свойства обобщенного типа могут быть унас-
ледованы базовыми типами. Однако, можно явно запретить наследование опре-
деленных свойств. Кроме того, можно указать, что некоторые свойства характе-
ризуют
тип в целом, и они не будут наследоваться. Свойство иметь заработную
плату наследуется от типа СЛУЖАЩИЙ каждым конкретным экземпляром
служащего. Свойство иметь фамилию, адрес и возраст наследуется каждым
подтипом типа ЛИЧНОСТЬ (СЛУЖАЩИЙ и СТУДЕНТ). В то же время, сред-
няя заработная плата есть специфическое свойство типа СЛУЖАЩИЙ и оно не
наследуется
. Обобщение на уровне типов предполагает ряд обобщений на уров-
не знаков, относящихся к подтипам. Например, тот факт, что ЛИЧНОСТЬ есть
обобщение типа СЛУЖАЩИЙ, подразумевает, что каждый конкретный слу-
жащий может рассматриваться как личность.
Агрегация есть абстракция, посредством которой объект конструи-
руется из других, базовых объектов. Например, личность может характеризо-
ваться
своей фамилией, адресом, возрастом. Агрегация может использоваться
как на уровне знаков, так и на уровне типов. Тип СЛУЖАЩИЙ может быть
сконструирован из типов свойств ФАМИЛИЯ, ВОЗРАСТ, АДРЕС (рис. 2.2).
Свойства-типы по своей природе являются дефиниционными (от англ.
definition – определение) и называются интенсиональными. Конкретная реали-
зация типа СЛУЖАЩИЙ, относящаяся, например, к Иванову
, конструируется
из знаков «Иванов» (фамилия), «29» (возраст), «Таганрог, ул. Греческая, 82»
(адрес). Свойства-знаки по своей природе являются фактическими и называют-
ся экстенсиональными. Различие между интенсиональными и экстенсиональ-
ными свойствами в моделировании данных имеет важное значение и далее бу-
дет рассматриваться более детально.
личность
студент служащий
учебный персонал администратор
р
а
б
отник-
совместитель
секретарь доцентначальник ОК профессор дипломник магистрант

Страницы