È questo il modo corretto per creare asserzione SQL?

Question

Per fare il seguente tipo di asserzione

create assertion assert  
check "EMPTY SET" = (select User         
     from Video  
     where date=current_date()  
     group by user  
having count(*) >= 10

Questa affermazione è giusta?

create assertion assert  
check  0 = (select count(*)  
     from Video  
     where date=current_date()  
     group by user  
having count(*) >= 10