SQL et sa variante TSQL ont été controversés. Bien que SQL soit principalement considéré comme un langage de requête de données, certaines personnes pensent que leur capacité d'expression dépasse cette gamme limitée.

Andrew Gierth Dans un ensemble de diapositives, il est convaincant que SQL peut atteindre la complétabilité Turing même si SQL ne s'étend pas comme PL / SQL ou PSM. Il le prouve en utilisant une expression publique (CTE) et des fonctions de fenêtre dans SQL pour le prouver dans SQL. CTE permet aux utilisateurs de créer des expressions de noms auto-référencées pour réaliser des problèmes récursifs. Cette fonction est peut-être ouverte pour la complexité de l'informatique qui n'est généralement pas liée à SQL.

signification et influence

Il faut noter que l'exhaustivité du SQL Turing n'est pas intéressée à concevoir. L'introduction du CTE est d'améliorer les performances de la déclaration de langue, plutôt que de la transformer en un langage de programmation général similaire à C.

Cette compréhension met en évidence la puissance de calcul profonde qui peut générer dans la structure apparemment simple. La capacité de récursivité de SQL via CTE libère l'expression similaire au système complet de Turing. Application réelle

Bien qu'il puisse être irréaliste d'écrire un compilateur avec SQL, la signification théorique de l'exhaustivité du Turing est digne d'attention. Cela montre que SQL peut résoudre un problème informatique plus large qu'on ne le pensait précédemment. De la visualisation de Mandebrow à la simulation mathématique complexe, la possibilité de solutions basées sur SQL dépasse la requête et le fonctionnement traditionnelles de données.