AAron
множествами

Справедливости ради, следует уточнить, что SQL оперирует с мультимножествами, которые позволяют многократное включение одного и того же кортежа. При этом некоторые законы реляционной алгебры, которые выполняются для множеств, не выполняются для мультимножеств. 4 example: дистрибутивный закон разности в применении к обЪединению (rUs)-t=(r-t)U(s-t).
AAron
законы (именно законы) заставляющие оптимизатор работать так или иначе - это к разработчикам оптимизаторов

Ну зачем же так секретно? 4 example, cдесь все очень открыто расписано...
AAron
ок. вариант с джойном может вернуть большее количество записей

Ну наконец-то... Хоть Вы согласились... Хотя
Ex_Soft
тынць
....
http://www.sql.ru/forum/actualthread.aspx?tid=635706&pg=1#6775401](ключевые слова: декартово произведение, distinct )

AAron
это отношения к теме автора не имеет, варианты емы были предложены

Как это не имеет? Зачем же отказываться от своих слов? Вы справедливо заметили, что
AAron
неправильно, запрос возвращает больше данных, чем первоначальный

Других вариантов, лично я, - не увидел. Получается - решение только одно, да и то - неправильное. Вы считаете - тема закрыта?..
_________________
"Helo, word!" - 17 errors 56 warnings
Posted via ActualForum NNTP Server 1.4

насчет того символа
Ex_Soft
http://www.sql.ru/forum/actualthread.aspx?tid=635706&pg=1#6780382]Которая имеет свои законы, 4 example : rUs=sUr, (rUs)Ut=rU(sUt) и т.п.

закон взят первый попавшийся от балды для примера и на основании чего Вы подумали, что я его привел в контексте IN - ума не приложу...
AAron
2. указывается, как должен вести себя оптимизатор любой РСУБД

1. Ex_Soft
http://www.ozon.ru/context/detail/id/1351096/]cдесь все очень открыто расписано...

2. Не как " должен вести себя оптимизатор", а на основании каких законов реляционной алгебры он в процессе оптимизации преобразовывает исходный запрос в оптимальный. 4 example, когда в
у 1-го и 2-го final plan 1:1... А уж применять тот или иной закон в своем оптимизаторе - это, вот, действительно уже личное дело разработчиков. BTW, я бывает, особо заковыристые запросы, на характер прогоняю, как раз с целью "мобилками" померяться, и в Sybase ASE, и в Firebird. ~99.99% случаев планы 1:1...
_________________
"Helo, word!" - 17 errors 56 warnings
Posted via ActualForum NNTP Server 1.4

AAron
хорошо давать ссылки на скриншоты обложки книги

ну эта первый пришедший на ум букварик, в котором, как раз это все и описано: Глава 16. Компиляция и оптимизация запросов.
AAron
да и книга - не закон

Гм... А пацаны-то и не знают... Т.е. закон Ома, попав в книгу под названием "Справочник по элементарной физике" перестал быть законом и, сиречь, действовать?
AAron
речь шла о ссылке на стандарт

Стандарт ЧЕГО? Стандарт написания оптимизатора? Да нету такого. Вот, к примеру: Вам необходимо написать программу для расчета параметров электрической цепи. Как Вы ее напишете - это никого не волнует, главное, чтобы она все расчитывала согласно законам электротехники.
AAron
операции над множествами уже приводились. вот из них все и берется.

Что-то я не увидел, 4 example , законы расщепления (splitting rules) условий оператора выбора:
σ_C[sub]1 AND C₂[/sub](R)=σ_C[sub]1[/sub](σ_C[sub]2[/sub](R))
σ_C[sub]1 OR C₂[/sub](R)=(σ_C[sub]1[/sub](R)) U_S (σ_C[sub]2[/sub](R))
и многие другие, на основании которых работает оптимизатор.
Ей Богу, не поленитесь - полистайте хотя бы выше указанный букварик. И Вы откроете для себя много нового...
_________________
"Helo, word!" - 17 errors 56 warnings
Posted via ActualForum NNTP Server 1.4

P.S. NNTP формулы сломал...
σ _C1 AND C ₂ (R)=σ _C1 (σ _C2 (R))
σ _C1 OR C ₂ (R)=(σ _C1 (R)) U _S (σ _C2 (R))
_________________
"Helo, word!" - 17 errors 56 warnings

P.P.S. тынць
_________________
"Helo, word!" - 17 errors 56 warnings
Posted via ActualForum NNTP Server 1.4