• 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
      Accés obert
      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 ...