Методы и средства обеспечения целостности данных в автоматизированных системах организационного управления

СОДЕРЖАНИЕ
ВВЕДЕНИЕ.
1. ОБЕСПЕЧЕНИЕ ЦЕЛОСТНОСТИ ДАННЫХ В АВТОМАТИЗИРОВАННЫХ СИСТЕМАХ
1.1. Требование достоверности и причины возникновения ошибок в данных
1.2. Достоверность и целостность данных.
Методы обеспечения целостности.
1.3. Современные концепции проектирования автоматизированных систем
1.4. Открытые проблемы проектирования и использования средств обеспечения
целостности
Выводы.
2. ПОСТРОЕНИЕ И АНАЛИЗ БАЗ ДАННЫХ, СВОБОДНЫХ
ОТ АНОМАЛИЙ КОРРЕКТИРОВОК
2.1. Анализ аномалий корректировок.
2.2. Постановка и решение задачи проектирования концептуальной схемы базы данных .
2.3. Постановка и решение задачи проектирования концептуальной схемы базы данных при ограничениях на внешние схемы.
2.4. Ликвидация аномалий корректировок при проектировании баз данных минимальной избыточности
Выводы.
3. АВТОМАТИЗАЦИЯ ПРОГРАММИРОВАНИЯ СРЕДСТВ
ОБЕСПЕЧЕНИЯ СЕМАНТИЧЕСКОЙ ЦЕЛОСТНОСТИ
3.1. Построение концептуальной модели
правил целостности.
3.2. Анализ языков описания правил целостности . .
3.3. Язык концептуального описания правил
целостности ЛИРА
3.4. Методика проектирования инструментальных
средств обеспечения целостности .
Выводы
4. РЕАЛИЗАЦИЯ И ВНЕДРЕНИЕ СРЕДСТВ ОБЕСПЕЧЕНИЯ
ЦЕЛОСТНОСТИ.
4.1. Программное обеспечение систем генерации
программ контроля
4.2. Реализация инструментальных средств
генерации программ контроля в системе ИНЕС
4.3. Практическое применение ППП СОЦИНЕС .
4.4. Применение методики проектирования баз данных в Автоматизированной библиотечной
системе МИФИ
ЗАКЛЮЧЕНИЕ .
ЛИТЕРАТУРА