Semantic and object-oriented data models provide convenient constructs for the specification of objects, relationships, and operations. The vehicle of representation is a collection of abstractions which parallel the means by which humans prefer to organize complex enterprises. These constructs inherently permit focus on one object, relationship, or operation at a time. Propagation, as a semantic construct, provides the extension of existing modeling capabilities by providing a mechanism for the specification of the update semantics between database objects. Through the analysis of constraints and the propagated actions necessary to maintain them, we attempt to do the following: 1) incorporate additional semantics into the database schema in the form of database propagation rules, 2) in the context of constraints and propagation rules, provide a model independent paradigm for determining if schemata are correct, and 3) provide a vehicle fur the explicit specification of update actions during database schema design.