SQL и его вариант TSQL были противоречивы. Хотя SQL в основном считается языком запросов данных, некоторые люди считают, что их способность к выражению выражения превосходит этот ограниченный диапазон.

Эндрю Гирт В наборе слайдов убедительно, что SQL может достичь завершаемости Тьюринга, даже если SQL не распространяется, такой как PL/SQL или PSM. Он доказывает это, используя публичное выражение (CTE) и оконные функции в SQL, чтобы доказать это в SQL. CTE позволяет пользователям создавать самостоятельные выражения имен для достижения рекурсивных задач. Эта функция, возможно, открыта для сложности вычислений, которая обычно не связана с SQL.

значение и влияние

следует отметить, что полнота SQL Turing не заинтересована в проектировании. Введение CTE заключается в повышении производительности языковой декларации, а не превращение в общий язык программирования, аналогичный C.

это понимание подчеркивает глубокую вычислительную мощность, которая может генерировать в кажущейся простой структуре. Возможность рекурсии SQL через CTE выпускает выражение, аналогичное полной системе Тьюринга. фактическое приложение

, хотя писать компилятор с SQL может быть нереалистично, теоретическое значение полноты Тьюринга заслуживает внимания. Это показывает, что SQL может решить более широкую вычислительную проблему, чем предполагалось ранее. От визуализации Мандеброу до сложного математического моделирования, возможность решений, основанных на SQL, превосходит традиционный запрос и операцию данных.