首頁 >資料庫 >mysql教程 >演繹資料庫中的從句形式

演繹資料庫中的從句形式

WBOY
WBOY轉載
2023-09-06 22:37:101090瀏覽

演繹資料庫中的從句形式

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中文網其他相關文章!

陳述:
本文轉載於:tutorialspoint.com。如有侵權,請聯絡admin@php.cn刪除