Contención de consultas con valores nulos usando el método CQC

Abstract

Este artículo presenta una extensión de nuestro método CQC destinada a comprobar la contención de dos consultas en el contexto de una BD relacional que puede contener valores nulos en los atributos de sus tuplas. Teniendo en cuenta que todos los SGBDs admiten el uso de valores nulos y que la bases de datos "reales" contienen valores nulos, comprobar la contención de consultas en este contexto es una cuestión muy importante de cara a la aplicación práctica. Al igual que el método original, esta extensión permite tratar con restricciones de integridad, negaciones en predicados EDB y IDB, y predicados built-in. Además de para comprobar la contención de consultas, se puede aplicar el método y esta extensión a la validación de esquemas de BD relacionales con valores nulos.