3. Другие компоненты инфологической модели

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

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

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

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

Ограничения могут быть внутренними (неявными) и явными.

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

К внутренним ограничениям целостности в нотациях IDEF1X можно отнести:

• ограничения на значения ключевых атрибутов: уникальность значений атрибутов первичных и альтернативных ключей определяется понятием ключа. Эти ограничения задаются соответствующим выделением ключей в концептуальной схеме;

• ограничения на допустимые значения атрибутов: все допустимые значения атрибутов должны удовлетворять условию принадлежности соответствующему домену. Эти ограничения задаются соответствующим описанием доменов и атрибутов. Кроме того, в описании атрибутов указывается обязательность значений определенных атрибутов;

• ограничения на существующие значения (ссылочные ограничения): существование одних сущностей (дочерних, типа категория) ставится в зависимость от существования других (родительских, родовых). Эти ограничения представляются с помощью соответствующих связей между множествами сущностей.

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

Лингвистические отношения. Описание предметной области всегда бывает представлено в какой-то знаковой среде. Поэтому кроме отношений, присущих предметной области, возникают еще и отношения, обусловленные особенностями отображения предметной области в выбранной языковой среде. В связи с этим при построении инфологической модели обязательно должны учитываться (если они, конечно, имеются) такие лингвистические категории, как синонимия, омонимия, изоморфизм и т.п.

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