] >

$π_{D a n c e r} (F r e q u e n t s ⋈ P l a y s ⋈ L i k e s)$
Sol 1:
$π_{D a n c e r} (F r e q u e n t s) - π_{D a n c e r} [F r e q u e n t s - π_{D a n c e r, D i s c o} (L i k e s ⋈ P l a y s)]$
Sol 2:
$f r e q C o u n t \leftarrow {_{D a n c e r} ℱ}_{c o u n t (*)} (F r e q u e n t s)$
$p l a y C o u n t \leftarrow {_{D a n c e r} ℱ}_{c o u n t (*)} (π_{D a n c e r, D i s c o} (F r e q u e n t s ⋈ P l a y s ⋈ L i k e s))$
$π_{D a n c e r} (f r e q C o u n t \cap p l a y C o u n t)$
$π_{S o n g} (σ_{c o u n t = 1} ({_{S o n g} ℱ}_{c o u n t (*)} (P l a y s)))$