XML database schema refinement through functional dependencies and normalization