Undecidability of Finite Model Reasoning in DLFD
We resolve an open problem concerning finite logical implication for path functional dependencies (PFDs).
cs.DB↗
arXiv subjects
Grant Weddell
Publications and source records attributed to Grant Weddell.