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 變體的邏輯連接詞連接起來。
以上就是演繹數據庫中的從句形式的詳細內容，更多請關注www.92cms.cn其它相關文章！
