データベース内の文節形式の推定

SQL またはその他のデータベース システムの演繹データベースは、データベース内の既存のルールと情報に基づいて新しい事実について結論を引き出すためのツールです。演繹的データベースでは、データ レコードは事実、ルール、クエリを表現するために一般的に使用される言語です。文節形式で表現される場合、式は複数の文節で構成され、各文節は OR 記号でマークされた論理接続子のみで接続された複数のリテラルで構成されます。

次の数量指定子は、式 -

で使用できます。

Universal Quantifier - 「P(x) はすべての x に対して成立する」と解釈できます。これは、ユニバース内の x のすべてのインスタンスに対して P(x) が成立することを意味します。

たとえば、トラックには車輪が付いています。

Existential Quantifier - これは、宇宙の少なくとも 1 つの項 x に対して P(x) が成り立つことを意味し、「P(x) となるような x が存在する」と表現されます。

例: あなたは誰かに世話をされています。

条項形式の式は、次の性質を持つ式に変更する必要があります -

式の各要素には定量化された値があります。したがって、誰にとっても普遍的な数量指定子を明示的に追加する必要はありません。量指定子が削除されると、式内のすべての変数が汎用量指定子によって暗黙的に量化されます。

式が複数の句で構成されており、各句は論理接続 OR のみで接続された複数のリテラルで構成されているため、式は句で構成されているとします。すべての文は単語の分離です。

文自体は AND 論理接続詞で接続されているだけで数式が作成されます。したがって、式の文節形式は文節の接続詞です。

実証されているように、あらゆる式を節形式に変更できます。私たちの目的では、個々の節の構造 (それぞれがリテラルの論理和である) が主な関心事です。これらのリテラルは正または負の場合があることに注意してください。次の句を考えてみましょう -

リーリー

前の節には m 個の正の文字と n 個の負の文字があります。この節を表現するには、次のような論理式を使用できます -

リーリー

たとえば、暗黙のシンボルは「=>」です。

2 番目の式は、少なくとも 1 つの Q が true の場合にのみ true になります。これが (暗黙の) 記号の意味です。すべての p リテラル i = (1, 2,...,) が true の場合、これは true です。最初の式では、P リテラル i = (1, 2,..., n) のいずれかが true であれば、その否定もすべて true になります。したがって、この場合、少なくとも 1 つの Q が真である場合にのみ真となります。

したがって、上の 2 つの式の真理値は比較可能なため、常に同じになります。

＃＃＃結論は＃＃＃

文節形式では、数式は一連の文として記述され、各文は OR バリアントの論理接続詞のみで接続された多数の単語で構成されます。

以上がデータベース内の文節形式の推定の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。