arXiv 1408.44682014-08-19cs.DBcs.LO

DLFD有限模型推理的不可判定性

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).

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。