2 research outputs found

    Contenci贸n de consultas con valores nulos usando el m茅todo CQC

    No full text
    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.Peer ReviewedPostprint (published version

    Contenci贸n de consultas con valores nulos usando el m茅todo CQC

    No full text
    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.Peer Reviewe
    corecore