Presents a database system development model in which theoretical support in the form of automated theorem proving is brought to bear on the problem of enforcing integrity, i.e., ensuring that the database system represents only those states and transitions that are possible in the world it models. (MBR)

Describes a model for training instructional designers who will work as members of videodisc development teams. This model develops and integrates competencies relating to instructional design, project management, interpersonal skills, storyboarding and flowcharting, programming, video production, and interactive video system knowledge. Three…