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

[dil]

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

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

Comments

[duke-igthorn.livejournal.com]

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

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

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

[motto.livejournal.com]

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

[duke-igthorn.livejournal.com]

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

[dil.livejournal.com]

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

[bormotov.livejournal.com]

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