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)

A common command language has been proposed for use by systems designers and those developing new user interfaces. There is controversy over the appropriateness of a standard command language, and those who are working in artificial intelligence believe that natural language interfaces will make it unnecessary for users to learn such a language,…

Describes the development of a bibliographic information system designed to assist architecture/engineering firms under contract to the Army Corps of Engineers in locating regulations or guidelines for the planning, design, or construction of army facilities. A sample search of the system is appended. (Author/CLB)

An automated management information system was developed for planning and scheduling unit training in a U.S. Army infantry division. The primary goal of the project was to test the feasibility of the concept for a computer-based management information system. Specific objectives were to integrate information on personnel, training, and logistics…

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.…

Describes PLEXUS, an expert system for information retrieval related to gardening, designed at the University of London for use in public libraries. Focusing on the semantic problems encountered, methods used in artificial intelligence and information science to resolve them are discussed, including classification and facet analysis. (Author/LRW)

Reviews recent and current research and development projects in the United Kingdom dealing with online information systems. Main areas of research (systems design, impact on user behavior and organizational structure, ergonomics and bibliographic factors) and research techniques (features analysis, transaction log analysis, surveys and comparative…