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)

At present there is no comprehensive source of data regarding educational technology. Base-line statistical information on collections and equipment, as well as their unique impact on other institutional cost factors, must be established if there is to be adequate evaluation of their impact on instructional practices. This report defines the field…

Eight appendices provide information related to a study which was conducted to determine the feasibility of introducing new automatic techniques to Army library technical processing activities; to examine and recommend appropriate systems and configurations for library automation; and to determine costs of implementing the recommendations. The…

Discusses the management predicaments encountered in decision making for a very small school library and the reasons that procedures recommended in the literature may not be applicable. The process used in planning and implementing an online circulation system in a high school library is described. (Author/CLB)