36 | | π g . genre_id, g . name → genre_name, ar . name → artist_name, COUNT (*) → play_count |
37 | | γ genre_id, name, name, COUNT (*) |
38 | | σ c . customer_id = 123 |
39 | | (ρ c customer ⋈ c . customer_id = i . customer_id |
40 | | ρ i invoice ⋈ i . invoice_id = il . invoice_id |
41 | | ρ il invoice_line ⋈ il . track_id = tr . track_id |
42 | | ρ tr track ⋈ tr . genre_id = g . genre_id |
43 | | ρ g genre ⋈ tr . album_id = a . album_id |
44 | | ρ a album ⋈ a . artist_id = ar . artist_id |
45 | | ρ ar artist) in let maxplaycounts = |
46 | | π genre_id, MAX (play_count) → max_count |
47 | | γ genre_id, MAX (play_count) playcounts in |
48 | | π pc . genre_name, pc . artist_name, pc . play_count |
49 | | (ρ pc playcounts ⋈ pc . genre_id = mpc . genre_id AND pc . play_count = mpc . max_count |
50 | | ρ mpc maxplaycounts) |
| 36 | π g . genre_id, g . name → genre_name, ar . name → artist_name, COUNT (*) → play_count γ genre_id, name, name, COUNT (*) σ c . customer_id = 123 (ρ c customer ⋈ c . customer_id = i . customer_id ρ i invoice ⋈ i . invoice_id = il . invoice_id ρ il invoice_line ⋈ il . track_id = tr . track_id ρ tr track ⋈ tr . genre_id = g . genre_id ρ g genre ⋈ tr . album_id = a . album_id ρ a album ⋈ a . artist_id = ar . artist_id ρ ar artist) in let maxplaycounts = π genre_id, MAX (play_count) → max_count γ genre_id, MAX (play_count) playcounts in π pc . genre_name, pc . artist_name, pc . play_count(ρ pc playcounts ⋈ pc . genre_id = mpc . genre_id AND pc . play_count = mpc . max_count ρ mpc maxplaycounts) |