Чисто теоретический вопрос

[dil]

Можно ли считать SQL языком программирования?
А Пролог?

Upd: чтоб было понятнее, откуда возник вопрос. Они оба не являются алгоритмическими языками, в том смысле, что не содержат алгоритма получения результата. Они содержат только критерии, которым этот результат должен удовлетворять. Можно ли считать их при этом языками программирования?

Comments

[alexshubert.livejournal.com]

у SQL есть пордолжения. I-SQL, T-SQL, PSQL к примеру - почему бы и нет?

А пролог я, по-моему, в глаза не видел.

[tullamoredew.livejournal.com]

а чем пролог не язык програмирования? очень специфичный, но язык

[jerom.livejournal.com]

SQL в чистом виде - нет. С расширениями - да.

Пролог - да. Ну а определяю я это так: смог бы кто-то написать машину Тьюринга на этом языке?

Если да - язык программирования. Иначе - просто грамматика какая-то.

[k-g-b.livejournal.com]

Саш, травой делись!
Ты чего? Structured Query Language - это язык кого????
Пролог - один из языков програмирования.

P.S. Похмеляйся.

[alexott.livejournal.com]

пролог - конечно язык программирования, на нем даже первые версии эрланга были написаны

[unbe.livejournal.com]

Определение вообще-то неправильное, есть тьюринг-полные языки, а есть и нет. SQL - это вполне язык программирования.

[http://users.livejournal.com/mak_/]

а xml/html ?:)

[dil.livejournal.com]

я не про расширения, а про голый SQL

[dil.livejournal.com]

SQL, как и пролог, не содержит алгоритма получения результата, а только сообщает о том, каким критериям он должен соответствовать. почему тогда SQL не считается языком программирования (не путать с алгоритмическими языками), а пролог - считается?

[dil.livejournal.com]

это языки описания данных, они тут вообще ни при чём

[tullamoredew.livejournal.com]

потому что на прологе можно программировать общие задачи а на SQL можно только писать обращения к БД?

[dil.livejournal.com]

а про общность я ничего не спрашивал. есть языки, заточенные под решение очень узкоспециализированных задач, и это не мешает им быть языками программирования.

тем более, что на sql тоже можно писать не только обращения к БД. select 2+2 from systables;

[blacklion.livejournal.com]

Тогда — нет. Он не тьюринг-полон, где-то я видел доказательство.

[motto.livejournal.com]

xslt:math и тп помнишь?

[anatolix.livejournal.com]

Это терминологический вопрос. Определи что ты называешь языком программирования, и сразу получишь ответ.

Я например отношусь скорее к "Some authors restrict the term "programming language" to those languages that can express all possible algorithms"
http://en.wikipedia.org/wiki/Programming_language#cite_note-1
Поэтому SQL это не язык программирования т.к. не turing complete, а brainfuck и пролог языки программирования.

P.S. Пролог таки является алгоритмическим языком программирования, ты наверное хотел использовать термины "императивный"/"декларативный"

[tullamoredew.livejournal.com]

на сиквеле можно и детерминистические автоматы писать, только зацикленные на базу. на прологе же возможности шире

[blacklion.livejournal.com]

"Some authors restrict the term "programming language" to those languages that can express all possible algorithms"
А что, есть другие признаки? Мне казалось, что тьюринг-полнота — это единственное определение языка программирования :)

[dil.livejournal.com]

xslt:math - это фича конкретного интерпретатора, она к самому по себе языку xml отношения не имеет.

[duke-igthorn.livejournal.com]

Это что ж - только императивщину и функциональщину считать языками? А как же декларативные всякие языки?

В общем, правда - ответ на вопрос зависит от определения. Если сделать определение частью постинга, будет смысл обсуждать.

ЗЫ Не говоря уж о том, что надо конкретнее - какой из диалектов (или стандартов) SQL имеется в виду.

RE: UPDATE

[motto.livejournal.com]

ЩА придут поклонники функциональности и распнут тебя нафиг.
Причем будут правы.

Навесят тебе и за лисп, и за хаскель и за все

[motto.livejournal.com]

ну, функциональщина, в определенном смысле, не содержит "алгоритма получения результата" :)

[duke-igthorn.livejournal.com]

