LINUX.ORG.RU
ФорумTalks

тьюринг полнота sql


0

1

Вчера с товарищем за чашечкой пива дело дошло до обсуждения sql. Товарищ, кстати говоря, суровый практик, утверждал, что на sql может написать все что угодно. Так как sql я знаю плохо (почти совсем никак), то хочу разобраться, что к чему. С одной стороны, есть стандарт sql-92, который не тьюринг-полный, с другой стороны, начиная со стандарта 99-го года, там появились регэкспы, рекурсивные запросы и тп, т.е. он вроде бы как тьюринг-полный и какбы товарищ-то прав... Но, можно ли все эти навороты считать sql-ем, ведь они уже выходят за пределы реляционной алгебры?...


с какой целью интересуешься? что изменится от этого ответа и как ты сможешь использовать полученный результат? Ну скажут, что расширения к реляционной алгебре не относятся, но вот разработаны альтернативные объектные алгебры (или как они там называются). Чем тебе это поможет?

ArsenShnurkov
()

sql и реляционная алгебра, наличие регэкспов и тюринг-полнота. Всё это совсем разные вещи.

Ximen ★★★★
()
Ответ на: комментарий от ArsenShnurkov

с какой целью интересуешься? что изменится от этого ответа и как ты сможешь использовать полученный результат? Ну скажут, что расширения к реляционной алгебре не относятся, но вот разработаны альтернативные объектные алгебры (или как они там называются). Чем тебе это поможет?

Да это все демагогия, конечно. Но кратко говоря, можно ли ответить «да» или «нет» на вопрос «можно ли на sql написать все»? или формально «реализовать любую вычислимую функцию?»

sql и реляционная алгебра, наличие регэкспов и тюринг-полнота. Всё это совсем разные вещи.

Ну это плохой ответ... Разные-то, разные. Но не хочешь ли ты сказать, что вещи никак не связаны между собой?)))

najar
() автор топика
Ответ на: комментарий от najar

> Ну это плохой ответ...
Напротив, это хороший ответ. Как говорится, +1.

Globalmirror
()

На sql можно реализовать машину Тьюринга. Ещё вопросы?

unC0Rr ★★★★★
()

Пользовательские функции учитывались?

exst ★★★★
()

>можно ли все эти навороты считать sql-ем, ведь они уже выходят за пределы реляционной алгебры?

SQL-ем можно считать всё, что входит в стандарт. Тьюринг-полнота, если не ошибаюсь, там появилась только в SQL-08.

xetf ★★
()
Ответ на: комментарий от xetf

Вообще, поговаривают, что полнота достигается за счет CTE и windowing

najar
() автор топика

>Вчера товарищ после трех литров пмва утверждал, что на sql может написать все что угодно.

fixed. Так более вероятно )

З.ы. пусть попробует GUI на sql написать ;)

Siado ★★★★★
()
Ответ на: комментарий от Siado

лучше уж сразу 3d-шутер какой-нибудь)

najar
() автор топика
Вы не можете добавлять комментарии в эту тему. Тема перемещена в архив.