Referensi DATALOG

8

Apa referensi terbaik untuk belajar mandiri di DATALOG? Saya terutama tertarik pada kekuatan ekspresif, hasil kompleksitas, metode evaluasi, ekstensi DATALOG dengan negasi dll. Apakah ada buku atau makalah yang mencakup semua ini?

reference-request lo.logic db.databases logic-programming Ariadne
sumber
1
Makalah kompleksitas penting yang relatif baru terkait dengan DATALOG yang muncul di benak saya adalah (meskipun mungkin Anda hanya mencari survei): A. Atserias. Tentang Kondisi yang Cukup untuk Ketidakpuasan Rumus Acak, Jurnal ACM, 51 (2), halaman 281-311, 2004.
Iddo Tzameret

Jawaban:

10

Sebagian besar yang Anda cari terliput dengan baik dalam survei

  • Stefano Ceri, Georg Gottlob, dan Letizia Tanca, Apa yang selalu ingin Anda ketahui tentang Datalog (dan tidak pernah berani bertanya) , Transaksi IEEE tentang Pengetahuan dan Teknik Data 1 146–166, 1989. ( tautan , cetak ulang )

dan rujukannya. Lapangan kemudian menjadi cukup sunyi untuk waktu yang lama.

Baru-baru ini berbagai ekstensi untuk Datalog telah mendapatkan banyak perhatian, dan konferensi Datalog 2.0 pada tahun 2010 dihadiri banyak orang. Saya pribadi secara parsial terhadap keluarga Datalog ± keluarga ekstensi, karena ekstensi memungkinkan beberapa jenis logika deskripsi ditangkap dalam fragmen logika klasik yang berperilaku baik dan dipahami dengan baik:

  • Andrea Calì, Georg Gottlob, dan Thomas Lukasiewicz, Datalog ±: pendekatan terpadu untuk ontologi dan kendala integritas , ICDT 2009, 14-30. ( tautan )
András Salamon
sumber
5

Referensi standar (lebih lengkap dan terkini dari survei Ceri et al) adalah Yayasan Database oleh Abiteboul, Hull, dan Vianu. (Syukurlah, Addison-Wesley telah memberikan izin kepada penulis untuk memposting PDF secara online.)

tjgreen
sumber