Представление сущности имеет атрибуты первичного ключа, если только это – не уровень модели «сущность-связь».
(для всех *)
(если (мм: редставление сущности): I имеет представление J,
(мм: представление): J имеет уровень: L
тогда
L не имеет значение «модель сущность-связь»
если
(для некоторых Х) ((мм: представление сущности): I имеет первичные ключи: Х)).
Каждый атрибут первичного ключа должен быть ненулевым.
(для всех *)
(если существует (мм: атрибут первичного ключа): I
тогда
(мм: атрибут первичного ключа): I имеет значение свойства «ненулевой»: ‘истина’).
Б.5.3.11 Ограничения на связи модели «сущность-связь»
Каждое отношение связи может иметь список связывающих атрибутов внешних ключей. Неспецифичные и специфичные связи на уровне модели «сущность-связь» не имеют внешних ключей.
(для всех *)
((мм: отношение связи): I имеет внешние ключи L, если определено:
список(L),
nodup(L),
(для всех D)
(если представитель (L,D)
тогда (для некоторых J,K)
((мм: отношение связи): I имеет атрибут внешнего ключа связи: К,
((мм: атрибут внешнего ключа связи): К имеет атрибут представления сущности: J,
((мм: атрибут представления сущности): J имеет домен: D)),
(для всех J,K,D)
(если (мм: отношение связи): I имеет атрибут внешнего ключа связи: К,
(мм: атрибут внешнего ключа связи): К имеет атрибут представления сущности: J,
(мм: атрибут представления сущности): J имеет домен: D)
тогда
представитель(L,D))).
Следующие свойства отношений связи возможны только на уровне модели «сущность-связь»:
Нулевая мощность связи родителя с потомком
Нулевая мощность связи родителя с предком
Свойство обязательности нулевое
Нет внешних ключей
(для всех *)
(если (мм: отношение связи): H имеет родителя: I,
(мм: представление сущности): I имеет представление: J,
(мм: представление): J имеет уровень: L
тогда
L имеет значение: ‘сущность-связь’
если
не (для некоторых Х)
((мм: отношение связи): H имеет значение свойства специфичный: ‘Истина’,
(мм: отношение связи): H имеет родителя низкого уровня: Х),
не (для некоторых Х)
((мм: отношение связи): H имеет значение свойства специфичный: ‘Истина’,
(мм: отношение связи): H имеет родителя высокого уровня: Х),
не (для некоторых Х)
((мм: отношение связи): H имеет значение свойства обязательный: Х),
не (для некоторых Х)
((мм: отношение связи): H имеет значение свойства внешние ключи: Х)).
Б.5.3.12 Связь является определенной, если это не уровень модели «Сущность-связь»
(для всех *)
(если (мм: отношение связи): H имеет родителя: I,
(мм: представление сущности): I имеет представление: J,
(мм: представление): J имеет уровень: L
L не имеет значение: «сущность-связь»
тогда
(мм: отношение связи): H имеет значение свойства определен: «Истина»).
Б.5.3.13 Представление сущности является зависимым
Категории являются зависимыми.
(для всех *)
(если существует (мм: категория): I
тогда
(мм: категория): I имеет значение свойства зависит: «Истина»).
Если это не уровень модели «сущность-связь», значение свойства зависимости ненулевое и является истинным тогда и только тогда, когда представление сущности является потомком в определяющем отношении связи.
(для всех *)
(если (мм: представление сущности): I имеет представление: J,
(мм: представление): J имеет уровень: L
значение L не «сущность-связь»
тогда
((мм: представление сущности): I имеет значение свойства зависимости: Истина/Ложь,
((для некоторых К)
((мм: представление сущности): I имеет свойство «потомок в»: К,
(мм: отношение связи): К имеет значение свойства определенности: «Истина»)
если
Истина/Ложь = «Истина»)).
Б.5.3.14 Перемещаемый атрибут
Атрибут сущности является перемещаемым тогда и только тогда атрибут является атрибутом внешнего ключа отношения связи или атрибутом первичного ключа категории.
(для всех *)
((мм: атрибут представления сущности): I имеет значение свойства перемещаемый: «Истина»
если (для некоторых внешних ключей, С)
(мм: атрибут представления сущности): I имеет значение свойства «используется как»:
внешний ключ
или
(мм: атрибут первичного ключа): I имеет представление сущности: С,
существует (мм: категория): С).
Б.5.3.15 Атрибут является принадлежащим, если он не перемещаемый
На уровне модели «сущность-связь» атрибуты не являются ни принадлежащими ни перемещаемыми; оба свойства принадлежащий и перемещаемый являются нулевыми. Если какое-либо свойство ненулевое, тогда оно является истинным, а второе – ложным.
(для всех *)
(если (для некоторых Х) ((мм: атрибут представления сущности): I имеет значение
свойства перемещаемый: Х)
тогда
(мм: атрибут представления сущности): I имеет значение свойства перемещаем: Ложь)
если
(мм: атрибут представления сущности): I имеет значение свойства принадлежит: Истина).
Б.5.3.16 Атрибут может принадлежать больше, чем одной сущности в представлении
(для всех *)
(если (мм: атрибут представления сущности): I1 имеет идентификатор представления: V,
(мм: атрибут представления сущности): I2 имеет идентификатор представления: V,
(мм: атрибут представления сущности): I1 имеет идентификатор сущности: Е1,
(мм: атрибут представления сущности): I2 имеет идентификатор сущности: Е2,
(мм: атрибут представления сущности): I1 имеет идентификатор атрибута: А,
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.