Cтраница 1
Инфологическая модель данных относится к слабо типизированным моделям. В рамках этой модели все может быть объявлено объектом, и любая связь или свойство, имеющие место в определенное время, сопоставимы факту. В ней нет априори определенных типов объектов, свойств или связей, которым должны соответствовать все факты. Отсутствует и априорно определенная схема. Тем не менее при необходимости путем группирования объектов и их свойств можно выделить типы объектов. [1]
Инфологическая модель данных позволяет специфицировать синтаксические ограничения целостности, определяющие множество потенциально достоверных плеяд. Все допустимые элементарные сообщения соответствуют этим плеядам. Существует возможность наложить ограничения на свойства сообщений или их соответствие тому или иному типу. [2]
Помимо инфологической модели данных, существуют другие, более общие модели, также ориентированные на представление структур и данных реального мира. Прежде всего здесь следует назвать естественный язык. Однако главным препятствием к его использованию в инфологическом моделировании, помимо очевидных сложностей компьютерной обработки текстов, является присущая естественному языку неоднозначность. В частности, по этой причине уже в рамках ранних исследований по инфологии было предложено использовать средства формальной логики, такие, как исчисление предикатов, где отсутствуют специальные понятия, связанные со временем - существенным ингредиентом представления реального мира. [3]
Различия между традиционными и инфологическими моделями данных аналогичны различию между мнением и истиной. Во многих моделях большинство сообщений относится к одной из двух категорий: истинные или ложные. Инфологическая модель предполагает возможность представления любого сообщения с какой-то долей вероятности, т.е. в виде аналога мнения. Анализ такого сообщения возможен при учете конкретного контекста. [4]
Наибольшее сходство с инфологическими моделями данных имеют сетевые модели. [5]
Методической основой построения ИБД являются системные соглашения по разработке ИБД, обобщенные инфологические модели данных ТЭК и СЭ и методика проектирования баз данных ( приводится в разд. [6]
В книге канадских исследователей излагается неформальная теория моделей данных, анализируются наиболее распространенные модели - иерархическая, сетевая и реляционная. Рассматриваются модели объектов-связей, бинарные модели, семантические связи и инфологические модели данных. Обсуждаются проблемы, возникающие при проектировании баз данных. [7]
Из числа всех возможных сообщений, соответствующих достоверным плеядам, выделяются истинные сообщения, а они в свою очередь специфицируют истинные плеяды. Однако отображение множества сообщений во множество плеяд зависит от контекста. Понятие контекст существенно используется в инфологической модели данных - элемент, связанный с моделированием присущего человеку механизма понимания. Человек может понять нечто только в конкретном ( и, увы, иногда сложном) контексте. Концепция контекста существенно усложняет спецификацию ограничений. В зависимости от контекста сообщение может отображаться более чем одной плеядой, быть истинным или ложным. [8]
Инфологическая модель позволяет специфицировать один или несколько фильтров. Они в процессе интерпретации плеяд Контролируют соблюдение заданных ограничений. Отличие от большинства других моделей заключается здесь в том, что последние предусматривают выполнение контроля на этапе ввода данных. Инфологическая модель данных допускает возможность ввода данных, ошибочных или противоречивых в определенном контексте. С помощью фильтров, специфицированных для этапа интерпретации, устанавливается истинность и непротиворечивость этих данных в других контекстах. [9]