使用包含依赖推理嵌入依赖
Reasoning about embedded dependencies using inclusion dependencies
摘要：
嵌入依赖类的蕴涵问题是不可判定的。然而，这并不意味着缺乏一个证明程序，如大通算法所例示的。在本文中，我们提出了一个完整的公理化的嵌入式依赖，是基于追逐，并使用包含依赖和隐含的存在量化的中间步骤的演绎。
英文摘要：
The implication problem for the class of embedded dependencies is undecidable. However, this does not imply lackness of a proof procedure as exemplified by the chase algorithm. In this paper we present a complete axiomatization of embedded dependencies that is based on the chase and uses inclusion dependencies and implicit existential quantification in the intermediate steps of deductions.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
