schema refinements