SQL und seine Variante TSQL waren umstritten. Obwohl SQL hauptsächlich als Datenabfragesprache angesehen wird, denken einige Leute, dass ihre Ausdrucksfähigkeit diesen begrenzten Bereich übertrifft. sqls turing completion

Andrew Gierth In einer Reihe von Folien ist es überzeugt, dass SQL auch dann, wenn SQL wie PL/SQL oder PSM verlängert wird, eine Turing -Vervollständigung erreichen kann. Er beweist dies, indem er einen öffentlichen Ausdruck (CTE) und Fensterfunktionen in SQL verwendet, um dies in SQL zu beweisen.

cTE ermöglicht Benutzern, selbst -referenzierte Namensausdrücke zu erstellen, um rekursive Probleme zu lösen. Diese Funktion wird möglicherweise für die Komplexität des Computers geöffnet, die normalerweise nicht mit SQL zusammenhängt.

Bedeutung und Einfluss

Es muss angemerkt werden, dass die Vollständigkeit der SQL Turing nicht an der Gestaltung interessiert ist. Die Einführung von CTE besteht darin, die Leistung der Spracherklärung zu verbessern, anstatt sie in eine allgemeine Programmiersprache zu verwandeln, die C ähnelt wie C.

Dieses Verständnis unterstreicht die tiefgreifende Rechenleistung, die in der scheinbar einfachen Struktur erzeugt kann. Die Rekursionskapazität von SQL durch CTE setzt den Ausdruck ähnlich wie das vollständige System von Turing frei.

tatsächliche Anwendung

Obwohl es unrealistisch sein mag, einen Compiler mit SQL zu schreiben, ist die theoretische Bedeutung der Vollständigkeit der Turing der Aufmerksamkeit verdient. Dies zeigt, dass SQL ein breiteres Computerproblem lösen kann als bisher angenommen. Von Mandebrows Visualisierung bis hin zur komplexen mathematischen Simulation überschreitet die Möglichkeit von SQL -basierten Lösungen die herkömmliche Datenabfrage und den Betrieb.