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

[dil]

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

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

Comments

[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]

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

[anatolix.livejournal.com]

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

[blacklion.livejournal.com]

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

[blacklion.livejournal.com]

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