conditions that must hold on all valid relation instances
conditions that the records in a relation must satisfy
the set of instructions that your computer hardware executes to process information for you