对返回布尔值的 UDR 使用 NEGATOR 修饰符。
NEGATOR 修饰符为当前函数命名一个伴随用户定义函数，叫做否定函数。否定函数以相同的顺序采用相同的参数作为它的伴随函数，但是返回布尔补数。
equal(a,b)
notequal(a,b)
两个函数都以相同顺序接受相同的参数，但是返回互补的布尔值。在效率更高时，优化程序可以使用否定函数代替指定的函数。
要调用具有否定函数的用户定义函数，必须对两者都有执行权限。此外，函数的所有者必须和它的否定函数相同。