stringtranslate.com

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 , donde cada uno es un símbolo de relación y cada uno es una tupla de variables y constantes; el número de elementos en es igual a la aridad de . Tal 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.

Por 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 . 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?"

Complejidad

Ver también

Referencias