Логический соединительный запрос

В теории реляционных баз данных булев конъюнктивный запрос — это конъюнктивный запрос без выделенных предикатов, т. е. запрос в виде $R_{1}(t_{1})\wedge \cdots \wedge R_{n}(t_{n})$, где каждый $R_{i}$ является символом отношения, и каждый $t_{i}$ представляет собой кортеж переменных и констант; количество элементов в $t_{i}$ равна арности ​ $R_{i}$. Такой запрос оценивается как истинный или ложный в зависимости от того, содержат ли отношения в базе данных соответствующие кортежи значений, т. е. соединение допустимо в соответствии с фактами в базе данных.

Например, если схема базы данных содержит символы отношения Отец (двоичный, кто чей отец) и Работающий (унарный, кто работает), конъюнктивный запрос может быть таким: $Father({\text{Mark}},x)\wedge Employed(x)$. Этот запрос оценивается как true, если существует человек x , который является ребенком Марка и работает. Другими словами, этот запрос выражает вопрос: «Есть ли у Марка работающий ребенок?»

Сложность

Основная статья: Конъюнктивный запрос § Сложность

См. также

• Логическое соединение
• Конъюнктивный запрос

Ссылки

• Г. Готтлоб; Н. Леоне; Ф. Скарчелло (2001). «Сложность ациклических конъюнктивных запросов». Журнал АКМ . 48 (3): 431–498. дои : 10.1145/382780.382783 .