Читаю на этом форуме "sql это исчисление предикатов первого порядка." а нам вчера аспирант говорил что на реляционной алгебре язык SQL базируеться а не на реляционном исчислении.

Вопрос. Кто прав?

( спрашивал уже на 3 подфорумах - Просто треи и MS SQL. Молчат. Может тут есть специалисты посильнее)

". Язык SQL представляет собой смесь операторов
реляционной алгебры и выражений реляционного исчисления , "

а разве нельзя заменить выражения реляционного исчисления операторами реляционной алгебры?

http://hghltd.yandex.ru/yandbtm?url=http://wall.tms.ru/database/digest/codd_alg.shtml&text=%F0%E5%EB%FF%F6%E8%EE%ED%ED%E0%FF+%E0%EB%E3%E5%E1%F0%E0+%E8+%F0%E5%EB%FF%F6%E8%EE%ED%ED%EE%E5+%E8%F1%F7%E8%F1%EB%E5%ED%E8%E5+%F1%F0%E0%E2%ED%E5%ED%E8%E5&dsn=37&q=-551375692&d=974513

2 SiDen

Про то, что реляционная алгебра и реляционно исчисление имеют одинаковую выражающую мощность я тоже сказал :-)

"Сама суть вопроса непонятна, т.к. может быть представлено и тем, и тем "

суть такая - что такое SQL. ( Реляционная алгебра или реляционное исчисление).

"От одного набора аксиом(набор1) - получаем результат1. "

"От второго эквивалентного набора(набор2)-тоже получаем результат1."

это вы про что. Про алгебру и исчисление. А где в алгебере есть аксиомы?

Может тогда вообще не корректно сравнивать SQL( язык ) с алгеброй и исчислением

На том и порешим

1) ВЫсказывание - "sql это исчисление предикатов первого порядка." не корректно
2) "Язык SQL представляет собой смесь операторов
реляционной алгебры и выражений реляционного исчисления ,
использующий синтаксис, близкий к фразам английского языка и расширенный
дополнительными возможностями, отсутствующими в реляционной алгебре
и реляционном исчислени" тоже не корректно

"Я бы сказал, что скл - это язык ОСНОВАННЫЙ на реляционной алгебре или на исчилении кортежей. "

что бы так сказать надо дать четкое формальное определение понятию ОСНОВАННЫЙ

иначе это демагогия

язык определятся грамматикой. Грамматика - это четверк
(алфавит нетерминальных, алфавыит терминальных, Правила вывода, начальный символ)

"Обоснование "Основанный". Тут все достаточно просто: проводите параллели между основными опеределениями скл и рел.алгебры и выведете соответствия."

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

Давайте так:
"Определение 1: Одна штука называется основанной на другой тогда и только тогда, когда первая штука включает в себя по смыслу и содержанию полностью или кусок второй штуки."

Большей глупости трудно придумать. Вы тут напутали или спутали определение включения дл ямножеств и еще черт знает что :-)

1) что значит включает по смыслу? По смыслу чего
2) что значит включает по содержанию. Какое содержание

договаривались же о строгой математической формулировке. Вы в математике встречали где-нибудь определения смысла?

Дальше вообще полный бред

"Вы ЗЫ читали? А шутки воспринимаете? Или заучились? "

Если была шутка, то не понял. Прошу извинить.

"Какое определение скл Вы хотите получить?"

я хочу опровергнуть высказывание sql -исчисление предикатов первого порядка.
---------
"договаривались же о строгой математической формулировке" да?
А как на счет определения языка?
"
По порядку. Якык L в алфавите A - цепочки символов конечной длинны в алфавите A. Задать язык - задать описание этого множества конечных цепочек.

Можно перечислить конечно некоторые цепочки из A и сказать , что именно эти цепочти образуют язык L ( это первый способ определения языка). Можно задать порождающую систему цепочек ( второй способ). Обычно использую второй способ :-). Для этого вводят понятие грамматики

Грамматикой называеться четверка G=(VN,VT,P,S) где

VN- множество нетерминальных символов
VT- множество терминалов
P - правила вывода.
S- начальный символ.

Таково формальное определение грамматики. Вы наверное с ним сталкивались в институте ( хорошая книга по этой тематике - Ахо и Ульман)

но на практике такая система не используеться обычно используються для записи грамматики языка расширенные БНФ - расширенная форма Бэкуса-Наура ( может и не правильно написал. точно не помню ().

Это когда пишут
цифра:1|2|3|4|5|6|7|8

и т.д

пример определения грамматики языка PL/SQL можно найти по этой ссылке
http://mab.h1.ru/PLSQL/plsql9.htm

"Определение 1: Одна штука называется основанной на другой тогда и только тогда, когда первая штука включает в себя по смыслу и содержанию полностью или кусок второй штуки. "

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

"Я Вам дал определения не привязанные ни к чему. А Вы сразу кричите бред. Может укажите некорректность? (недостающие определения могу дописать)
Определение смысла не встречал, но уж не хотите ли Вы сказать что смысла нет?"

разве математика смысло занимаеться?


"Например интеграл и площадь или объем... ни о чем не говорит? "

говорит. интеграл - как помниться это предел последовательнсти сумм и т.д
( точно правда не помню)
тут на мой взгляд вы делаете ошибку сильную. математика не обращаеться к смыслу - это формальная наука. Именно формальная и понятием смысл она не работает. Это вы площадь мыслите полощадью, а на языке формул - это просто формула. А если уходить в многомерные пространства и т.д там вообще со смыслом туго ).

Видно, что вы человек начитанный , умный. Но давайте попробуем быть более формальными.

Если не ответил на какой-то вопрос или не достаточно хорошо его осветил, то укажите мне на это плиз.