ПОИСК Статьи Чертежи Таблицы Структура и формализация реляционного банка данных комплексной САПР из "Теоретические основы построения базовых адаптируемых компонентов САПР МЭА " Установление формализма для описания предметной области базы данных требует определения способов построения ее правильных состояний. Одним из способов выражения этих правил является введение некоторого формального языка, обеспечивающего возможность отображения одного правильного состояния базы данных в другое [14]. [c.189] Тогда базу данных можно трактовать [28, 53] как модель В = = [В, Л). [c.189] Для базы данных р со схемой Т запрос к базе данных представляется как формула языка и сигнатуры 5 со свободными переменными из Е. Множество истинности формулыв В называется непосредственным ответом на запрос. Объединение множеств истинности всех формул, выводимых из в рамках теории Т, называется полным ответом на запрос. [c.189] Концептуальная схема фиксирует динамику развития базы данных. Для этого используются инварианты, задаваемые системой аксиом Р. Аксиомы выражены в виде формул на языке описания данных. Они позволяют сформулировать необходимые виды зависимостей между множествами объектов в базе данных. Множестводопустимых состояний базы является, таким образом, пересечением множеств истинности всех аксиом. [c.189] Дополнительные ограничения на множество допустимых состояний базы данных могут быть заданы программно, т. е. заложены в язык манипулирования данными. [c.189] Основными понятиями предметной области, относительно которых в базе данных хранятся какие-либо факты, являются объекты. Все их множество подразделяется на классы однотипных объектов. Каждому классу ставится в соответствие п-арное отношение, являющееся областью интерпретации п-местных предикатов. [c.190] Множество S у U называется сигнатурой. [c.190] Использование многосортного языка исчисления предикатов позволяет создать систему формирования сложных запросов к базе данных. При этом возможен автоматический контроль, учитывающий однородность представления сортов и семантическую сопоставимость таких сортов. [c.190] Множество правил вывода сводится в данной реализации к тождественной подстановке имени одной предметной переменной другим, определенным как синоним данного имени. Другие преобразования формул не допускаются. [c.191] Для полного определения концептуальной схемы введем систему аксиом условного постоянства, условной уникальности, синхронного нуля. [c.191] Эти аксиомы являются глобальными и определены для всех отношений в базе данных. [c.191] Аксиома синхронного нуля неявно налагается на вводимые в корректируемые отношения. Нарушение этой аксиомы обнаруживается системой контроля. Оставшиеся аксиомы определяются алгоритмом хранения данных и выполнение их гарантируется системой. [c.191] Кроме этих аксиом существует еш,е аксиома обобщения. Н языке описания данных аксиома обобщения выражается отношением, не содержащим простых доменов. Каждая аксиома обобщения определяет родительское отношение и совокупность связанных непосредственно с ним отношений. Родительское отношение, введенное некоторой аксиомой обобщения, образует корневую вершину родовой иерархии. [c.191] Вернуться к основной статье