DBMS Informal Measures, Functional Dependency, Inference Rules