Введение
1. Обеспечение целостности данных в автоматизи рованных системах 10
1.1. Требование достоверности и причины возникновения ошибок в данных 10
1.2. Достоверность и целостность данных. Методы обеспечения целостности 17
1.3. Современные концепции проектирования автоматизированных систем 23
1.4. Открытые проблемы проектирования и использования средств обеспечения целостности 32
Выводы 37
2. Построение и анализ баз данных, свободных от аномалий корректировок . 38
2.1. Анализ аномалий корректировок 38
2.2. Постановка и решение задачи проектирования концептуальной схемы базы данных 50
2.3. Постановка и решение задачи проектирования концептуальной схемы базы данных при ограничениях на внешние схемы 56
2.4. Ликвидация аномалий корректировок при проектировании баз данных минимальной избыточности 62
Выводы 68
3. Автоматизация программирования средств обеспечения семантической целостности 69
3.1. Построение концептуальной модели правил целостности 69
3.2. Анализ языков описания правил целостности 73
3.3. Язык концептуального описания правил целостности ЛИРА 82
3.4. Методика проектирования инструментальных средств обеспечения целостности 90
Выводы 94
4. Реажзащя и внедрение сріздств обеспечения целостности 95
4.1. Программное обеспечение систем генерации программ контроля . 95
4.2. Реализация инструментальных средств генерации программ контроля в системе ИНЕС 105
4.3. Практическое применение ППП "СОЦ-ИНЕС" 115
4.4. Применение методики проектирования баз данных в "Автоматизированной библиотечной системе" МИФИ 125
Выводы 130
Заключение 131
Литература 133
Приложение 141
