41
Resumen.
Semántica asumida: semántica de la compleción.
Concepto de satisfacción: punto de vista de la consistencia.
Tipo de base de datos: las reglas deductivas son cláusulas normales de la forma A?L1? L2 ? … ? Ln.
Restricciones sintácticas: la base de datos debe ser estratificada y las reglas de rango restringido. Las restricciones de integridad son fórmulas cerradas en forma negada (?incw: incw?¬W, W?RI) .
Estrategia: Intercalación de la Fase de Generación y de la Fase de Evaluación.
El procedimiento SLDNF* no contempla los borrados inducidos.
Método de Sadri y Kowalski
 Página anterior | Volver al principio del trabajo | Página siguiente  |