database refinement code
database refinement code