[SQL]：行的唯一子集，其中列值具有一组值中的每一个

您已经描述了关系划分。https://zh.wikipedia.org/wiki/Relational_algebra

让R(c1 PRIMARY KEY, c2, c3)-表
S(col)={ k1, k2, ..., kn}-包含一个设定值，除法器。两种通用方法是NOT EXISTS-用余数除法和COUNT（）-精确除法。

SELECT DISTINCT c1
FROM R r1
WHERE NOT EXISTS
       (SELECT *
        FROM S 
        WHERE NOT EXISTS
               (SELECT *
                FROM R AS r2
                WHERE (r1.c1 = r2.c1)
                   AND (r2.c2 = S.col)));

和

SELECT r1.c1
FROM R AS r1,
JOIN S AS s1 ON r1.c2 = s1.col
GROUP BY r1.c1
HAVING COUNT(r1.c2) = (SELECT COUNT(s2.col) FROM S s2);

有关更多方法，请参见https://www.simple-talk.com/sql/t-sql-programming/divided-we-stand-the-sql-of-relational-division/。