Иерархия наследования. Классификация и обобщение. Наследование ОЦ. Разграничение доступа

Отличительной особенностью СС, как модели данных является то, что и ОЦ представляются также в виде вершин и дуг сети, что позволяет ОЦ манипулировать при помощи тех же операций, что и над данными. Поэтому конкретные сущности могут наследовать ОЦ, как от родительской (is_a), используются ОЦ, которые «висят» на связи, а может в виде представления понятий в языке исчисления предикатов первого порядка, но в виде СС.

Следовательно, СС имеют практически неограниченные возможности по представлению

любых ОЦ. Кроме того, существуют, часто называемые, процедурными СС, где допускаются процедурные вершины сети. Это так называемые «демоны», которые активизируются при доступе к соответствующей вершине. Вызовом процедуры является контекст. Такой подход позволяет реализовать не только то, что мы называем триггерами, но и при условии, когда в качестве параметров процедуры выступает доступный контекст сети реализовать динамику преобразования сети, т.е. изменение контекста вызова. Это тот самый побочный эффект, который при традиционном программировании нежелателен, но требуется для ИИ.

ОЦ. Виды задания ОЦ (4)

ОЦ могут быть представлены:

- Семантической подсетью,

- Процедурными вершинами

- Подсетью с логическими вершинами типа: предикат, конъюнкция, дизъюнкция и т.д.  

- Логическими вершинами, содержащими утверждения на языке исчисления предикатов 1 порядка

Допустимые операции. Концепция программ.

Допустимые операции

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

Некоторый экземпляр сущности может появится в БД автоматически, как принадлежащий

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

что операции (вставка, удаление, изменение, поиск, перебор) единообразно выполняются не только над данными, но и над описанием данных (над метаданными) и даже над операциями, МД на СС являются наиболее гибкими и универсальными по сравнению с другими МД, в которых обычно действия над данными и над схемой разделены. Более того в СС может быть представлен не только перечисленные выше, но и такие абстрактные категории, как программа (в процедурном, объектном смысле). Причем, эти понятия представляются аналогично другим, т.е. в виде вершин и дуг сети. Если говорить в объектном стиле, то программа – объект, а экземпляром является процесс.

4) Основные операции

5) Концепция времени

Сравнение синтаксических и семантических моделей данных.

Отличия семантической модели данных от синтаксической.

1. Наличие мощных и более выразительных средств для естественного

представления сложным образом организованных и взаимосвязанных данных. Это

объясняется тем, что большинство семантических моделей являются графовыми и

мультиграфовыми.

2. Наличие более развитых и многообразных ограничений целостности на уровне

моделей, что значительно повышает семантическую мощь моделей при описании

реальных данных. В отличие от синтаксической модели данных допускаются явные

ограничения целостности, которые накладываются не только на объекты и их

взаимосвязи, но и на операции, что позволяет «построить» встроенные операции языка

манипулирования под специфику конкретной ПО. Например, вместо обычной операции

вставки записи в таблицу «супружество» будут использоваться специальные операции

вставки, проверяющие ОЦ в соответствии с культурными традициями конкретной

страны.

Необходимо понимать, что ОЦ, накладываемые на объекты и их связи, задаются в

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

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

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

наложено ограничение, причем либо над всем множеством данных, либо только над

конкретными данными.

3. Возможность представления в семантических моделях не только описания данных,

но и описания метаданных и даже метазнаний, т.е. знаний о знаниях, что позволяет

вносить изменения на уровне метаданных без необходимости внесения изменений в

программный код системы.

4. Единообразное представление и манипулирование как данными, так и

метаданными и даже ОЦ и операциями (для сравнения в традиционной МД операции над

данными и над схемой – метаданными – разделены – нельзя одними и теми же

операциями вставить, удалить действовать над схемой, как над данными). Данные,

метаданные, ОЦ, операции – работа единообразна.

Традиционные операции над данными (вставить, удалить, изменить) в СС имеют побочный эффект, который отличает их от традиционного подхода и является желательным. Некоторый экземпляр сущности может появится в БД автоматически, как принадлежащий еще одному типу сущности в результате выполнения ОЦ, тогда как в традиционных моделях эту операцию создания, вставки нужно делать явно.

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