Referencias de DATALOG

8

¿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?

Ariana
fuente
1
Un importante documento de complejidad relativamente reciente relacionado con DATALOG que me viene a la mente es (aunque quizás solo esté buscando encuestas): A. Atserias. Sobre condiciones suficientes para la insatisfacción de las fórmulas aleatorias, Journal of the ACM, 51 (2), páginas 281-311, 2004.
Iddo Tzameret

Respuestas:

10

La mayor parte de lo que está buscando está bien cubierto en la encuesta.

  • Stefano Ceri, Georg Gottlob y Letizia Tanca, Lo que siempre quiso saber sobre Datalog (y nunca se atrevió a preguntar) , IEEE Transactions on Knowledge and Data Engineering 1 146–166, 1989. ( enlace , reimpresión )

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:

  • Andrea Calì, Georg Gottlob y Thomas Lukasiewicz, Datalog ±: un enfoque unificado para ontologías y restricciones de integridad , ICDT 2009, 14-30. ( enlace )
András Salamon
fuente
5

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).

tjgreen
fuente