Restricciones de integridad dinamicas en bases de datos deductivas: una aproximacion basada en logica temporal.