Да, про функциональщину я тоже ... запнулся, когда писал.

[motto.livejournal.com]

мы будем говорить про практическую ценность языка Ц без библиотек и загрузщика или ты сам догадался?

[http://users.livejournal.com/mak_/]

xml, насколько я помню, язык расширяемый. так что 2+2 в него встроить можно.
но вообще да, ниже правильно написали, что это вопрос определения.

[dil.livejournal.com]

а языком программирования, тем не менее, является. как и логические языки типа пролога. так вот я и думаю, а чем SQL хуже?

Re: UPDATE

[dil.livejournal.com]

за что распнут-то? я ж ничего не утверждал, я только спросил :)

[dil.livejournal.com]

у языка Ц вычислительность присутствует по определению, а у xml - нет.
xml можно использовать для описания программ, но это не делает его сам по сбе языком програмирования, он всё равно остаётся языком описания

[dil.livejournal.com]

можно. так вот и вопрос - SQL при этом является языком программирования?

Re: UPDATE

[motto.livejournal.com]

а они нервные!

[tullamoredew.livejournal.com]

присоединюсь к нижеотписавшимся :) что есть язык программирования?

Re: UPDATE

[http://users.livejournal.com/mak_/]

"Один вот тоже, шерсть на носу, касался, так его взяли за руки-за ноги и на дерево закинули, там он до сих пор висит, а когда снимут, так больше уже касаться не будет, шерсть на носу…"

Re: UPDATE

[bormotov.livejournal.com]

нервными они становятся тока когда появляются разрывы сессий %)

[bormotov.livejournal.com]

углубимся в терминологию: что такое программа?

Меня вот прикалывает такое (http://slovari.yandex.ru/dict/gl_natural/article/136/136_207.HTM?text=%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC%D0%B0) определение:
Программа - согласно ГОСТ 19781-90 - данные, предназначенные для управления конкретными компонентами системы обработки информации в целях реализации определенного алгоритма.

Относительно того, что SQL - язык, надеюсь сомнений нет ни у кого. И поскольку написанное на этом языке является программой (управляет конкретными системами обработки информации), то значит он язык программирования :)

[bormotov.livejournal.com]

алгоритм обработки функциональщины внутри компилятора/интерпретатора. Есть целевая функция, и её вычисляют.

[blacklion.livejournal.com]

углубимся в терминологию: что такое программа?
Ну, меня везде учили и я везде читал, что “программа — это запись алгоритма в виде, понятном исполнителю, для которого эта программа предназначена.”

[bormotov.livejournal.com]

да-да. Запись на языке SQL понятна исполнителю - серверу.

[blacklion.livejournal.com]

Но она не является записью алгоритма, кроме вырожденных случаев типа SELECT 2+2..

С другой стороны — с прологом почти та же фигня…

[bormotov.livejournal.com]

я вот, честно говоря, совсем не помню привязки к "алогоритму".

В любом случае, алгоритм есть, потому как процессор у нас выполняет таки команды последовательно.

Для декларативных языков программирования, алгоритм фиксирован. Этот набор деклараций управляет машиной, которая работает по тому самому фиксированному алгоритму.

Например, для SQL алгоритм машины можно записать так:
1. получить запрос
2. выполнить запрос
Если дальше разворачивать пункты вглубь, то получим программу, которая будет составлена строго по этим самым декларациям.

[anatolix.livejournal.com]

да нет почему же, select * from table1 это описание алгоритма выбирающего все записи из table1.

[blacklion.livejournal.com]

А как же “Алгоритм есть последовательность элементарных действий, и так далее”? Тут никакой последовательности не видно.
Если переходить на бытовые примеры — то просьба жене “свари борщ” как-то не похожа на алгоритм варки борща. Это скорее запуск макроса, который уже в себе содержит алгоритм (рецепт) :)

[blacklion.livejournal.com]

Вообще, всё упирается в определения, и только в них :)

[anatolix.livejournal.com]

Нет - просто для базы это "элементарное действие".
А так алгоритм на ассемблере это тоже макрос, т.к. ты не управляешь пересылкой электронов в процессоре.

[blacklion.livejournal.com]

Ну, вот и получается — всё о терминологии спор :)