В книге изложены результаты исследований в области повышения качества и эффективности функционирования автоматизированных информационно-управляющих систем (АИУС), использующих концепцию баз данных (БД). Предложены модели и методы формального анализа предметной области АИУС, построения оптимальных с учетом требований пользователей к достоверности информации канонической, логической и физической структур БД и определения достоверности информации при отображении предметной области АИУС в структуры БД. Большую практическую ценность представляют предложенные методы резервирования программ и информационных массивов. Для инженеров и научных работников в области разработки АИУС, а также студентов ВУЗов соответствующих специальностей.