ncix 4 фев 2011 в 17:11

Машина Тьюринга на чистом SQL

3 мин

8.2K

Ненормальное программирование*Firebird/Interbase*

+48

Комментарии 17

SwampRunner 4 фев 2011 в 18:38

Красивый код

GreyCat 4 фев 2011 в 20:29

Красиво, но заголовок вводит в заблуждение. Это не «чистый SQL», а SQL для Firebird. «WITH RECURSIVE», «GEN_ID», «RDB$DATABASE» и т.п. в стандартном SQL нет.

НЛО прилетело и опубликовало эту надпись здесь

GreyCat 4 фев 2011 в 20:54

Строго говоря — решение с WITH RECURSIVE — тоже не обладает, число шагов конечное и очень небольшое. Решение более «в лоб» — запускать бесконечно много раз запрос, но это уже требует процедурного SQL и какого-то подобия цикла (точнее, перехода).

ncix 4 фев 2011 в 21:18

1024 шага в Firebird

barbalion 4 фев 2011 в 21:10

Конструкция USING в том числе с поддержкой рекурсии введена в SQL-1999 (SQL3) ( en.wikipedia.org/wiki/SQL ). Если какие-то СУБД не поддерживают этот стандарт, то это не проблемы шерифа.
RDB$DATABASE имеет аналог в каждой СУБД (DUAL в Oracle, SELECT без FROM в MS SQL и т.п.). Операции манипуляции с генераторами или последовательностями есть так же во всех уважающих себя СУБД. Так что указанный код вполне себе «SQL», с небольшими особенностями синтаксиса, которые не влияют на суть.

barbalion 4 фев 2011 в 21:25

Хотя правильней, конечно, было бы написать «Машина Тьюринга на чистом SQL-1999» :)

-2

ncix 4 фев 2011 в 21:32

мне все-таки кажется, в заголовке эти подробности лишние :)

nblxa 6 фев 2011 в 16:30

тогда это была бы неправда, «чистой» реализации любого из стандартов sql не существует. а «чистый sql» это правда, как правда и то, что sql-ы бывают разные

ncix 6 фев 2011 в 23:17

правильнее было бы написать, конечно, DML, а не sql, но эту аббревиатуру мало кто помнит.

33c0 4 фев 2011 в 18:44

Однозначный вин. Но считаю идею ненормальности раскрытой не полностью. Теперь напишите интерпретатор sql для получившегося интерпретатора машины Тьюринга. И запустите интерпритатор Тьюринга на получившемся интерпретаторе sql. (Тем не менее извращение заслуживает всяческих похвал)