Bogdan1024SELECT a.u, b.u from a join b on a.c=b.c
в реляционной алгебре выглядит как
a,b (a П b) ???
Я понимаю что можно a ,b (a П b(a[c]=b[c])), но я так понимаю что (a[c]=b[c]) является необязательным? Я вообще так понял что существует много вариаций записи реляционной алгебры, верно? Можно где-то почитать про неё подробно и НОРМАЛЬНО, а не как одна глава в учебниках по Posterge-SQL? Действительно, лучше всего в нормальной книге читать, а не в учебниках по конкретным СУБД. Лучше всего, конечно, у Криса Дейта, как вам посоветовали.
Про вариации записи: реляционная алгебра как таковая абстрактна и не привязана к конкретному языку. Например, запись вашего примера на реляционном языке Tutorial D выглядит примерно так:
В языке SQL тоже можно по всякому это записать, к примеру:
Наиболее сухо и формально реляционная алгебра изложена в 3 Манифесте (Дейт, Дарвен). Можете почитать выдержки на русском:
Третий манифест Кристофера Дейта и Хью Дарвена: предпосылки и обзор
Третий манифест Кристофера Дейта и Хью Дарвена: немного формализма (вот здесь именно по алгебре).