Харесва ми да използвам агрегиране за това с условно агрегиране. Например за първия ви куршум:
select a.carid
from attributes a
group by a.carid
having sum( (attribute, value) in ( ('color', 'red'), ('color', 'blue') ) ) > 0 and
sum( (attribute, value) in ( ('wheels', '2') ) > 0;
> 0
означава, че комбинацията атрибут/стойност съществува. Използвайте = 0
за да уточните, че не работи.