Subsumption for Database Schema Design