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 an economic modeling approach to evaluating the cost and benefits associated with providing information services through information centers. The approach develops a framework for understanding observations about the demand for scientific and technical information and integrating these observations with fundamental economic principles.…

Explains, with supporting figures and flowcharts of programing logic, two search strategies introduced to the MORPHS System since 1976: one that employs the normal Boolean operators in strings without bracketing or in the form of marked steps, and one that treats a string of keywords as a compound word. (Author/JD)

Discusses the problems encountered and solutions adopted in application of the ADABAS database management system to the ECDIN (Environmental Chemicals Data and Information Network) data bank. SIMAS, the pilot system, and ADABAS are compared, and ECDIN ADABAS design features are described. Appendices provide additional facts about ADABAS and SIMAS.…

Presents a computer-based system for generating thesauri from modulated subject-propositions (subject headings), which are structured according to facet analysis and augmented with appropriate codes for relating terms. Input to and operation of the system are described, as well as the programs developed. Fifteen references are listed. (Author/BK)

Discusses the multilevel information system (MLIS), a retrieval system that integrates functions typical for database management systems and retrieval-oriented systems and provides several levels of data accessing, each developed for a different class of users. Twenty-two sources are cited. (FM)

Describes an expert system which provides users who have information needs with terms to express search queries; introduces principles on which the system's behavior is based; describes the system's main procedures and decision rules; presents an example of system use; and outlines possible improvements in system search and evaluation procedures.…

Summarizes studies of pseudoclassification, a process of utilizing user relevance assessments of certain documents with respect to certain queries to build term classes designed to retrieve relevant documents. Conclusions are reached concerning the effectiveness and feasibility of constructing term classifications based on human relevance…

Presents the state-of-the-art of information systems monitoring, addressing historical and current approaches and manual and automated techniques; develops the concept of automated monitoring into a well-defined methodology; formulates methodologies/techniques/theoretical foundations for analyzing monitored data; and discusses computer based…