Restricted Least Fixpoints in Deductive Databases