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)

Examines various types of link list structures built on top of the traditional random access files for application to a database query technique involving multiple keys, and shows how the technique can improve performance of traditional random access files for the Grants Information System. (Author/CMV)

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…

Computer routines designed to determine if a song already exists in a song file data base are described. Written in FORTRAN IV, SONG FILE DATA MATCH compares the note sequence of songs in the data base and the one to be added to it. Information is then presented to the user which analyzes the sequence of notes and compares them to other songs.…

Computer routines to summarize data and generate reports from weekly log records submitted by teachers participating in the Southwest Regional Laboratory's communications skills monitoring program are described. Written in Univac FORTRAN V, Communications Skills 1, Weekly Log Summary, Revision 1 (CS-1-WLSR1) displays information by student group,…

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)

The development of microform-based information storage and retrieval systems is discussed, and the comparative advantages and costs of various approaches are considered. A proposed computer system--Archival Information Dissemination System (AIDS)--to support microform retrieval is outlined. Included are diagrams of sequential flows of information…

The relationship between data and their use in a planning, management and evaluation system in a higher education institution is discussed. Elements of the institutional planning process are detailed as well as the budgeting process and a method for relating fiscal resources to institutional goals and objectives. (Author/SF)