演绎数据库中的从句形式

大家好，今天本人给大家带来文章《演绎数据库中的从句形式》，文中内容主要涉及到，如果你对数据库方面的知识点感兴趣，那就请各位朋友继续看下去吧~希望能真正帮到你们，谢谢！

SQL 或任何其他数据库系统中的演绎数据库是一种工具，可以根据数据库中已有的规则和信息得出有关新事实的结论。在演绎数据库中，数据记录是常用来表达事实、规则和查询的语言。当以分句形式表达时，该公式由多个子句组成，每个子句由多个文字组成，这些文字仅由用 OR 符号标记的逻辑连接词连接起来。

公式中可以使用以下量词 -

通用量词 - 它可以读作“对于所有 x，P(x) 成立”，这表示 P(x) 对于宇宙中 x 的所有实例都成立。

例如，卡车都有轮子。

存在量词 - 这意味着 P(x) 对于宇宙中至少一项 x 成立，并表示为“存在一个 x 使得 P(x)”。

示例：您受到某人的照顾。

分句形式公式必须更改为具有下列品质的公式 -

公式中的每个元素都有一个量化值。因此，没有必要为所有人显式添加通用量词。当删除量词时，公式中的所有变量都由全称量词隐式量化。

假设该公式由多个子句组成，每个子句由多个仅由逻辑连接词 OR 连接的文字组成，因此该公式由子句组成。每个句子都是文字的析取结果。

句子本身仅通过 AND 逻辑连接词连接起来以创建公式。因此，公式的从句形式是从句的连词。

正如可以证明的那样，任何公式都可以更改为子句形式。就我们的目的而言，各个子句的结构（每个子句都是文字的析取）是首要关注的。请记住，这些文字可以是正数，也可以是负数。考虑以下子句 -

NOT(P1) OR NOT(P2) OR ..... OR NOT(Pn) OR Q1 OR Q2 OR ..... OR Qm

前面的子句中有 m 个正文字和 n 个负文字。下面类似的逻辑公式可以用来表示这个子句 -

P1 AND P2 AND ..... AND Pn => Q1 OR Q2 OR ..... OR Qm

例如，隐含符号是“=>”。

仅当至少一个 Q 为真时，第二个公式才为真，这就是（隐含）符号的含义。如果所有 p 个文字 i = (1, 2,...,) 都为真，则此为真。对于第一个公式，如果 P 个文字 i = (1, 2,..., n) 中的任何一个为 true，则其所有否定也为 true。因此，在这种情况下，只有至少有一个 Q 为真，它才为真。

因此，上述两个公式的真值总是相同的，因为它们具有可比性。

结论

在从句形式中，公式被写成一系列句子，每个句子都由许多文字组成，这些文字仅通过 OR 变体的逻辑连接词连接起来。

好了，本文到此结束，带大家了解了《演绎数据库中的从句形式》，希望本文对你有所帮助！关注golang学习网公众号，给大家分享更多数据库知识！