Undecidability of Finite Model Reasoning in DLFD
arXiv:1408.4468
Abstract
We resolve an open problem concerning finite logical implication for path functional dependencies (PFDs).
arXiv:1408.4468
We resolve an open problem concerning finite logical implication for path functional dependencies (PFDs).