As usual, types have to be defined before instances of them can be created (the collection of defined types - sometimes together with the set of explicit consistency constraints - forms the database schema ). Every database thus adheres to the schema defined for it, and both together, the schema and the actual data provided by the users (and stored in instances) capture the miniworld semantics.