Example 6: Dyadic OPERATOR on Relvar

[Chris Walton]

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 ;