Является ли этот SQL-запрос эквивалентным этому выражению реляционной алгебры?

Question

У меня есть следующий SQL-запрос:

SELECT foo.a, bar.b, baz.c FROM foo 
INNER JOIN bar ON bar.id = foo.bar_id 
INNER JOIN baz ON baz.id = foo.baz_id 
WHERE foo.z = 50; 

Я хочу знать, если это эквивалентно этой реляционной алгебры заявление.

π foo.a, bar.b, baz.c (foo) ⋈ bar.id = foo.bar_id (bar) ⋈ baz.id = foo.baz_id (baz) σ foo.z = 50 

Answer 1

Да, это (ваш SQL-запрос) - представление для вашего реляционного оператора.

Answer 2

π foo.a, bar.b, baz.c (foo) ⋈ bar.id = foo.bar_id (bar) ⋈ baz.id = foo.baz_id (baz) σ foo.z = 50 

Это выражение алгебра не записывается в соответствии с какой-либо общей версии реляционной алгебры. Поэтому мы не можем сказать, что SQL эквивалентен. Кажется, это то, что вы произвели, а не то, что вам дали.

Обычно мы пишем:

π attributes (relation) 
σ condition (relation) 

и выражение алгебра должна быть вложенности их:

π attributes (σ condition (relation)) 

Какие условия вы разрешили написать и можно ли использовать точки с именами атрибутов в любом из ваши вызовы операторов зависят от того, как определена ваша алгебра. Использование точек требует, чтобы имена сопровождали значения отношения, переданные операторам.

На ваш вопрос не может быть дан ответ полностью, пока вы не дадите ссылку на или описание алгебры, которую вы должны использовать.

Кажется, вы можете подумать, что все, что вам нужно сделать, это заменить SELECT на π, JOIN на ⋈ и WHERE на σ. Это не правильно.