Известные средства описания данных ориентируются на формы представления информации (синтаксические модели данных) или смысловые характеристики информации (семантические модели).
Семантические модели данных являются средством представления структуры предметной области. Такие модели имеют много общего с иерархическими и сетевыми моделями данных, они могут использоваться как средство построения структуры соответствующих баз данных.
Семантические модели должны отвечать следующим требованиям:
· обеспечить интегрированное представление о предметной области;
· понятийный аппарат модели должен быть понятен как специалисту предметной области, так и администратору БД;
· модель должна содержать информацию, достаточную для дальнейшего проектирования ЭИС.
Семантические модели данных используют общий набор понятий и отличаются конструкциями, применяемыми для их выражения, полнотой отражения понятий в модели, удобством использования при разработке ЭИС. Как эталон семантической полноты рассматривается естественный язык, а для формализации языковых конструкций в моделях применяется аппарат математической лингвистики.
Рассмотрим конструкции естественного языка, декомпозиция которых невозможна без утраты смысла, т. е. высказывания. Структура высказываний оказывается достаточной для выражения закономерностей, присутствующих в предметной области и ЭИС.
Элементами высказываний служат атомарные факты. Способ представления атомарного факта состоит в указании объектов, их взаимодействий и свойств, которые описывают событие, соответствующее атомарному факту, а также указании времени наступления этого события.
Объекты могут быть атомарными и составными. Атомарный объект — это любой объект, разложение которого на другие объекты в рамках данной предметной области не производится. Составные объекты содержат так или иначе организованные множества объектов. Рекурсивно применяя это определение, можно получить произвольную структуру объектов и фактов и рассматривать ее как составной объект. Информация о том, что объект имеет некоторое свойство или несколько объектов взаимосвязаны, представляется в виде высказывания об объекте (или группе объектов).
Существуют правила вывода новых свойств и связей из ранее определенных свойств и связей. Конъюнкция двух свойств является новым свойством. Свойства могут образовывать комбинации и наследоваться через связи.
Объект может существовать независимо от того, определены или нет свойства и связи, относящиеся к этому объекту. Обязательное свойство, необходимое для определения существующего объекта, — это время его появления и время его исчезновения (как элемента информационных потребностей пользователей ЭИС).
Объект может быть составным, т. е. построенным как множество других объектов и, возможно, атомарных фактов.
Объекты могут вступать в отношения двух типов — обобщения, когда один объект определяется в виде множества других объектов, и агрегации, когда объект соотносится с именем действия, в котором он может участвовать. Например, объект Личность обобщает такие объекты, как Рабочий, Служащий, Студент; объект Транспорт агреги
руется с действием Перевозка. Обобщения и агрегации могут образовывать иерархические структуры.
Семантические модели данных обычно предполагают два уровня интерпретации, уровень объектов предметной области и уровень атрибутов базы данных. Оба уровня при необходимости можно совместить в одном представлении.