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

UptoLike

ВУЗ: 

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

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

Рубрика: 

91
Рис. 6.5. Иерархия обобщения
Эту иерархию можно представить как ряд полных (1:1)-отображений
между типом СЛУЖАЩИЙ и подтипами СЕКРЕТАРЬ, ПРОГРАММИСТ,
АНАЛИТИК. Поскольку такое отображение представляет обобщение, можно
воспользоваться термином ЕСТЬ_НЕК. Например, отображение между типами
СЛУЖАЩИЙ и СЕКРЕТАРЬ специфицируется как: ЕСТЬ_НЕК (СЛУЖАЩИЙ
(1,1) : СЕКРЕТАРЬ (0,1)).
Есть еще один способ
спецификации ограничений, который сводится к
тому, что отображение (если это возможно) задается замкнутой формулой.
Пусть на множествах S
1
и S
2
определено отношение R и существует такая замк-
нутая формула m (S
1
, S
2
), которая описывает отображения между S
1
и S
2
, зада-
ваемые отношением R. Тогда каждое расширение будет удовлетворять m, и
конкретные кортежи этого расширения не дадут никакой дополнительной ин-
тенсиональной информации. Отображения такого рода называют не-
порождающими-информации. Отображения, которые не могут быть заданы
замкнутой формулой и задаются расширением, называют порождающими-
информацию.
Ограничения на отображения не исчерпывают все множество
видов ог-
раничений, которые могут быть наложены на отношения. Более сложные виды
ограничений задаются явными предикатами.
Ограничения на представлениях: таблицах и графах. Представление ог-
раничений как внутренних, так и явных в ряде случаев зависит от особенностей
используемой модели данных.
Рассмотрим ограничения на атрибуты. Существуют два вида таких ог-
раничений: ограничения на
значения и агрегатные ограничения. Первый вид
соотносится с условиями принадлежности к множеству и семантикой домена
(интерпретирующий домен). Такие ограничения могут быть явно специфициро-
ваны в терминах типов, диапазонов (range), единиц (units) и сопоставимости
значений атрибутов. Так, ограничения на атрибут Зарплата могут быть выра-
жены следующими утверждениями:
Зарплата TYPE INTEGER (тип – целые)
RANGE 0
ТО 100000 (диапазон от 0 до 100000)
UNITS ROUBLE (единица измерения – рубль).
Служащий
Секретарь
Программист
Аналитик

Страницы