Контроль несовместимости

Данное средство позволяет объявлять любую пару компонент несовме­стимой. Это означает, что данные компоненты не могут одновременно входить в структуру, являющуюся результатом поиска по образцу, и, та­ким образом, все компоненты каждого референта должны быть совмести­мы между собой. Контроль несовместимости — необходимая составляю­щая любой многовариантной стратегии вывода (например, стратегии на графах).

Контроль несовместимости может осуществляться несколькими спо­собами:

- сочетанием структуры каркаса и образца. Так, например, если кар­кас — ациклический граф, а образец — всегда цепочка, то компо­ненты базы, не принадлежащие одновременно одному пути в кар­касе, не войдут совместно в один результат операции "поиск", т.е. фактически оказываются несовместимыми. Такая схема может ис­пользоваться при обработке цепочки, когда в одной базе данных хранятся промежуточные результаты различных вариантов выво­да, локально несовместимых друг с другом;

- введением отношения несовместимости в каркасе, т.е. добавлением к каркасу дуг с соответствующей пометкой между всеми несовме­стимыми вершинами. При этом несовместимость всех вершин ре­ферента может обеспечиваться либо процедурно операцией "поиск по образцу", либо включением в образец отрицательного контекста, явно требующего отсутствия у референта дуг несовместимости;

- введением специального механизма, контролирующего несовмести­мость с помощью, например, бинарной матрицы, отражающей со­вместимость и несовместимость всех компонент в базе данных.

Ассоциативная надстройка

Последней подсистемой базы данных является ассоциативная надстрой­ка, представляющая собой специальную структуру, используемую для повышения эффективности операции "поиск по образцу" и тем самым оптимизирующую процесс поиска правил, применимых к текущему со­стоянию базы данных. Ассоциативная надстройка отражает текущее со­стояние базы данных, являясь как бы "рефератом" ее содержания, орга­низованным с ориентацией на указанные задачи оптимизации.

Очевидно, что при изменении состояния базы данных (при добавле­нии и исключении компонент) требуется затрата дополнительных уси­лий на редактирование ассоциативной надстройки. Таким образом, со­кращая затраты, связанные с операцией "поиск по образцу", введение этой подсистемы увеличивает затраты на остальные две операции.