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 siguiente |