Output regulation of discrete-time linear systems with state and/or input constraints on magnitude is considered. The structural properties of linear plants are identified under which the so called constrained semiglobal and global output regulation problems are solvable. As in the case of continuous-time systems, an important aspect of our development is a taxonomy of constraints to show a clear relationship between the type of constraints and the output regulation results. Solvability conditions are developed for semiglobal and global output regulation problems. Appropriate regulators are constructed