SQLチューリング完了:拡張せずに達成できますか?
証明:Andrew Gierthは、SQLもスクリプトの拡張なしにチューリングすることで完了していることを証明しています。循環マーキングシステム(実証済みのチューリング完全モデル)を達成することにより、彼はSQLが問題を再帰的に解決できることを証明しています。これに関連して、重要な機能はCTE(Public Expression)です。これにより、自己参照のサブ発現式が可能になります。
重要性:SQLチューリングの完全性の発見は、この主要な宣言言語の拡大能力を強調しています。 Cのテンプレートが予想外にチューリングが完全になったように、SQLのCTE特性もより一般的な言語になります。
例:
注目に値する例は、SQLを使用したマンダエロのコレクションを作成し、計算された密なアプリケーションで言語の可能性を示すことです。以上がSQL は拡張機能なしでチューリング完全性を達成できますか?の詳細内容です。詳細については、PHP 中国語 Web サイトの他の関連記事を参照してください。