SQL, sans extensions, peut-il atteindre l'exhaustivité des Turing?

Achèvement SQL Turing: peut-il être réalisé sans expansion?

Question:

Compte tenu de l'exhaustivité de la surface SQL, peut-il théoriquement utiliser SQL pour construire un compilateur? Réponse:

Oui, même s'il n'y a pas d'extension externe telle que PL / SQL ou PSM, SQL est en effet complet.

Prouver: Andrew Gierth prouve dans une démonstration que SQL est également complet par Turing sans expansion de script. En atteignant le système de marquage circulant (un modèle complet éprouvé), il prouve que SQL peut résoudre le problème récursivement. Dans ce contexte, la caractéristique clé est CTE (Expression publique), qui permet une formule sous-exprimant pour l'auto-référence.

signification:

La découverte d'exhaustivité de SQL Turing met en évidence la capacité d'expansion de ce langage de déclaration principal. Tout comme les modèles de C sont devenues de façon inattendue complètes, les caractéristiques CTE de SQL en font également un langage plus courant.

Exemple:

Un exemple remarquable est de créer une collection de Mandaelo avec SQL, montrant le potentiel de la langue dans l'application dense calculée.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!