В отношении связи столько же атрибутов внешнего ключа, сколько атрибутов первичного ключа и каждый атрибут внешнего ключа потомка соотносится точно с одним атрибутом первичного ключа родителя.
Число атрибутов внешнего ключа связи равно числу атрибутов первичного ключа родителя.
(для всех *)
(если (мм: отношение связи): I1 имеет внешние ключи: L1,
(мм: отношение связи): I1 имеет родителя: J,
(мм: представление сущности): J имеет первичные ключи: L2,
считать (L1, C)
тогда
считать (L2,C)).
Домен D1 соотносится с другим доменом, D2, если D1 = D2 или если D2 – предок D1.
(для всех *)
((мм: домен): I соотносится с: J, если определено:
I = J
или
(мм: домен): I имеет предка: J).
Каждый атрибут внешнего ключа связи соотносится с атрибутом первичного ключа родителя.
(для всех *)
(если (мм: отношение связи): I имеет внешние ключи: L1,
(мм: отношение связи): I имеет родителя: К,
(мм: представление сущности): К имеет первичные ключи: L2,
представитель (L1, Fk)
тогда (для некоторых Pk)
(представитель (l2, Pk),
(мм: домен): Fk соотносится с: Pk)).
Каждый атрибут внешнего ключа связи соотносится больше, чем с одним атрибутом первичного ключа родителя.
(для всех *)
(если (мм: отношение связи): I имеет внешние ключи: L1,
(мм: отношение связи): I имеет родителя: К,
(мм: представление сущности): К имеет первичные ключи: L2,
представитель (L1, Fk)
представитель (L2, Pk1)
представитель (L2, Pk2),
(мм: домен): Fk соотносится с: Pk1
(мм: домен): Fk соотносится с: Pk2
тогда Pk1 = Pk2.
Б.5.3.24 Тип атрибутов первичного ключа связи уникален на атрибутах родового первичного ключа
Число атрибутов первичного ключа категории равно числу атрибутов родового первичного ключа и каждый атрибут первичного ключа категории соотносится точно с одним атрибутом родового первичного ключа.
Число атрибутов первичного ключа категории равно числу атрибутов родового первичного ключа.
(для всех *)
(если (мм: категория): I имеет первичные ключи: L1,
(мм: категория): I имеет кластер: К,
(мм: кластер): К имеет род: J,
(мм: представление сущности): J имеет первичные ключи: L2,
cчитать (L1, C)
тогда
cчитать (L2, C)).
Каждый атрибут первичного ключа категории соотносится с атрибутом родового первичного ключа.
(для всех *)
(если (мм: категория): I имеет первичные ключи: L1,
(мм: категория): I имеет кластер: К,
(мм: кластер): К имеет род: J,
(мм: представление сущности): J имеет первичные ключи: L2,
представитель (L1, Fk)
тогда (для некоторых Pk)
представитель (L2, Fk),
(мм: домен): Fk соотносится с: Pk)).
Каждый атрибут первичного ключа категории соотносится больше, чем с одним атрибутом родового первичного ключа.
(для всех *)
(если (мм: категория): I имеет первичные ключи: L1,
(мм: категория): I имеет кластер: К,
(мм: кластер): К имеет род: J,
(мм: представление сущности): J имеет первичные ключи: L2,
представитель (L1, Fk),
представитель (L2, Pk1),
представитель (L2, Pk2),
(мм: домен): Fk соотносится с: Pk1
(мм: домен): Fk соотносится с: Pk2
тогда
Pk1 = Pk2).
Б.5.4 Полноценная модель IDEF1X
Метамодель неформально определяет множество полноценных моделей IDEF1X обычным образом. Метамодель также формально определяет множество полноценных моделей IDEF1X следующим образом. Метамодель как модель IDEF1X находится в соответствии с формальной теорией. Семантика теории определена стандартным образом. То есть интерпретация теории состоит из домена индивидуализированных объектов и множества присваиваний.
Каждому модулю теории ставится в соответствие индивидуализированный объект в домене.
Каждому n-арному функциональному символу теории присваивается n-арная функция над доменом.
Каждому n-арному символу предиката теории ставится в соответствие n-арное отношение между доменами.
В предполагаемой интерпретации домен индивидуализированных объектов
состоит из представлений, таких как производство; множеств, таких как часть или
поставщик; доменов, таких как
кол-во_в_наличии; связывающих отношений; кластеров категорий и т.п.
Если каждая аксиома теории является истинной для интерпретации, тогда интерпретация зовется модель теории. Каждая модель теории IDEF1X соотносится с метамоделью IDEF1X и ее ограничениями для полноценной модели IDEF1X.
Б.6 Библиография
[B1] Браун, Р. Г., Логические методы проектирования баз данных, Корпорация Проектирования баз данных Mountain View, Калифорния, 1982.
[B2] Браун, Р. Г. и Паркер, Д. С. "LAURA, Модель Данных и Методология Ее Логического Проектирования," Материалы 9-й конференции VLDB., Флоренция, Италия, 1983.
[B3] Брюс, Т. А., Проектирование Качества Баз Данных с помощью Информационной Модели IDEF1X, Дорсет Хауз, 1992.
[B4] Хоггер, С. Дж., Введение в логическое программирование, Академик Пресс, 1984.
[B5] Лумис, М.Е.С., Книга о базах данных, Макмиллан, 1987.
[B6] Манна, З. и Вальдингер, Р., Логические основы компьютерного программирования, Том 1, Эдисон-Вэсли, 1985.
[B7] Системы обработки информации - Основные понятия и терминология для концептуальной схемы и информационной базы, Технический отчет ИСО 9007, 1987.
Б.7 Благодарности
Формализация IDEF1X января 1993 была написана Робертом Г. Брауном (Группа проектирования баз данных) путем рассмотрения ряда черновиков. Среди рецензентов были Том Брюс (Американский Банк), Бэн Коэн (Logic Works), Дэйв Браун (McDonell Douglas), Твилв Кортрот (Mitre), Крис Дабровский (NIST – Национальный институт стандартов и технологий), Джек Бодро (NIST), Дэн Спар (SRA – Ассоциация научных исследований), и Мэри Лумис (Versant Object Technology
Уважаемый посетитель!
Чтобы распечатать файл, скачайте его (в формате Word).
Ссылка на скачивание - внизу страницы.