A formula or set of rules for solving a particular problem. A set of rules for transforming the logical representation of data.