-current state of a relation, based on meeting certain rules regarding functional dependencies
a state of a relation that requires that certain rules regarding relationships between attributes (or functional dependencies) are satisfied.
programs that control and manage the basic operations of a computer; includes operating systems, utility programs, and software development tools