Cтраница 1
Реляционные выражения в этих правилах будут восприниматься оболочкой, по существу, как данные, поскольку факты-импликации и есть данные. Для оценки реляционного выражения произвольной формы, представленного в качестве данных, требуется провести значительную работу. Необходимо понять, что сложность состоит не в написании на Прологе программы для оценки конкретного выражения, а в том, что при ее создании не известно, какое выражение будет использовано в дальнейшем. [1]
Каждое ограниченное реляционное выражение может быть представлено с помощью специальных матриц, называемых таблицами. Столбцы такой матрицы соответствуют атрибутам универсума в некотором фиксированном порядке. Первая строка таблицы называется оглавлением, остальные - строками. Оглавление указывает атрибуты, которые должны принадлежать результирующему отношению. [2]
Оценка реляционных выражений ( установление истинности или ложности) всегда включает две операции. [3]
Пусть Е - ограниченное реляционное выражение, а Т - таблица, построенная для t по приведенным выше правилам. [4]
Наиболее сложным при оценке реляционных выражений является случай, когда алгебраические выражения находятся по обе стороны центрального оператора. Наилучший способ, который используется в стандартном Прологе, разительно отличается от методов Турбо Пролога. В стандартном Прологе нам необходимо представить алгебраическое выражение в виде дерева выражений списковой формы и с его помощью создать последовательность динамических целей, которые, выполнив арифметические действия, преобразуют алгебраическое выражение в число. [5]
Таким образом, класс ограниченных реляционных выражений является подклассом класса монотонных реляционных выражений. [6]
При вычислении запроса определяются все реляционные выражения, соответствующие дугам семантического графа, указанным в предложении FROM запроса. [7]
S U Q) - Реляционные выражения Е и Е2 строго эквивалентны, если V ( Ei) V ( E2) при фиксированных схемах отношений. [8]
Нужны ли правила в виде реляционных выражений. [9]
Правила построения таблицы позволяют каждому ограниченному реляционному выражению поставить в соответствие таблицу. [10]
Пример операции деления. [11] |
Операция присваивания позволяет сохранить результат вычисления реляционного выражения в отношении базы данных. [12]
Оценка алгебраического выражения составляет большую часть обработки реляционных выражений. Приведем механизм, который здесь будет использован. Любое алгебраическое выражение обрабатывается в трех последовательных операциях. В первой выделяются унарные минусы и заменяются новыми символами, т.е. они становятся отличимыми от бинарных. Это важно, поскольку указанные две операции имеют различный порядок выполнения. И наконец, полученное выражение оценивается одним действительным числом посредством простого стекового алгоритма. [13]
Приведенные выше законы можно применять для оптимизации реляционных выражений. Получаемые в результате оптимизированные выражения удовлетворяют принципам, изложенным в разд. Мы попытаемся перемещать операции селекции и проекции, насколько это возможно, вниз в дереве разбора выражения, хотя нам хотелось бы организовать каскад таких операций в виде одной селекции с одной последующей проекцией. По возможности будем также группировать операции селекции и проекции с предшествующей двуместной операцией, такой, как объединение, декартово произведение или разность множеств. [14]
Отношение / называется экземпляром универсума, а два реляционных выражения, принимающие одинаковые значения при всех таких присваиваниях значений схемам отношений - слабо эквивалентными. [15]