Cтраница 4
Сердцем ПМК является процессор, точнее, арифметическо-ло-гическое устройство. Оно работает совместно с операционным стеком, состоящим из пяти регистров: X, Y, Z, Т и XI. Регистры X и Y особенно важны, так как из них берутся числа для выполнения двуместных операций: сложения, вычитания, умножения, деления и возведения в степень. [46]
Если операндами двуместной операции являются селекции и ( или) проекции1, применяемые к листьям дерева, имеют место некоторые специальные случаи. Следует внимательно рассмотреть, как нужно выполнять эту двуместную операцию. Иногда целесообразно слить с ней селекцию или проекцию. Например, когда двуместная операция представляет собой объединение, можно слить операции селекции и проекции, находящиеся ниже ее в дереве, без потери эффективности, поскольку мы так или иначе должны копировать операнды, чтобы сформировать объединение. Если, однако, двуместной операцией является декартово произведение без последующей селекции, которая превратила бы его в эквисоединение, предпочтительнее выполнить сначала селекцию и проекцию, оставляя результаты во временном файле, так как размер файлов-операндов весьма влияет на время, требуемое для вычисления полного декартова произведения. [47]
Приведенные выше законы можно применять для оптимизации реляционных выражений. Получаемые в результате оптимизированные выражения удовлетворяют принципам, изложенным в разд. Мы попытаемся перемещать операции селекции и проекции, насколько это возможно, вниз в дереве разбора выражения, хотя нам хотелось бы организовать каскад таких операций в виде одной селекции с одной последующей проекцией. По возможности будем также группировать операции селекции и проекции с предшествующей двуместной операцией, такой, как объединение, декартово произведение или разность множеств. [48]
Рассмотрим выражения в элементарных функциях, представленные в записи без скобок. Хп, где индекс п означает показатель степени. Выражение в элементарных функциях в записи без скобок содержит формулы вида аАВ, где а - знак двуместной операции, и формулы вида рЛ, где р - знак одноместной операции. [49]
Построение М.л. осуществляется по аналогии с пестрое-нием классич. Один из путей такого построения, к-рый можно назвать семантическим, состоят в явном указании фиксированного множества истинностных значений, к-рые могут принимать высказывания, и задании логич. Формально каждая М.л. задается с помощью нек-рой фиксированной логич. D, &, v, Э, ]) состоит нз непустого множества М истинностных значений с заданными на нем двуместными операциями &, у, Э и одноместной операцией 1, соответствующими логич. [50]