• programming language intended for declarative statements (statements that are for the compiler and not part of the actual program - such as ddl)