Undecidability of Finite Model Reasoning in DLFD

David Toman, Grant Weddell

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