к каждому из этих примитивных понятий.
Основой этих подходов является моделирование данных.
Подходысущность-атрибут-связьследуетхарактеризоватькак
ориентированные на определение статических аспектов. Они представлены в
общих чертах в приложении Г.
Подходы, основанные на бинарных и элементарных-арных отношениях,
различают сущности и имена сущностей, но не различают атрибуты и связи.
Подходы базируются на трех основных понятиях:
- сущности;
- имена сущностей;
- бинарные отношения.
В этих подходах используются также понятия тип и реализация, применяемые
к каждому из примитивных понятий.
Подходы, основанные на бинарных и элементарных-арных отношениях,
базируются на моделировании проблемной области прямолинейным образом и
по отдельным элементам, используя предложения, выражающие простые
элементарныевысказывания,невводяспецифическойклассификации
элементов.
Общие принципы подходов на основе бинарных и элементарных-арных
отношений представлены в приложении Д.
Подходы на основе интерпретируемой логики предикатов воспринимают
проблемную область как состоящую исключительно из сущностей, для которых
выполняютсяопределенныевысказывания.Концептуальнаясхемаи
информационная база образуют описание, состоящее только из множества
предложений, закодированных на некотором формальном языке, основанном на
формальной логике. Такие предложения состоят из:
- термов и переменных;
- предикатов;
- логических связей;
- кванторов.
Термы и переменные относятся к сущностям в проблемной области, а
предложения выражают высказывания об этих сущностях.
Суть подходов - формирование интерпретируемой, аксиоматизированной,
дедуктивной, формальной системы логики, описывающей проблемную область и
не налагающей какого-либо ограничения со стороны метода моделирования на
саму проблемную область.
Обзор этих подходов на основе интерпретируемой логики предикатов более