When used at the design stage, which of the following improves the efficiency, accuracy, and speed of a database?