В MS Access обеспечивается возможность автоматической проверки целостности данных в связанных полях. Целостность данных означает систему правил, используемых для поддержания связей между записями в связанных таблицах, а также для обеспечения защиты от случайного удаления или изменения связанных данных. Установит проверку целостности данных можно, если выполнены следующие условия: 1. Связанное поле главной таблицы является ключевым полем или имеет уникальный индекс; 2. Связанные поля имеют один тип данных. Здесь существует два исключения. Поле счетчика может быть связана с числовым полем, если в последнем поле в св-ве Размер поля указано значение Длинное целое, или в обоих полях св-во Размер поля имеет значение Код репликации; 3. Обе таблицы принадлежат одной БД в MS Access.
Журнал транзакций – группа файлов в которые записываются изменения, внесенные завершенными транзакциями. Этой информацией достаточно чтобы восстановить базу.
Знания. Их виды. Базы знаний. Модели представления знаний.
Общий СУБД в сочетании с информационными потребностями менеджмента и исследований искусственного интеллекта (ИИ) привело к росту заинтересованности в превращении СУБД в СУБЗ. База знаний – сов-ть систематизированных основополагающих сведений, относящихся к опр-ой области знания, хранящихся в памяти ЭВМ, объем кот.необходим и достаточен для решения заданного круга теоретических или практических задач.
Содержание БЗ оформляет связь между собой и представляет таким образом, чтобы на основе, с помощью спец. программ можно было рассуждать, делать выводы, получать информацию, кот.в явном виде может не присутствовать.
Для построения БЗ принимают методы искусственного интеллекта, спец. языки описания знаний, интеллектуальный интерфейс, кот.может принимать внутренний образ в зависимости от ситуации.
Различают две технологии: 1.технология пассивных БД – традиционные БД, направленные на обеспечение, хранение данных; 2.технология активных БД – инициирует действия над данными базы и управляет ими внутри среды базы по установленным правилам без получения управления воздействовать от программ или внешних источников. Они используют след.конструкцию: ограничение – простые конструкции языка SQL выстраивание бизнес правил в БД вместо логики приложений; утверждение – сам конструктор языка SQL, использует для спецификации ограничений, кот. могут затрагивать более, чем одну таблицу; хранимая процедура – модуль прикладной программы, кот. относится к БД, а не к внешней программной среде, кот. использует эту базу. Ключевым компонентом, кот.обеспечивает превращение БД в активную среду явл. тригеры. Тригер – процедура БД, запуск в случае если над объектом базы, над которым она ассоциирована выполняется одна из заданных спецификации операции. Его невозможно запустить из клиентс приложения. Активная база – система, кот.следует по правилам: событие – условие – действие.
Продукционные модели.
Продукционная модель – это модель основанная на правилах позволяющая представить знания в виде предложений типа: «ЕСЛИ условие ТО действие».
«Условие» - некоторое предложение-образец, по которому осуществляется поиск в БЗ.
В общем случае продукционную модель можно представить в следующем виде: - имя продукта; - сфера применения продукции; - условие применимости продукции; - ядро продукции; -постусловия продукции, актуализирующиеся при реализации продукции; - коментарий, неформальное пояснение продукции.
Традиционная продукционная модель знаний включает в себя следующие базовые компоненты: 1. Набор правил; 2. Рабочую память (хранятся исходные факты, а также факты выведения из исходных фактов при помощи механически логического вывода); 3. Механизм логического вывода.
Кол-во таких операций может быть безгранично.
Факт – это утверждение, являющиеся постоянно истинным. Для построения базы фактов применяются формальные языки.
Правило – параметрическое утверждение состоящее из двух частей: условие и результат.
Машина вывода – программа, которая выполняет логический вывод из предварительно постоянной базы фактов и правила в соответствии с законами формальной логики.
Машина вывода выполняет одну или обе из следующих операций: 1. Проверка истинности некоторого факта; 2. Нахождение множества значений параметра некоторого правила (правило превращается в факт).
Логическое отрицание- проблема способа определения неистинности факта.