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 en la forma${\displaystyle R_{1}(t_{1})\wedge \cdots \wedge R_{n}(t_{n})}$, donde cada${\displaystyle R_{i}}$es un símbolo de relación y cada${\displaystyle t_{i}}$es una tupla de variables y constantes; el número de elementos en${\displaystyle t_{i}}$es igual a la aridad de${\displaystyle R_{i}}$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.

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

• 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 .