Главная /
Введение в модель данных SQL /
Можно ли выразить булевскую функцию SQL IS через функцию 'стрелка Пирса'? Каков из представленных ниже ответов является правильным?
Можно ли выразить булевскую функцию SQL IS
через функцию “стрелка Пирса”? Каков из представленных ниже ответов является правильным?
вопрос
Правильный ответ:
Да.
x IS y ≡ pi (pi (pi (pi (A, A), pi (B, B)), pi (A, B)), pi (pi (pi (A, A), pi (B, B)), pi (A, B)))
Да.
x IS y ≡ pi (pi (pi (pi (A, A), pi (B, B)), pi (A, B)))
Булевская функция SQL
IS
не выражается через функцию “стрелка Пирса”, потому что в трехзначной логике SQL NOT UNKNOWN = UNKNOWN
Сложность вопроса
65
Сложность курса: Введение в модель данных SQL
81
Оценить вопрос
Комментарии:
Аноним
Я провалил зачёт, почему я не углядел этот крутой сайт с всеми ответами интуит до зачёта
29 авг 2018
Аноним
Зачёт сдан. Мчусь отмечать отмечать зачёт интуит
23 сен 2016
Другие ответы на вопросы из темы базы данных интуит.
- # Пусть в некоторой таблице определен столбец типа CHARACTER (7). Какая символьная строка будет реально храниться в этом столбце некоторой строки таблицы, если при вставке строки в качестве значения этого была указана литеральная константа ‘test’?
- # Пусть имеется следующее определение домена: CREATE DOMAIN TEST AS INTEGER DEFAULT 100 CHECK (VALUE > 10 AND VALUE != 150 AND VALUE != 190 AND VALUE < 200); Пусть на этом домене определен столбец некоторой таблицы. Предположим, что в некоторый момент времени значениями данного столбца в строках таблицы являются значения {100, NULL, 160}. Пусть после этого выполняется оператор ALTER DOMAIN TEST SET DEFAULT 180 ADD CHECK (VALUE IS NOT NULL); Что произойдет при выполнении оператора?
- # В каких из перечисленных ниже случаях значением столбца по умолчанию является NULL?
- # Какое из приведенных ниже выражений с переключателем эквивалентно выражению NULLIF (COALESCE (V1, V2), COALESCE (V3, V4))? (“<>” обозначает сравнение на неравенство.)
- # Для определения всех разновидностей представлений используется один и тот же оператор CREATE VIEW. Каким образом, глядя на определение представления, можно точно сказать, что оно является допустимым определением типизированного представления?