Nazywa się to Podział relacyjny
SELECT a.name
FROM parent a
INNER JOIN rel b
ON a.parent_ID = b.parent_ID
WHERE b.prop_id IN (1,5)
GROUP BY a.name
HAVING COUNT(*) = 2
AKTUALIZACJA 1
jeśli unikalne ograniczenie nie został wymuszony na prop_id
dla każdego parent_id
, DISTINCT
jest potrzebne w tym przypadku.
SELECT a.name
FROM parent a
INNER JOIN rel b
ON a.parent_ID = b.parent_ID
WHERE b.prop_id IN (1,5)
GROUP BY a.name
HAVING COUNT(DISTINCT b.prop_id) = 2