Типы данных в связях и объединениях

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

Объединение — это SQL-операция, которая объединяет данные из двух источников в одну запись набора записей запроса на основе значений в указанном поле, общем для источников. Объединение может бытьвнутренним объединением, левым внешним объединением или правым внешним объединением.

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

ПРИМЕЧАНИЕ. Когда создается связь или объединение, поля, у которых тип данных "Счетчик", совместимы с полями, у которых тип данных "Числовой", если у последних значением свойства Размер поля является Длинное целое.

СОВЕТ. Когда создается запрос для полей с несовместимыми типами данных, в условиях отбора можно использовать оператор Like.

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

9) Основные логические операции в алгебре логики

В алгебре логики существует три основные операции:

• Логическое отрицание {инверсия).

Обозначается: ?А, A, not А, не А.
Высказывание А истинно при ложном А и А ложно при истинном А.

• Логическое умножение {конъюнкция).

Обозначается А&В, A and В, А*В, А^В, АВ, А и В.
Высказывание А ^ В истинно тогда и только тогда, когда оба высказывания А и В истинны.

• Логическое сложение {дизъюнкция).

Обозначается: A v В, A or В, А + В, А или В.
Высказывание A v В ложно тогда и только тогда, когда оба высказывания А и В ложны.
Остальные операции алгебры логики выражаются через первые три опе­рации: отрицание, конъюнкцию и дизъюнкцию. Перечислим их.

• Логическое следование {импликация).

Обозначается: А > В, А => В.
Высказывание А > В ложно только тогда, когда А истинно, а В ложно.
Важно: в операции импликации посылка А не обязана быть истинной, в отличие от логического оператора в языках программирования «если А, то В».
Импликация выражается через дизъюнкцию и отрицание: А => В = A v В.

• Эквивалентность (равносильность, необходимо и достаточно).

Обозначается: А ~ В, А <=> В, А = В.
Высказывание А <=> В истинно тогда и только тогда, когда значения А и В совпадают.
Эквивалентность выражается через отрицание, дизъюнкцию и конъюнкцию: А <=> В = (А v В) ^ (B v А).

• Исключающее ИЛИ.

Обозначается A XOR В.
Высказывание A XOR В истинно, когда А и В не равны.

Порядок исполнения операций задается круглыми скобками. При отсутствии скобок порядок выполнения операций следующий: отрицание, конъюнкция, дизъюнкция, импликация, эквивалентность.
Формула алгебры логики (или составное высказывание) состоит из нескольких высказываний, соединенных логическими операциями. Исходные высказывания могут быть логическими переменными или логическими константами (имеющими постоянное значение ИСТИНА или ЛОЖЬ).
Логическая функция определяется на множестве логических переменных и логических констант, принимающих значение ИСТИНА или ЛОЖЬ. Значение функции вычисляется в результате выполнения логических операций с (или над) логическими операндами. Например:

F (А, В, С) = А ^ ( В v С); F(x1, х2, х3) = x1 v х2 ^ х3

Логическую функцию можно задать двумя способами: логической формулой или таблицей истинности.

Таблица истинности задает значения функции при всех возможных наборах ее переменных.