Cтраница 2
Для большинства из рассмотренных выше языков программирования баз данных характерна возможность составления запросов с использованием предикатов. Такую же возможность предоставляет и Орион путем расширения существующего в нем понятия решетки классов. Класс Р Туре объединяет все классы, которые используются как примитивные домены внутренних переменных. Класс Collection объединяет объекты, представляющие коллекции других объектов. [16]
Риск изменения программы является главной причиной того, что мы должны проявлять большую осторожность при использовании предикатов assert и retract. После того как будут изменены утверждения программы, она с большой вероятностью будет давать такие ошибки, причину которых будет трудно установить. Некорректное изменение может находиться в любом месте программы. В приложениях Пролога к базам данных указанный риск минимизируется четким логическим разделением программ и данных. Изменениям подвергаются только хранимые данные. [17]
Для написания грамматики с помощью метода анализа по парам различий потребуется больше правил, чем при использовании предиката append, поскольку каждое правило анализирует только первое слово словосочетания или объекта, а затем передает оставшуюся часть другому правилу. [18]
Недостатком универсальных предикатов и функций типа EQUALP является то, что их применение требует от системы несколько большего объема вычислений, чем использование специализированных предикатов и функций. [19]
Интересно заметить, что, как и в случае генценовского доказательства непротиворечивости с помощью трансфинитной индукции до е0, анализ рассматриваемого нами доказательства непротиворечивости показывает, что оно в единственном его неэлементарном шаге зависит от использования предиката, определяемого посредством индукции, в индукционный шаг которой входят кванторы обоих родов, а именно, речь идет здесь о предикате истинности для арифметических формул. Мы сейчас определим этот предикат. [20]
Для управления этой процедурой предусмотрены две низкоуровневые функции доступа. При использовании предиката putflag в базе данных появится только один флаг, а при использовании предиката remflag флаг будет удален из базы данных, если он там находится. [21]
Следует отметить, что использование недопустимого предиката запрещает организацию доступа. [22]
Для управления этой процедурой предусмотрены две низкоуровневые функции доступа. При использовании предиката putflag в базе данных появится только один флаг, а при использовании предиката remflag флаг будет удален из базы данных, если он там находится. [23]
Наиболее общим предикатом, проверяющим в Коммон Лиспе наличие логического равенства, является EQUALP, с помощью которого можно сравни-вать произвольные лисповские объекты, будь то числа различных типов, выражения или другие объекты. Этот предикат может потребо-ваться, когда нет уверенности в типе сравниваемых объектов или в корректности использования других предикатов сравнения. [24]
Конечно, все описанные в предыдущих главах механизмы вывода, в силу общности, применимы к сложноструктурированным проблемным областям. Но следует заметить, что эффективность их использования в таких проблемных областях резко уменьшается за счет того, что для описания сложноструктурированных проблемных областей используется огромное количество структурных зависимостей, для формализации которых в исчислении предикатов первого порядка нет других средств, кроме предикатов. Использование предикатов для задания структурных зависимостей загромождает описание проблемной области, снижает его наглядность и резко уменьшает, что существенно, эффективность процедур вывода. Поэтому в настоящее время весьма актуально создание языков представления знаний и механизмов вывода в них, позволяющих описывать структурные отношения, не прибегая для этого к предикатам. Одним из таких языков представления знаний является многоуровневая логика, созданная японскими учеными С. Ямаучи, которые также создали и механизмы вывода в ней. Многоуровневой логике посвящена вторая ( большая) часть данной главы. [25]
Наконец, в приложениях доказательства теорем к поиску ответов на вопросы нам часто бывает нужно переводить предложения разговорного языка в формулы логики первого порядка. Такой перевод никак нельзя счесть тривиальным. Вполне правдоподобно, что использование хороших предикатов может позволить нам дать простое представление проблемы и таким образом даст возможность просто решить ее. Хотя были получены некоторые результаты ( Сандевол [1]), в этой области требуется еще большая работа. Эта область связана также с общей задачей представления. [26]
Рассмотренная в предыдущем разделе двухэтапная структура не дает гарантии того, что после своего выполнения программа, использующая предикаты assert и retract, не останется в измененном состоянии. Мы должны удостовериться в том, что при вызове последовательности подцелей после того, как этап включения новых фактов в базу данных пройден, не произойдет никакого отказа, который заблокировал бы переход к этапу сбора и удаления данных. В общем случае такую гарантию дает использование предикатов только внутри процедур низкого уровня и возвращение накопленных результатов в процедуры более высокого уровня через некоторый аргумент вызова. Если мы используем их на самом верхнем уровне большой программы, при последовательном динамическом вызове весьма вероятны длинные серии подцелей, рекурсивно вызываемых между двумя указанными этапами. [27]
Такая трактовка очень удобна: любая процедура может записывать в нее свой результат, который будет доступен любой другой процедуре, какая бы ни была дистанция между ними при их последовательных динамических вызовах. При этом мы, конечно, отказываемся от идеи двухэтапной структуры, но можем сохранить важное преимущество такого использования предиката, при котором побочные эффекты воздействия на базу данных Пролога аннулируются при возвратах. [28]
Логика предикатов уже была использована в языках описания данных для определения агрегатов данных, что позволило организовать обращение только к действительно необходимым данным. Такая схема адресации позволяет организовать доступ к данным в соответствии с их семантикой. Это является важным шагом на пути организации ассоциативного поиска и модификации структуры базы данных. Однако совсем недавно специалисты пришли к выводу, что логика предикатов может быть использована для контроля доступа и организации защиты в разделенных базах данных. Основной выигрыш, достигаемый при использовании предикатов, связан с возможностью контролировать доступ к любому элементу данных. [29]
Мы показали только очень простые условные команды ( взятые из Pentium И), но в архитектуре IA-64 все команды предикатны. Это значит, что выполнение каждой команды можно сделать условным. Дополнительное б-битное поле, о котором мы упомянули выше, выбирает один из 64 1-битных предикатных регистров. Следовательно, оператор i f может быть скомпилирован в код, который устанавливает один из предикатных регистров на 1, если условие истинно, и на 0, если условие ложно. Одновременно с этим данное поле автоматически устанавливает другой предикатный регистр на обратное значение. При использовании предикации машинные команды, которые формируют операторы then и el se, будут сливаться в единый поток команд, первый из них - с использованием предиката, а второй - с использованием его обратного значения. [30]