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