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

• Автор: Цыганов, Виктор Григорьевич
• Шифр специальности: 05.13.06
• Научная степень: Кандидатская
• Год защиты: 1984
• Место защиты: Москва
• Количество страниц: 147 c. : ил

1. ОБЕСПЕЧЕНИЕ ЦЕЛОСТНОС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. Применение методики проектирования баз данных в ’’Автоматизированной библиотечной
системе" МИФИ
Выводы
ЗАКЛЮЧЕНИЕ
ЛИТЕРАТУРА
ПРИЛОЖЕНИЕ
В основных направлениях развития народного хозяйства СССР на I98I-I985 гг. и на период до 1990 г. предусмотрено обеспечить дальнейшее ускорение научно-технического прогресса и совершенствование управления экономикой. В директивных документах ноябрьского (1982 г.), июньского (1983 г.) Пленумов ЦК КПСС, в постановлении ЦК КПСС и Совета Министров СССР "О мерах по ускорению научно-технического прогресса в народном хозяйстве" эти задачи конкретизируются и подчеркивается необходимость существенного повышения производительности труда во всех сферах народного хозяйства. В связи с этим в статьях Г.И.Марчука [32] и А.П.Александрова [i] отмечается необходимость повышения эффективности воздействия достижений науки на темпы роста экономики страны и подчеркивается, что одной из главнейших задач является широчайшее использование в народном хозяйстве средств автоматизации. Один из путей решения поставленной задачи состоит в разработке автоматизированных систем управления (АСУ), среди которых важное место занимают автоматизированные системы организационного управления (АСОУ). Любая АСУ "...органически включает автоматизированную систему обработки данных (АСОД), главной целью которой является автоматизация процессов сбора, переработки информации и усовершенствование формы и организации их выполнения" 120].
Одним из основных требований, предъявляемых к АСОД, является обеспечение достоверности обрабатываемых данных. Разработкой методов и средств обеспечения достоверности данных занимались многие советские ученые: Будзко В.И., Дмитриев Н.И., Куцык Б.С., Пепеля-ев А.Н., Селетков С.Н., Шураков В.В. и другие, а также их зарубежные коллеги: Дейт К., Дэвенпорт Р., Кодд Е., Майерс Г., Маклеод Д., Хоффман Л. и другие.
Важность проблемы обеспечения достоверности данных и влияние

2.2. Постановка и решение задачи проектирования концептуальной схемы базы данных
Формальная постановка задачи проектирования концептуальной схемы базы данных (КСБД), свободной от аномалий корректировок будет иметь вид:
Пусть задано:
а) Концептуальная схема универсального отношения:
So = K0(U0) » где U0 - множество имен атрибутов;
б) множества ? = iei,t и M = {nij î, j £ l,k , где - множество функциональных зависимостей на ”R0,
М - множество многозначных зависимостей на R0.
Требуется спроектировать концептуальную схему базы данных S={‘Rî(Ul)1 t= 1,2 р}, такую, что в) S~S0,
г) min | SI,
д) для ViTjl 3 Qj , S), 1,1 Vg|,
|Vj£V£
где l/j - внешняя схема ввода;
Vg- множество произвольных внешних схем ввода;
Qj(ir5,S)- преобразование "внешний-концептуальный", записанное в нотации алгебры кодда.
Отметим, что в отличие от такой постановки задачи в литературе [14] рассматривается задача проектирования схемы базы данных по критерию минимизации избыточности связей и данных в отношениях, а не устранения аномалий корректировок. Однако методы решения обоих задач во многом совпадают и основываются на использования свойств функциональных и многозначных зависимостей и приведении отношений к нормальному виду. Кроме того, в данном параграфе будут рассмотрены решения задачи в предположении, что неопределенные значения неключевых атрибутов в системе отсутствуют.