This is closely related to this question, but adds another requirement.
Given a parent table \'parent\'
╔════════════╦════════╗ ║ PARENT_ID ║ NAME
SELECT PARENT_ID FROM rel GROUP BY PARENT_ID HAVING SUM(PROP_ID NOT IN (5,1)) = 0 AND SUM(PROP_ID = 1) = 1 AND SUM(PROP_ID = 5) = 1