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)

This manual provides electrical and electronic engineers with an introduction to online information retrieval as implemented on the DIALOG information retrieval system. Sections cover: (1) the development of computerized information retrieval; (2) its advantages; (3) the equipment needed, DIALOG hours of availability, methods of access, and cost…

MINDS (Multiple Intelligent Node Document Servers) is a distributed system of knowledge-based query engines for efficiently retrieving multimedia documents in an office environment of distributed workstations. By learning document distribution patterns and user interests and preferences during system usage, it customizes document retrievals for…