Cтраница 3
Предикат expr-eval собирает воедино все механизмы, необходимые для применения правил с реляционными выражениями в посылке. Теперь отвлечемся от деталей expr-eval и рассмотрим, каким образом правила, использующие реляционные выражения, включаются в остальную часть. [31]
Первое, что необходимо отметить, это то, что все запросы в реляционной базе данных могут быть представлены реляционными выражениями. Поэтому достаточно иметь возможность установления эквивалентности двух реляционных выражений. [32]
Булевское выражение - это выражение, которое принимает значение истина или ложь в отличие от алгебраического, принимающего числовое значение. Реляционное выражение объединяет обе эти концепции. [33]
Оптимизированная LDL-программа, полученная после применения различных методов переписывания, транслируется в выражения реляционной алгебры, расширенной операциями поиска неподвижной точки. Эти выражения подаются на вход оптимизатора. Внутреннее представление этих реляционных выражений представляет собой графы обработки, являющиеся ориентированными графами, вершины которых соответствуют либо отношениям базы данных, либо операциям. Дуги отражают зависимость операций и их операндов. [34]
Мы задействовали стандартный факт-импликацию с восемью аргументами. Тип импликации указан первым аргументом, f - формула. Сама же формула ( реляционное выражение) представлена пятым аргументом в виде строки. [35]
Первое, что необходимо отметить, это то, что все запросы в реляционной базе данных могут быть представлены реляционными выражениями. Поэтому достаточно иметь возможность установления эквивалентности двух реляционных выражений. [36]
Предикат cond-multiplier предназначен для изменения знака коэффициента определенности посылки в том случае, если она отрицается NOT. Предикат с именем qualifier служит для установления правомерности применения необратимого правила в рассматриваемых условиях. Предикат же form-describer управляет объяснениями почему для правил, включающих реляционные выражения. [37]
По требованию пользователя даются объяснения КАК и ПОЧЕМУ. Используют средства разработки Турбо Пролога. Описывающие строки являются объектами рассуждения. В вывод может быть вовлечено произвольное число правил. В посылках правил допускается использование реляционных выражений. Переменные таких выражений могут быть, в свою очередь, заданы в отдельных операторах объявления. [38]