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 變體的邏輯連接詞連接起來。
以上是演繹資料庫中的從句形式的詳細內容。更多資訊請關注PHP中文網其他相關文章！
