More Terminology
Every attribute has an atomic type.
Relation Schema: relation name + attribute names + attribute types
Relation instance: a set of tuples. Only one copy of any tuple! (not)
Database Schema: a set of relation schemas.
Database instance: a relation instance for every relation in the schema.