Методология построения реляционных структур IDEF1X.

Обозначения сущностей (табл. 1):

Таблица 1

Элемент диаграммы	Обозначает
	независимая сущность
	зависимая сущность

Экземпляры независимой сущности могут быть уникально идентифицированы без определения ее связей с другими сущностями; зависимая сущность, наоборот, не может быть уникально идентифицирована без определения ее связей с другими сущностями.

Список атрибутов приводится внутри прямоугольника, обозначающего сущность. Атрибуты, составляющие ключ сущности, группируются в верхней части прямоугольника и отделяются горизонтальной чертой.

Обозначения связей (табл. 2):

Таблица 2

Элемент диаграммы	Обозначает
	идентифицирующая связь
	неидентифицирующая связь

Связь называется идентифицирующей, если экземпляр дочерней сущности идентифицируется через ее связь с родительской сущностью. Атрибуты, составляющие первичный ключ родительской сущности, при этом входят в первичный ключ дочерней сущности. Дочерняя сущность при идентифицирующей связи всегда является зависимой.

Связь называется неидентифицирующей, если экземпляр дочерней сущности идентифицируется иначе, чем через связь с родительской сущностью. Атрибуты, составляющие первичный ключ родительской сущности, при этом входят в состав неключевых атрибутов дочерней сущности.

Допустимость пустых (NULL) значений в неидентифицирующих связях изображается пустым ромбиком на дуге связи со стороны родительской сущности.

Обозначение кардинальности связей (табл.3):

Таблица 3

Элемент диаграммы	Обозначает
	1,1
	0,M
	0,1
	1,M
	точно N (N - произвольное число)

Кроме того, в IDEF1X вводится понятие “отношение категоризации”, по смыслу эквивалентное иерархической связи. Отношение полной категоризации (сущности-категории составляют полное множество потомков родительской сущности) обозначается (рис. 15):

Рис. 15

Также может существовать отношение неполной категоризации когда сущности-категории составляют неполное множество потомков общей сущности (рис. 16):

Рис. 16

Родительская сущность категории называется супертипом, а дочерние - подтипом. В сущности-супертипе вводится атрибут-дискриминатор, позволяющий различать конкретные экземпляры сущности - подтипа.

Пример (рис. 17):

Рис. 17