36 | | PlayCounts=γ g.genre_id,g.name→genre_name,ar.name→artist_name,COUNT(∗)→play_count(σ c.customer_id=123((customer⋈invoice)⋈(invoice_line⋈track)⋈(track⋈genre)⋈(track⋈album)⋈(album⋈artist))) |
| 36 | !PlayCounts=γ g.genre_id,g.name→genre_name,ar.name→artist_name,COUNT(∗)→play_count(σ c.customer_id=123((customer⋈invoice)⋈(invoice_line⋈track)⋈(track⋈genre)⋈(track⋈album)⋈(album⋈artist))) |
| 37 | |
| 38 | !MaxPlayCounts=γgenre_id,MAX(play_count)→max_count(!PlayCounts) |
| 39 | |
| 40 | Final_Result=π pc.genre_name,pc.artist_name,pc.play_count(PlayCounts⋈pc.genre_id=mpc.genre_id∧pc.play_count=mpc.max_count !MaxPlayCounts) |