predicate

Now we need a more general notion of when one predicate (or its decision problem) is reducible to another.

Теперь нам нужно более общее понятие того, когда один предикат сводим к другому (проблема разрешения для одного сводима к проблеме разрешения для другого).

Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Sometimes, using a quantified predicate might make your request clearer.

Иногда использование количественного предиката может сделать запрос более понятным.

Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

Вьескас, Джон Л.,Хернандес, Майкл Дж.

© Издательство "Лори", 2003

© 2000 by Michael J. Hernandez and John L. Viescas

SQL queries for mere mortals: a hands-on guide to data manipulation in SQL

Viescas, John L.,Hernandez, Michael J.

© 2008 Pearson Education, Inc.

All the questions about particular values of a decidable predicate P(a) can be answered by a suitable absolute Turing machine.

На все вопросы относительно конкретных значений разрешимого предиката Р (а) можно ответить с помощью подходящей абсолютной машины Тьюринга.

Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

This concept is denned for systems based on the first-order predicate calculus.

Это понятие определено для систем,, основанных на исчислении предикатов первой ступени.

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

For operator or predicate parameter occurrences, "ancestral image" and "descendant image" are synonymous with "ancestor" and "descendant", respectively.

Для вхождений операторов или предикатных параметров термины «образ-предок», «образ-потомок» и соответственно «предок», «потомок» являются синонимами.

Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

Any reference to a column in a predicate within the search condition of a HAVING clause either must name a column listed in the GROUP BY clause or must be enclosed within an aggregate function.

Любая ссылка на столбец в предикате внутри условия поиска в HAVING должна либо указать имя столбца, перечисленного в условия GROUP BY, либо должна быть вложена в агрегатную функцию.

Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

Вьескас, Джон Л.,Хернандес, Майкл Дж.

© Издательство "Лори", 2003

© 2000 by Michael J. Hernandez and John L. Viescas

SQL queries for mere mortals: a hands-on guide to data manipulation in SQL

Viescas, John L.,Hernandez, Michael J.

© 2008 Pearson Education, Inc.

Your security policy will develop and return a predicate based on who is logged in, and what role they have.

Правила защиты позволяют разработать условие проверки, учитывающее, кто зарегистрирован и какую роль он имеет в системе.

Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

We give the next three definitions for a theory in which there are only unary and binary function and predicate symbols; but again the method is perfectly general.,

Следующие три определения мы дадим для теории, в которой имеются только унарные и бинарные функциональные и предикатные символы, однако метод опять является вполне общим.

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

For, if we could, then we would have an algorithm or decision procedure for answering all questions whether a formula F in the predicate calculus is valid.

Действительно, если бы это было возможно, то существовал бы алгорифм, или разрешающая процедура, для ответа на вопрос: является ли формула F исчисления предикатов общезначимой.

Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene

As you can see, this predicate combines a comparison operator with a keyword that tells your database system how to apply the operator to the members of the list.

Как можно видеть, этот предикат объединяет оператор сравнения с ключевым словом, которое указывает системе базы данных, как этот оператор применяется к элементам списка.

Viescas, John L.,Hernandez, Michael J. / SQL queries for mere mortals: a hands-on guide to data manipulation in SQLВьескас, Джон Л.,Хернандес, Майкл Дж. / SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

SQL-запросы для простых смертных: Практическое руководство по манипулированию данными в SQL

Вьескас, Джон Л.,Хернандес, Майкл Дж.

© Издательство "Лори", 2003

© 2000 by Michael J. Hernandez and John L. Viescas

SQL queries for mere mortals: a hands-on guide to data manipulation in SQL

Viescas, John L.,Hernandez, Michael J.

© 2008 Pearson Education, Inc.

This shows us the information we need, at a minimum, to fix the problem - the predicate that caused the error, as well as the SQL error message that accompanies the incorrect predicate.

Этой информации достаточно для решения проблемы (изменения условия, которое привело к выдаче сообщения об ошибке), поскольку, помимо ошибочного условия, имеется сообщение об ошибке в этом условии.

Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

By the replacement lemma, there is a recursive predicate M such that

По лемме о замене существует такой рекурсивный предикат М, что

Shoenfield, Joseph / Mathematical LogicШенфилд, Дж. / Математическая логика

Математическая логика

Шенфилд, Дж.

© Перевод на русский язык, Главная редакция физико-математической литературы издательства «Наука», 1975г.

Mathematical Logic

Shoenfield, Joseph

© 1967 by Addison-Wesley publishing company, inc.

A system in which there is a single basic predicate, and that a binary relation, is called a (binary) relational system.

Система, в которой имеется единственный базисный предикат, являющийся бинарным отношением, называется системой с (бинарным) отношением, или реляционной системой.

Curry, Haskell B. / Foundations of Mathematical LogicКарри, Хаскелл Б. / Основания математической логики

Основания математической логики

Карри, Хаскелл Б.

© Издательство «Мир», 1969

Foundations of Mathematical Logic

Curry, Haskell B.

© 1963 by Haskell B. Curry.

© 1977 by Haskell B. Curry.

Earlier, in the HR example, we demonstrated how to implement a security predicate function that cannot return more than one predicate per session.

Ранее, в примере приложения для работы с информацией о сотрудниках, было продемонстрировано, как реализовать функцию, которая возвращает в ходе сеанса не более одного условия.

Kyte, Tom / Expert One-on-One OracleКайт, Том / Oracle для профессионалов

Oracle для профессионалов

Кайт, Том

© Перевод на русский язык. ООО «ДиаСофтЮП», 2003

© Wrox Press Ltd, 2002

Expert One-on-One Oracle

Kyte, Tom

© Wrox Press Ltd, 2002

Now a richer system is available for our logical analyses: the predicate calculus, or more specifically the restricted, one-sorted, classical predicate calculus.

Для использования логического анализа мы располагаем теперь более богатой системой, а именно исчислением предикатов, точнее, ограниченным односортным классическим исчислением предикатов.

Kleene, Stephen Cole / Mathematical LogicКлини, С.К. / Математическая логика

Математическая логика

Клини, С.К.

© Перевод на русский язык «Мир», 1973

Mathematical Logic

Kleene, Stephen Cole

© 1967 by Stephen Cole Kleene