Referências DATALOG
Quais são as melhores referências para auto-estudo no DATALOG? Estou particularmente interessado em poder expressivo, resultados de complexidade, métodos de avaliação, extensões de DATALOG com negação, etc. Existem livros ou documentos que cobrem tudo isso?
Um importante documento de complexidade relativamente recente relacionado ao DATALOG que me vem à mente é (embora talvez você esteja procurando apenas pesquisas): A. Atserias. Em condições suficientes para Unsatisfiability da Random Fórmulas, Journal of the ACM, 51 (2), páginas 281-311, 2004.
— Ido Tzameret
A maior parte do que você está procurando é bem abordada na pesquisa
Stefano Ceri, Georg Gottlob e Letizia Tanca, O que você sempre quis saber sobre o Datalog (e nunca ousou perguntar) , Transações do IEEE sobre Engenharia de Dados e Conhecimento 1 146–166, 1989. ( link , reimpressão )
e suas referências. O campo ficou quieto por um longo tempo.
Recentemente, várias extensões do Datalog vêm ganhando muita atenção, e a conferência Datalog 2.0 em 2010 foi bem atendida. Pessoalmente, sou bastante parcial com a família de extensões Datalog ±, pois elas permitem que vários tipos de lógica de descrição sejam capturados em um fragmento bem-comportado e bem compreendido da lógica clássica:
Andrea Calì, Georg Gottlob e Thomas Lukasiewicz, Datalog ±: uma abordagem unificada para ontologias e restrições de integridade , ICDT 2009, 14-30. ( link )
A referência padrão (mais completa e atualizada que a pesquisa de Ceri et al.) É Foundations of Databases by Abiteboul, Hull e Vianu. (Felizmente, Addison-Wesley concedeu aos autores permissão para publicar os PDFs on-line.)