Example 6: Dyadic OPERATOR on Relvar
Posted: Sat Jul 27, 2013 9:08 pm
Dyadic OPERATOR on Relvar
Code: Select all
OPERATOR equals ( P TUPLE { name data_type } , Q TUPLE { name data_type} ) RETURNS boolean ;
if P = Q then return true;
else return false;
end if ;
END OPERATOR ;