Horn clause transformation by restrictor in deductive databases