Сетевые модели

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

Сетевая БД состоит из набора экземпляров определенного типа записи и набора экземпляров определенного типа связей между этими записями.

Тип связи определяется для двух типов записи: предка и потомка. Экземпляр типа связи состоит из одного экземпляра типа записи предка и упорядоченного набора экземпляров типа записи потомка. Для данного типа связи L с типом записи предка P и типом записи потомка C должны выполняться следующие два условия:

· каждый экземпляр типа записи P является предком только в одном экземпляре типа связи L;

· каждый экземпляр типа записи C является потомком не более чем в одном экземпляре типа связи L.

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

H=< I, C1, C2,..Gamma>

C1, CN - это множества типов связей

Gamma - задающая отношения типизирующие связи

Здесь возможны произвольные типы связей, не являющиеся отношениями в математическом смысле, например ассоциативные.

Как правило вводятся ограничения на типы I и C и как правило сеть упрощается.

Бинарные модели - С1..СN только бинарные отношения.

Классифицирующие сети - иерархические отношения.

Функциональные сети - вычислительные модели.

Модели типа сущность-связь.

В основе моделей этого типа лежит конструкция, названная ранее семантической сетью. Сетевые модели формально можно задать в виде H = < I, C₁, C₂,..., C_n, Г >. Здесь I есть множество информационных единиц; C₁, C₂,..., C_n - множество типов связей между информационными единицами. Отображение Г задает между информационными единицами, входящими в I, связи из заданного набора типов связей.

В зависимости от типов связей, используемых в модели, различают классифицирующие сети, функциональные сети и сценарии. В классифицирующих сетях используются отношения структуризации. Такие сети позволяют в базах знаний вводить разные иерархические отношения между информационными единицами. Функциональные сети характеризуются наличием функциональных отношений. Их часто называют вычислительными моделями, т.к. они позволяют описывать процедуры " вычислений" одних информационных единиц через другие. В сценариях используются каузальные отношения, а также отношения типов " средство - результат", " орудие - действие" и т.п. Если в сетевой модели допускаются связи различного типа, то ее обычно называют семантической сетью.