-- p.t == p.dziedzina
CREATE ASSERTION A1 CHECK(
NOT EXISTS(SELECT pk.kid FROM pk
       INNER JOIN p ON p.pid = pk.pid
           GROUP BY pk.kid
           HAVING(COUNT(pk.pid) != COUNT(DISTINCT(p.t)))
)