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 development, hardware requirements, and features of the MultiLIS integrated library software package. A system profile provides pricing information, operational characteristics, and technical specifications. Sidebars discuss MultiLIS integration structure, incremental architecture, and NCR Tower Computers. (4 references) (MES)

Examines six steps inherent to development of in-house automated library system: (1) problem definition, (2) requirement specifications, (3) analysis of alternatives and solutions, (4, 5) design and implementation of hardware and software, and (6) evaluation. Practical method for comparing and weighting options is illustrated and explained. A…

Outlines factors used by online vendors to decide whether to bid on RFPs (requests for proposals) for library automation systems, including specifications for software, hardware or performance requirements not met by the vendor; specifications based on competitors' systems; the size and complexity of the request itself; and vendors' time…

Describes use of RFPs (requests for proposals) to specify requirements for automated library systems and presents advice on when to use RFPs, how to construct the statements, and how to present library needs and priorities so that maximum success in choosing a vendor and system are achieved. (Author/CLB)

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)