Cтраница 1
Выражения исчисления строятся по точно установленным правилам; для любых двух выражений исчисления ( записанных достаточно разборчиво) задача их различения и отождествления всегда ( в принципе) решается. При интерпретации исчисления обычно заранее предполагается, что предметы, составляющие предметную область, выбраны так, что мы можем отвлечься от происходящих с ними изменений и их взаимодействия и рассматривать каждый из них как совершенно фиксированный, неменяющийся, жесткий предмет, полностью отличный от других предметов. В таком формализованном языке каждое выражение употребляется в одном и том же смысле, а каждый предмет из области интерпретации исчисления подчиняется онтологич. В исчислениях обычно встречаются формулы, являющиеся формальными аналогами содержательного принципа А - А. Вид этих формул зависит от типа исчисления. В аксиоматически построенных исчислениях формулы такого рода являются доказуемыми ( из аксиом исчисления по его правилам вывода) либо входят во множество аксиом исчисления. [1]
Выражение исчисления с переменными на доменах, эквивалентное заданному выражению исчисления с переменными-кортежами ( t ty ( t), конструируется весьма просто. [2]
Найдите выражения исчисления доменов, которые отвечают на вопросы из упр. [3]
Рассмотрим выражение исчисления кортежей и соответствующее алгебраическое выражение из начала разд. [4]
Найдите выражения исчисления доменов, которые отвечают на вопросы из упр. [5]
Рассмотрим выражение исчисления кортежей и соответствующее алгебраическое выражение из начала разд. [6]
В результате получаем выражение исчисления с переменными на доменах, очевидно, эквивалентное первоначальному выражению исчисления с переменными-кортежами. [7]
Легко выписать и выражение исчисления кортежей, эквивалентное данному табло запроса. S - множество атрибутов, в которых ш0 содержит символ, а не пробел. [8]
Легко выписать и выражение исчисления кортежей, эквивалентное данному табло запроса. S - множество атрибутов, в которых w0 содержит символ, а не пробел. [9]
Определим также класс безопасных выражений исчисления доменов. [10]
Определим также класс безопасных выражений исчисления доменов. [11]
Покажите, что все выражения исчисления кортежей, использованные в доказательстве теоремы 10.1 ( за исключением использованных в случае 7), имеют одно и то же значение при ограниченной и неограниченной интерпретациях ( предполагается, что читатель выполнил упр. [12]
Найдите выражения, эквивалентные выражениям исчисления доменов из упр. [13]
Теорема 10.5. Пусть Е - выражение исчисления кортежей, a F - полученное из Е указанным выше образом выражение исчисления доменов. [14]
По теореме 10.1 имеется также выражение исчисления кортежей, эквивалентное данному. [15]