¿Cuáles son las mejores referencias para el autoestudio en DATALOG? Estoy particularmente interesado en el poder expresivo, los resultados de complejidad, los métodos de evaluación, las extensiones de DATALOG con negación, etc. ¿Hay libros o documentos que cubran todo esto?
8
Respuestas:
La mayor parte de lo que está buscando está bien cubierto en la encuesta.
y sus referencias. El campo se quedó bastante tranquilo durante mucho tiempo.
Recientemente, varias extensiones de Datalog han recibido mucha atención, y la conferencia Datalog 2.0 en 2010 tuvo una gran asistencia. Personalmente, soy bastante parcial con la familia de extensiones Datalog ±, ya que permiten capturar varios tipos de lógicas descriptivas en un fragmento de lógica clásica bien entendido y bien entendido:
fuente
La referencia estándar (más completa y actualizada que la encuesta de Ceri et al) es Fundamentos de las bases de datos de Abiteboul, Hull y Vianu. (Felizmente, Addison-Wesley ha dado permiso a los autores para publicar los PDF en línea).
fuente