consulta conjuntiva booleana

En la teoría de bases de datos relacionales , una consulta conjuntiva booleana es una consulta conjuntiva sin predicados distinguidos, es decir, una consulta de la forma , donde cada es un símbolo de relación y cada es una tupla de variables y constantes; el número de elementos en es igual a la aridad de . Dicha consulta se evalúa como verdadera o falsa dependiendo de si las relaciones en la base de datos contienen las tuplas de valores apropiadas, es decir, la conjunción es válida según los hechos en la base de datos.${\displaystyle R_{1}(t_{1})\wedge \cdots \wedge R_{n}(t_{n})}$${\displaystyle R_{i}}$${\displaystyle t_{i}}$${\displaystyle t_{i}}$${\displaystyle R_{i}}$

Por ejemplo, si un esquema de base de datos contiene los símbolos de relación Padre (binario, quién es padre de quién) y Empleado (unario, quién está empleado), una consulta conjuntiva podría ser . Esta consulta se evalúa como verdadera si existe un individuo x que es hijo de Mark y está empleado. En otras palabras, esta consulta expresa la pregunta: "¿Tiene Mark un hijo empleado?".${\displaystyle Padre({\text{Marca}},x)\wedge Empleado(x)}$

• Conjunción lógica
• consulta conjuntiva

• G. Gottlob; N. Leone; F. Scarcello (2001). "La complejidad de las consultas conjuntivas acíclicas". Journal of the ACM . 48 (3): 431– 498. doi : 10.1145/382780.382783 .