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)

The benefits of prototyping as a basis for system design include better specifications, earlier discovery of omissions and extensions, and the likelihood of salvaging much of the effort expended on the prototype. Risks and methods of prototyping during rapid systems development are also noted. (Author/MLW)

It is recognized that there is a major gap between the promises of large data bases and optimization and simulation models and their actual ability to solve real world problems. This document describes a Generalized Data Base Planning System (GPLAN), currently being developed at Purdue University, that is proposed as a system to bridge this gap. A…

Presents a new model of searching in online and other information systems, and reviews the literature of manual information seeking behavior for suggestions of capabilities users might like in online systems. Based on the model--called "berrypicking"--and research, suggestions are made for how new search capabilities could be implemented…

The entity-relationship (ER) approach to database design is defined, and a specific example of an ER model (personnel-payroll) is examined. The requirements for converting ER models into specific database management systems are discussed. (Author/MSE)

This report discusses an iterative methodology for logical database design (LDD). The methodology includes four phases: local information-flow modeling, global information-flow modeling, conceptual schema design, and external schema modeling. These phases are intended to make maximum use of available information and user expertise, including the…

The training requirements analysis model (TRAMOD) described in this report represents an important portion of the larger effort called the Digital Avionics Information System (DAIS) Life Cycle Cost (LCC) Study. TRAMOD is the second of three models that comprise an LCC impact modeling system for use in the early stages of system development. As…

Software design is still a craft; techniques are based on the way things have been done, not on basic theorems or design principles. Suggests that academic software design needs to be more like a science or technology and that a taxonomy of design solutions or classification method is required. Describes two case studies. (MLW)

Describes two research projects based on QUEST and proposes an information handling model. Design, interrogation, and evaluation of data files are discussed relative to restraints imposed by child's developmental stage and nature of software employed. Implications of computer-related information handling for curriculum design and children's…

A state educational indicator system being developed by the Pennsylvania Educational Policy Studies (PEPS) project at the University of Pittsburgh (Pennsylvania) is described. The extensive database that has been established as part of the PEPS project includes thousands of variables that are descriptive of the 500 Pennsylvania school districts.…

This report describes a project designed to (1) develop models for use of vocational education data available from the Oregon Management Information System (MIS) to implement decision making at key points in program planning and curriculum development, and (2) design, develop, and test a system to improve the competencies of state and local…