En la teoría de las bases de datos relacionales , una consulta conjuntiva booleana es una consulta conjuntiva sin predicados distinguidos, es decir, una consulta en 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 enes 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 de acuerdo con los hechos en la base de datos.
Por ejemplo, si el esquema de una 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. 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: "¿Mark tiene un hijo empleado?"
Ver también
Referencias
- G. Gottlob; N. Leone; F. Scarcello (2001). "La complejidad de las consultas conjuntivas acíclicas". Revista de la ACM . 48 (3): 431–498. doi : 10.1145 / 382780.382783 .