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)

Intended to describe an ideal system for William Madison Randall Library at the University of North Carolina-Wilmington, this outline presents specific system requirements that would build on and enhance features available on the current system while moving toward a truly integrated system with built-in possibilities for expansion and improvements…