Schema Hypergraphs: A Formalism to Investigate Logical Database Design