Referências DATALOG

8

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?

— Ariadne
fonte

1

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

10

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 )

— András Salamon
fonte

5

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

— tjgreen
fonte