Type Concepts for Database Definition