The part of the program that encodes the real-world business rules that determine how data can be created, stored, and changed