Database Spec: First Step