Cтраница 2
Введем теперь другие классы схем программ, а именно кл сс РА схем с массивами индексированных переменных, класс РА - схем с массивами и предикатом равенства, применяемым к индексированным переменным, класс PL схем, допускающих метки / в качестве значений, которые можно присваивать переменным, класс Рт схем, допускающих конечное число маркеров в качестве значений переменных, и класс Рра8 схем, которые могут использовать магазинную память. [16]
Чтобы привыкнуть к понятию выразимости, рассмотрим еще один пример. Пусть сигнатура содержит предикат равенства и трехместный предикат С. Оказывается, что этого предиката достаточно, чтобы выразить более или менее все традиционные понятия элементарной геометрии. [17]
При выполнении правила Дейталога со встроенными предикатами необходимо соблюдать следующий принцип: вычисление встроенного предиката откладывается до тех пор, пока все его переменные не будут связаны константами. Исключение здесь можно ( иногда даже нужно) сделать для предиката равенства. Предикат равенства можно вычислять, как только один из его аргументов либо является константой, либо связан константой. [18]
Конструкция WHERE квалификация не предусмотрена в языке данных IDMS. Заметим, что вообще единственной квалификацией, допустимой в IDMS, является квалификация по предикату равенства. [19]
Приведенный выше пример показывает, что для программ, содержащих встроенные предикаты, необходимо дополнительное условие безопасности. Для этого достаточно потребовать, чтобы каждая переменная, являющаяся аргументом встроенного предиката в теле правила, либо входила в обычный предикат в теле того же правила, либо была связана предикатом равенства ( или последовательностью предикатов равенства) с переменной такого обычного предиката или с константой. [20]
Приведенный выше пример показывает, что для программ, содержащих встроенные предикаты, необходимо дополнительное условие безопасности. Для этого достаточно потребовать, чтобы каждая переменная, являющаяся аргументом встроенного предиката в теле правила, либо входила в обычный предикат в теле того же правила, либо была связана предикатом равенства ( или последовательностью предикатов равенства) с переменной такого обычного предиката или с константой. [21]
Обозначим через РВ класс схем программ над стандартной памятью, допускающих возвраты вышеописанного вида. Класс Р ( п, т) - класс стандартных схем с я-стеками ( по данным), способными запоминать промежуточные значения переменных, и т-маркерами, Рвм - класс схем, допускающих возвраты и обладающих дополнительной возможностью расставлять метки на значениях переменных, РА / П / - класс схем, допускающих индексирование переменных, маркеры в качестве значений переменных и предикат равенства. С точки зрения дискретных преобразователей класс РВМ является классом отмечающих преобразователей над стандартной памятью. Эти соотношения будут использованы в следующей теореме. [22]
При выполнении правила Дейталога со встроенными предикатами необходимо соблюдать следующий принцип: вычисление встроенного предиката откладывается до тех пор, пока все его переменные не будут связаны константами. Исключение здесь можно ( иногда даже нужно) сделать для предиката равенства. Предикат равенства можно вычислять, как только один из его аргументов либо является константой, либо связан константой. [23]
В приложениях часто бывает важно, чтобы в схеме языка исчисления предикатов присутствовал знак равенства. Предикат равенства можно вводить в систему символов отношений Ф и одновременно в аксиомы исчисления предикатов добавляются аксиомы равенства. Равенство можно определить и для произвольных алгебр Халмоша, и делается это следующим образом. [24]
В языке LISP имеется пять операций, которые, хотя и не имеют специальных наименований, лежат в основе всех остальных. LISP использует их в качестве виртуального машинного кода при построении более сложных примитивов. Например, в LISP имеются полиморфные предикаты равенства. [25]
Потребуем, чтобы каждая переменная, входящая в специальный литерал, входила также в обычный литерал или была связана последовательностью предикатов равенства с константой либо с переменной, входящей в обыкновенный литерал. [26]
Имеется в виду логика первой ступени. Чистота обозначает отсутствие символов постоянных предикатов и операций. В частности, отсутствует предикат равенства. [27]
Модификацией понятия финитной аппроксимируемости является финитная аппроксимируемость относительно предикатов. Пусть я-предикат, выделяющий свойства элементов и ( или) подмножеств полугруппы. Полугруппа S называется финитно аппроксимируемой относительно предиката я, если для любой комбинации значений элементов [ ai) и ( или) подмножеств М /, при которой значение я ложно, существует такой гомоморфизм р полугруппы S в конечную полугруппу, что значение л для c - f и ( или) Af / ф также ложно. Обычная финитная аппроксимируемость соответствует в этом определении предикату равенства. Полугруппу, ф.а. относительно вхождения элемента в подполугруппу, называют финитно отделимой. [28]
Его основная функция состоит в установке или переустановке указателя позиции на конкретную запись или конкретный тип записи. Он может применяться также, когда обработка данных отличается от последовательной. В общем случае селектируется наиболее левая запись дерева базы данных, удовлетворяющая квалификации. Выборка уникальной записи гарантируется, только если квалификация накладывает условие по предикату равенства на ( иерархический) ключ корневой записи. Запрос 1 иллюстрирует использование оператора GET UNIQUE. Предполагается, что Код больницы является иерархическим ключом записи типа БОЛЬНИЦА. [29]
Термы ФА интерпретируются как натур, числа. Пеано, характеризующие натур, ряд чисел; аксиомы 18 и 19 определяют сложение; аксиомы 20 и 21 - умножение натур, чисел; аксиома 16 характеризует предикат равенства. [30]