A rules engine striving for complete declaration of business rules, thus implementing at least the constraints component of the relational model.