A Distributed Rule Mechanism for Multidatabase Systems