ВУЗ:
Составители:
21
⊆ S
1
S
2
, где S
1
= {S / s – буква}, а S
2
= {S / s – двоичная цифра}. Интенсионалы
S
1
и S
2
(частично) определяют интенсиональные аспекты R, а именно тот факт,
что отношение R состоит из двухэлементных кортежей, причем один элемент
есть буква, а второй – двоичная цифра. Множество T = {< а, 1 >, < а, 0 >, < с, 1
>, < b, 0 >} есть расширение отношения R, соответствующее его интенсионалу.
Интенсионал это абстракция-обобщение множества расширений. Иными слова-
ми, расширения – это знаки
, а интенсионал – тип. Знаки, очевидно, наследуют
свойства типа.
В математике отношение – это не более чем множество и оно не имеет
какой-либо семантической интерпретации. В моделировании данных термин
«отношение» применяется к определению типа. Отношение R рассматривается
как тип объекта, который соотносится с множеством знаков-кортежей. Все кор-
тежи определены на
одних и тех же доменах и обладают одинаковыми свойст-
вами. Поскольку модель данных отражает динамические аспекты, эти отноше-
ния изменяются во времени. В каждый момент времени реализация отношения
представляет собой отношение в математическом смысле этого понятия.
Отношению можно придать различную семантическую окраску, на-
пример, соотнести каждый кортеж с конкретной сущностью.
Дать хотя бы при-
ближенное определение сущности достаточно трудно, легче передать идею,
лежащую в основе этого понятия. Сущность это нечто, принадлежащее объек-
тивной реальности, облаченное в материальную форму или в форму идеи. На-
пример, дом, служащий и сделка могут рассматриваться как сущности. Приме-
нение к сущностям приемов построения абстракции позволяет получить
тип
сущности (например, категории ДОМ, СЛУЖАЩИЙ, СДЕЛКА).
Как и отношение, сущность характеризуется интенсионалом и расши-
рением. Интенсионал сущности называется типом сущности и соответствует
определению сущности в терминах атрибутов, Тип сущности СЛУЖАЩИЙ
может иметь атрибуты Номер служащего, Фамилия, Адрес, Возраст, Отдел,
Профессия, Зарплата. Если тип сущности представлен как отношение, домены
отношения
соответствуют атрибутам типа сущности. Расширение типа сущно-
сти называется множеством сущностей. Каждая ассоциация носит название
(реализации) сущности и соответствует кортежу отношения.
Абсолютное различие между типами сущностей и атрибутами отсутст-
вует. Атрибут является таковым только в связи с типом сущности. В другом
контексте атрибут может выступать как самостоятельная сущность. Например,
для
автомобильного фабриканта цвет это только атрибут одного из продуктов
производства; для компании же, которая производит краски, цвет может высту-
пать как тип сущности.
Если обратиться к абстракции данных, тип сущности можно охаракте-
ризовать как агрегат атрибутов. Тип сущности СЛУЖАЩИЙ есть агрегат атри-
бутов Номер служащего, Фамилия, Адрес, Возраст, Отдел, Профессия,
Зар-
плата (рис. 2.5). Различные атрибуты типа сущности могут быть определены на
одном и том же домене.
Страницы
- « первая
- ‹ предыдущая
- …
- 19
- 20
- 21
- 22
- 23
- …
- следующая ›
- последняя »