A computer-implemented method for transforming an SQL query having a WHERE
clause having nested SELECT expressions. The expression in the WHERE
clause being transformed by the iterative application of rules to have
ThereExists expressions and associated truth-value expressions. Further
transforming the expression to form a truth expression having the IS
operator and iteratively applying further rules to translate 3-valued
logic to z-valued logic. Carrying out a further transformation to remove
NOT expressions from the expression and to remove any ThereExists
expressions so as to define an expression in z-valued logic with
simplified SELECT expressions.
Eine Computer-eingeführte Methode für das Umwandeln einer SQL Frage, die WO Klausel genistet wird AUSERWÄHLTE Ausdrücke hat. Der Ausdruck in WO Klausel, die durch die wiederholende Anwendung von Richtlinien umgewandelt wird, um ThereExists Ausdrücke und dazugehörige Wahrheit-Wert Ausdrücke zu haben. Weiter, den Ausdruck IST umzuwandeln, um einen Wahrheit Ausdruck zu bilden, der hat, Operator und weitere Richtlinien wiederholend anwenden, um Logik 3-valued zu z-bewerteter Logik zu übersetzen. Eine weitere Umwandlung durchführen, um NICHT Ausdrücke vom Ausdruck zu entfernen und irgendwelche ThereExists Ausdrücke zu entfernen, um einen Ausdruck in z-bewerteter Logik mit vereinfachten AUSERWÄHLTEN Ausdrücken zu definieren.
