Now showing items 1-1 of 1

  • Métodos para la comprobación de la integridad en base de datos deductivas 

    Mota Herranz, Laura; Celma Giménez, Matilde (Institut d'Estadística de Catalunya, 1993)
    Article
    Open Access
    La comprobación de la integridad es un problema clásico en bases de datos; los primeros métodos fueron propuestos para simplificar la comprobación de restricciones estáticas en bases de datos relacionales extendiéndose ...