ViPRosЛюди должны свои мозги (знания) закладывать в систему.

Ну это тада типа экспертневая система. Там типа базы знаний либо еще что, но знаний. И там типа СУБЗ или еще что но знаний.


А тут то информационные системы и всего лишь СУБД. Здесь информация: данные + механизм их интерпритации.

Ну СУБД ясно не претендует на СУБЗ (ни реляционная и никакая другая).
Но претендует на то, что она есть и технология успешная: кажный может в принципе налабать ИС более или менее что-то там могущую.

_модОписание задачи всегда содержит описание способа ее решения (явно или нет).

На задачу Ферма намекаете?

_модvadiminfoНа задачу Ферма намекаете?
Да не, все проще. Даже простое алгебраическое выражение задает порядок операций. Рел. алгебра тоже состоит из операций и даже последовательность их выполнения можно выделить. Дейкстра рассматривает программу как формальное описание постановки задачи, а процес разработки программы как решение еще не четко сформулированой задачи.
Конечно, сравнивая программу и ее машинный код можно считать первый декларацией, а второй реализацией, но это все условно.
Нет уж извините.

Вы сказали: описание задачи всегда содержит описание способа ее решение.
имеется описание задачи Ферма
Следовательно,
имеется описание способа решения

(классическая логика)

Но трабла в том, что за ея решение давали много бобла в свое время, но способа решения видать в ее описаения все же не нашли в то время.

Что до алгебры, то она, видимо, предполагает определенную стратегию решения. Но язык SQL в некоторых случаях не содержит и таковой:
в нем говорится ЧТО надо, но не говориться КАК. Например: Найти всех сотрудников, у которых зарплата меньше 100 000 р. Здесь есть что надо, но нет ничего о том как это буит.

Однако, в широком смысле на практике комп технологий, скорее всего: декларативный язык - претендует на то, не нуно разрабатывать алгоритмов (писать циклов), а императивный для тех же целей предполагает таковые.
Поскоку это имеет значение в затратах на получение результата, круг задач, решаемых с помощью данного языка и вообще.
Возможно, могут быть степени деклративности: этот язык более декларативный, чем тот, поскоку в нем меньше нуно стратегий решения намечать (меньше думать о том КАК решать).

ViPRosкак раз СКЛ так НЕ работает
он требует детализации понятия Сотрудник (всякие фромы и джойны) и Зарплата (хранимая процедура, функция и т.д.)
Ну, Сотрудник это табла в которй к примеру, есть колонки таб номер, ФИО, месячная зарплата. Ну такая таблица типа.
Тада на SQL:
SELECT ФИО, Табельный номер FROM Сотрудник WHERE Зарплата < 100000

Можно буквально воспроизвести на обычном языке как:
Найти всех сотрудников (ФИО и ТАБ номер) у которых зарплата меньше 100 000.

Ну типа получается, что сработал.