Ableitung von Satzformen in der Datenbank

Eine deduktive Datenbank in SQL oder einem anderen Datenbanksystem ist ein Werkzeug, das auf der Grundlage bereits in der Datenbank vorhandener Regeln und Informationen Rückschlüsse auf neue Fakten ziehen kann. In deduktiven Datenbanken sind Datensätze die Sprache, die üblicherweise zum Ausdrücken von Fakten, Regeln und Abfragen verwendet wird. Wenn die Formel in Klauselform ausgedrückt wird, besteht sie aus mehreren Klauseln, von denen jede aus mehreren Literalen besteht, die nur durch logische Verknüpfungen verbunden sind, die mit dem ODER-Symbol gekennzeichnet sind.

Die folgenden Quantoren können in Formeln verwendet werden -

Universeller Quantifizierer – Er kann als „P(x) gilt für alle x“ gelesen werden, was bedeutet, dass P(x) für alle Instanzen von x im Universum gilt.

Lastwagen haben zum Beispiel Räder.

Existentieller Quantor – Dies bedeutet, dass P(x) für mindestens einen Term x im Universum gilt und ausgedrückt wird als „es existiert ein x, so dass P(x)“.

Beispiel: Sie werden von jemandem betreut.

Die Klauselformformel muss in eine Formel mit den folgenden Eigenschaften geändert werden: -

Jedes Element in der Formel hat einen quantifizierten Wert. Daher besteht keine Notwendigkeit, explizit einen universellen Quantor für alle hinzuzufügen. Wenn der Quantor entfernt wird, werden alle Variablen in der Formel implizit durch den universellen Quantor quantifiziert.

Angenommen, die Formel besteht aus mehreren Klauseln. Jede Klausel besteht aus mehreren Literalen, die nur durch das logische Verknüpfungswort OR verbunden sind. Die Formel besteht also aus Klauseln. Jeder Satz ist eine Disjunktion von Wörtern.

Die Sätze selbst werden nur durch logische UND-Verknüpfungen verbunden, um Formeln zu erstellen. Daher ist die Klauselform der Formel die Konjunktion der Klausel.

Beweisbar lässt sich jede Formel in Satzform umwandeln. Für unsere Zwecke ist vor allem die Struktur der einzelnen Klauseln (von denen jeder eine Disjunktion von Literalen ist) von Interesse. Denken Sie daran, dass diese Literale positiv oder negativ sein können. Betrachten Sie die folgende Klausel -

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

Der vorherige Satz enthält m positive und n negative Wörter. Eine ähnliche logische Formel unten kann verwendet werden, um diese Klausel auszudrücken -

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

Das implizite Symbol ist beispielsweise „=>“.

Die zweite Formel ist nur dann wahr, wenn mindestens ein Q wahr ist, was das (implizite) Vorzeichen bedeutet. Dies gilt, wenn alle p-Literale i = (1, 2,...,) wahr sind. Wenn für die erste Formel eines der P Literale i = (1, 2,..., n) wahr ist, dann sind auch alle seine Negationen wahr. Daher ist es in diesem Fall nur dann wahr, wenn mindestens ein Q wahr ist.

Daher sind die Wahrheitswerte der beiden oben genannten Formeln immer gleich, da sie vergleichbar sind.

Fazit

In Satzform wird die Formel als eine Reihe von Sätzen geschrieben, von denen jeder aus einer Reihe von Wörtern besteht, die nur durch logische Verknüpfungen der OR-Variante verbunden sind.

Das obige ist der detaillierte Inhalt vonAbleitung von Satzformen in der Datenbank. Für weitere Informationen folgen Sie bitte anderen verwandten Artikeln auf der PHP chinesischen Website!