Bookmark Saya

arXiv Open Access 2014

Undecidability of Finite Model Reasoning in DLFD

David Toman Grant Weddell
Lihat Sumber

Abstrak

We resolve an open problem concerning finite logical implication for path functional dependencies (PFDs).

Topik & Kata Kunci

cs.DB cs.LO

Penulis (2)

D

David Toman

G

Grant Weddell

Format Sitasi

APA MLA BibTeX
Toman, D., Weddell, G. (2014). Undecidability of Finite Model Reasoning in DLFD. https://arxiv.org/abs/1408.4468

Akses Cepat

Lihat di Sumber
Informasi Jurnal
Tahun Terbit
2014
Bahasa
en
Sumber Database
arXiv
Akses
Open Access ✓