Введение
Глава 1. Анализ методов обеспечения достоверности и описания данных в АСУ 8
1.1 Достоверность, как характеристика обработки данных в АСУ Основные определения 9
1.1.1 Уровни обеспечения достоверности данных в АСУ 11
1.1.2. Методы контроля достоверности 11
1.1.3 Механизмы контроля достоверности 15
1.1.4 Анализ возможности использования методов контроля на различных этапах обработки данных 16
1.2. Использование методов повышения достоверности данных в АСУ 19
1.2.1 Применение методов контроля достоверности данных в СУБД
1.2.2 Применение методов контроля достоверности данных в ППО 22
1.3 Анализ моделей и технологий описания данных, хранимых в БД 24
1.4 Конкретизация объекта иследования 25
Выводы по главе 1 27
Глава 2. Разработка комплексной модели описания информации реляционной БД 29
2.1. Определение и свойства модели описания данных 29
2.1.1. Статическая составляющая модели "Сущность - связь " 30
2.1.2. Модель процессов 34
2.1.3.Модель состояний 39
2.2 Организация вычислений и описание зависимостей между данными таблица 48
2.2.1 Синтаксис 48
2.2.2 Семантика 49
2.2.3 Произвольные операции на ЭТ 51
Выводы по главе 2 57
Глава 3. Разработка методов определения достоверности информации БД 59
3.1 Определение достоверности информации 59
3.1.1 Нижняя и верхняя оценки достоверности 60
3.1.2 Влияние структуры БД на достоверность информации 67
3.1.3 Определение достоверности информации БД с учетом классов решаемых задач 68
3.2 Выбор процедур контроля в физической структуре БД 71
3.3 Построение канонической структуры БД с учетом требований к достоверности информации 75
3.4 Определение достоверности информации при отображении канонической структуры БД в физическую 84
3.5 Определение достоверности информации при отображении логической структуры БДв физическую. 87
Выводы по главе 3 91
Глава 4 Разработка принципов построения и реализации системы определения достоверности информации БД муниципальных АСУ 92
4.1. Организация автоматизированной системы определения достоверности информации БД муниципальных АСУ 92
4.1.1 Структура и описание основных режимов работы 93
4.2 Организация системы автоматизированного тестирования 106
4.2.1 Организация эталонного репозитория 111
4.3 Проблемно ориентированный язык 113
4.4. Практическое применение АСОДИ в АСУ муниципальных служб 118
4.4.1 Использование АСОДИ и CAT в деятельности Государственной Налоговой Инспекции(ГНИ) 119
4.5 Технические характеристики разработанных комплексов 120
Выводы по главе 4 122
Заключение 123
Список литературы 126
Приложения 132
