Logical Inference Rules In Dbms