Совершенствование технологии проектирования информационных систем для управления производственными объектами
Публикации. По результатам исследования опубликовано 8 печатных работ. В и автором разработан аппарат альтернативной формализации реляционного исчисленияв формализованы правила преобразования семантики реляционных выражений в 8С) Ь-запросыв предложено применение разработанного формального аппарата при построении информационных системв и разработаны алгоритмы оптимизации коррелированных… Читать ещё >
Содержание
- 1. Модели представления структур баз данных и организация оптимальной обработки данных
- 1. 1. Семантические модели представления предметной области
- 1. 2. Реляционная схема БД
- 1. 3. Семантические ограничения и интерфейс обращения в реляционных и объектно-реляционных системах
- 1. 4. Математические основы операций обработки информации
- Преобразование и оптимизация запросов
- Постановка цели и задач исследования
- 2. Расширяемая структура данных информационной системы учета объектов региональной сети связи
- 2. 1. Система учета объемных показателей и структуры сети электросвязи
- 2. 2. Разработка расширяемой схемы базы данных
- 2. 3. Объектно-ориентированный и реляционный интерфейсы работы с данными
- 2. 4. Использование расширяемой модели в информационной системе для управления объектами сети связи
- 2. 5. Выводы
- 3. Альтернативная формализация реляционного исчисления. Критерий оптимальности запроса в непроцедурной форме
- 3. 1. Альтернативная формализация реляционного исчисления
- 3. 2. Критерий оптимальности непроцедурной формы запроса
- 3. 3. Выводы
- 4. Логическая оптимизация различных классов запросов в рамках реляционной модели
- 4. 1. Оптимизация класса запросов, содержащих операцию разности
- 4. 2. Оптимизация класса дизъюнктивных запросов
- 4. 3. Выводы
- 5. Разработка расширяемой структуры данных и оптимизация запросов в информационно-управлящих системах
- 5. 1. Расширение структуры базы данных в системе «Связь-Глобальная»
- 5. 2. Алгоритм оптимизации запросов разности в информационной системе «Связь-Глобальная»
- 5. 3. Алгоритм оптимизации дизъюнктивных запросов в информационной системе «Связь-Глобальная»
- 5. 4. Выводы
Совершенствование технологии проектирования информационных систем для управления производственными объектами (реферат, курсовая, диплом, контрольная)
Актуальность. В современных автоматизированных системах управления производственными процессами динамично развивающихся предприятий постоянно растет объем и степень детализации данных. Это влечет за собой появление в информационных структурах новых параметров и объектов новых типов.
Большинство существующих информационных систем имеет существенные недостатки, связанные с задачей представления развивающейся предметной области и трудоемкостью соответствующего расширения функциональности системы. Традиционные способы проектирования структуры представления данных оказываются неэффективными для решения данной задачи из-за чрезмерного увеличения и усложнения структуры базы данных (БД) и ее регулярной модификации. Это не только усложняет процесс разработки информационной схемы, но и делает созданную систему заведомо ограниченной и негибкой.
Известно, что эффективность функционирования информационных систем наряду с удачной организацией схемы базы данных во многом определяется оптимальным выполнением запросов, на основе которых осуществляется обработка данных. При этом логическая оптимизация является универсальным инструментом, не зависящим от конкретной системной платформы. Однако, традиционным направлением в этой области является оптимизация конъюнктивных ЭРД-запросов (8е1ес1-Рго]ес1-.1от), связанных с композициями из ограниченного перечня операций над отношениями.
Таким образом, актуальной является разработка технологии проектирования расширяемой структуры базы данных, реализующей независимое представление структурных связей и параметров производственных объектов, средств логической оптимизации запросов, выходящих за рамки 8РЛ, а также гибкого интерфейса доступа к данным, учитывающего специфику расширяемой схемы.
Работа выполнена в соответствии с научным направлением ЛГТУ «Современные сложные системы управления» .
Цель исследования состоит в решении комплекса задач, связанных с совершенствованием технологии проектирования информационных систем, учитывающей развитие и изменение производственных объектов и предметной области в целом.
Задачи исследования:
— разработать методику формирования структуры данных в информационной системе для управления производственными процессами, отражающей разнородные объекты предметной области однородными структурными единицами;
— разработать интерфейс доступа к базе данных с расширяемой структурой в информационной системе управления производственными объектами;
— провести исследование логически эквивалентных вариантов запросов, необходимых для обработки данных в информационно-управляющей системе, определить и обосновать выбор логического представления запроса для дальнейшей его оптимизации;
— выявить и сформулировать критерии оптимальности запросов к данным производственных объектов, представленных в логической непроцедурной форме;
— разработать алгоритмы логической оптимизации для классов запросов, не входящих в класс БР1.
Методы исследования: использованы теория и методы проектирования информационных систем, баз данных, дискретной математики, логики высказываний и предикатов, а также объектно-ориентированного анализа.
Научная новизна. В диссертационной работе получены следующие результаты, характеризующиеся научной новизной:
— разработана расширяемая структура базы данных информационной системы для управления производственными объектами, отличающаяся независимым представлением структурных связей и свойств объектов;
— разработан аппарат альтернативной формализации реляционного исчисления, отличающийся использованием области определения связанных переменных и непосредственным отражением семантики запросов языка SQL;
— разработан критерий оптимальности для эквивалентных реляционных выражений и запросов, отличающийся включением теоретико-множественных операцийразработан алгоритм оптимизации класса коррелированных запросов разности отношений путем преобразования к некоррелированному виду на основе аппарата реляционного исчисленияразработан алгоритм оптимизации класса дизъюнктивных запросов на основе декомпозиции исходного запроса на запросы с разделимыми конъюнктивными условиями.
Практическая значимость состоит в разработке методики и программного обеспечения, охватывающих задачи организации хранения и обработки данных с целью рационального управления производственными объектами.
Программные модули могут быть использованы в качестве надстройки в действующих информационных системах различных отраслей.
Реализация и внедрение результатов работы. Разработанные методы построения структуры данных и оптимизации запросов реализованы и внедрены при создании и расширении информационных систем «Липецкэлектросвязь» — филиала ОАО «ЦентрТелеком». Материалы по теме диссертации используются в Липецком государственном техническом университете при подготовке инженеров, бакалавров и магистров по специальностям «Автоматизированные системы обработки информации и управления» и «Прикладная математика» .
Апробация работы. Основные положения работы докладывались и 6 обсуждались на международной научно-практической конференции «Теория активных систем» (Москва-2003), на международной научно-технической конференции «Современные сложные системы управления СССУ/НТС8'2003» (Воронеж-2003), на международной конференции «Программное обеспечение автоматизированных систем управления (8А8−2000)» (Липецк-2000), на семинаре Липецкого регионального отделения Российской ассоциации искусственного интеллекта «Методы и модели искусственного интеллекта» (Липецк-2003).
Положения работы поддержаны грантами по фундаментальным исследованиям:
— Министерством образования РФ — Г00 4.1−68 «Разработка теории оптимизации проектирования информационных систем» ;
— Российским фондом фундаментальных исследований — № 03−01−96 487 «Оптимизация схем баз данных и запросов на основе теории преобразований реляционных выражений» и № 03−01−96 487 «Формализация алгоритма оптимизации реляционных запросов «.
Публикации. По результатам исследования опубликовано 8 печатных работ. В [2] и [29] автором разработан аппарат альтернативной формализации реляционного исчисленияв [28] формализованы правила преобразования семантики реляционных выражений в 8С) Ь-запросыв [I] предложено применение разработанного формального аппарата при построении информационных системв [3] и [27] разработаны алгоритмы оптимизации коррелированных и дизъюнктивных запросов на основе преобразований выражений реляционного исчисленияв [26] приведена разработанная методика построения структур баз данныхв [30] разработан программный комплекс для оптимизации запросов, проведен сравнительный анализ с известными алгоритмами.
Структура и объем работы. Диссертационная работа состоит из пяти глав, введения, заключения, библиографического списка из 108 наименований, приложенийсодержит 130 страниц основного текста, 25 рисунков, 12 таблиц.
5.4. Выводы.
1. Производится сравнительный анализ операций по модификации и расширению информационной системы с использованием традиционных методик построения базы данных и предлагаемой расширяемой структуры. Показано, что в рамках разработанной методики, добавление показателей и выделение новых типов объектов, для которых в системе уже определены структурные связи, не требует необратимых изменений структуры базы данных и существенной доработки процедур обработки и интерфейса пользователя. В традиционной структуре для этого требуется создание новых, либо изменение существующих реляционных отношений, что влечет существенную модификацию методов обработки хранимых данных и интерфейса их представления.
2. Рассматривается применение разработанных алгоритмов оптимизации к запросам информационной системы. Показано, что их использование позволяет повысить на порядок эффективность исполнения коррелированных запросов разности и дизъюнктивных запросов. Для коррелированного запроса, содержащего операцию разности, приведение к некоррелированному виду позволяет увеличить скорость исполнения в 10 раз, для дизъюнктивного запроса разработанный алгоритм позволяет повысить скорость исполнения в 2,1 раз.
ЗАКЛЮЧЕНИЕ
.
В ходе исследования были получены следующие результаты:
1. Разработана методика построения объектно-ориентированных информационных систем для управления производственными объектами, основанная на хранении информации о структуре и экземплярах классов в рамках реляционной схемы, с использованием механизма ссылочной целостности данных. Методика позволяет расширять структуру классов без реорганизации схемы базы данных, что существенно уменьшает объем и сложность работ по проектированию и модификации информационных систем.
2. Реализованы объектно-ориентированный и реляционный интерфейсы доступа к хранилищу информации об объектах и классах в информационно-управляющих системах.
3. Разработана альтернативная формализация аппарата реляционного исчисления, позволяющего преобразовывать семантику формул в SQL-запрос и предоставляющая дополнительные возможности для оптимизации класса дизъюнктивных и разностных запросов.
4. Разработаны формальные критерии оптимальности для классов запросов соединения, разности и объединения.
5. Разработаны алгоритмы оптимизации класса коррелированных запросов разности и дизъюнктивных запросов для повышения эффективности выполнения процедур обработки данных в рамках существующих информационно-управляющих систем. Алгоритмы позволяют существенно повысить скорость выполнения запросов данных классов.
6. Результаты теоретических исследований в области проектирования структур информационных систем и оптимизации запросов нашли применение на предприятии «Липецкэлектросвязь» в виде программного обеспечения для управления производственными объектами и используются в учебном процессе при подготовке инженеров, бакалавров и магистров в виде методических рекомендаций, что подтверждено соответствующими документами.
Список литературы
- Блюмин С. Л. Погодаев А.К., Тарасов H.A. Математическое обеспечение информационных технологий. Часть 1. Реляционная математика и базы данных: Учебное пособие. Липецк: ЛЭГИ, 2001. 75с.
- Блюмин С.Л., Погодаев А. К., Тарасов H.A. Прикладной подход к реляционному исчислению // Современные проблемы информатизации в технике и технологиях: Труды V Международной электронной научной конференции Воронеж: ЦЧКИ, 2000 С 106.
- Блюмин С.Л., Погодаев А. К., Тарасов H.A. Методы логической оптимизации запросов в информационных системах // Современные сложные системы управления CCCy/HTCS'2003: Сб. трудов международной научн.-техн.конф. 2 т. Воронеж: ВГСАУ, 2003. С.361−364.
- Грэй П. Логика, алгебра и базы данных. М.: Машиностроение 1989. 368с.
- Дейт К. Дж. Введение в системы баз данных.: Пер. с англ. 6-е изд. — К.: Диалектика, 1998, 784 с.
- Кузнецов Л.А., Блюмин С. Л., Погодаев А. К., Белопольский В. В. Разработка реляционных моделей данных для систем исследования технологии производства стали //Изв.вуз.Черная металлургия. 1993. N7. С.26−29.
- Кузнецов Л.А., Погодаев А. К., Овчинников В. В. Оптимизация запросов для реляционных систем управления базой данных./Сб. научн. трудов молодых ученых ЛГТУ. Липецк: ЛГТУ, 1999. С.34−37.
- Кузнецов Л.А., Погодаев А. К., Овчинников В. В. Метод организации базы данных металлургического производства //Вестник ЛГТУ-ЛЭГИ. -Липецк: ЛЭГИ, N2(6).2000. С.103−110.
- Ю.Кузнецов Л. Л., Погодаев А. К., Овчинников В. В. Синтез схемы реляционной базы данных // Современные системы управления предприятием (С8ВС'2001): Сб. трудов международной научн.-техн.конф. -Липецк: ЛГТУ, 2001. С.92−96.
- П.Кузнецов Л. А., Погодаев А. К., Овчинников В. В. Система оптимизации структуры базы данных//Вестник ЛГТУ-ЛЭГИ. Липецк: ЛЭГИ, Nl (7).2001. С.6−10.
- Кузнецов Л.А., Погодаев А. К., Овчинников В. В. Оптимизация запросов к базам данных // Управление большими системами: Сборник трудов молодых ученых. Выпуск 4. М.: ИПУ РАН, 2003. С.27−34.
- З.Кузнецов Л. А., Овчинников В. В., Погодаев А. К. Об алгоритме оптимизации схем баз данных // Теория активных систем /Труды международной научн.-практ.конф. М.: ИПУ РАН, 2003. Т.2. С.50−51.
- Кузнецов С. Методы оптимизации выполнения запросов в реляционных СУБД. http://www.citforum.ru/database/articles/art 26.shtml.
- Кульба В.В., Ковалевский С. С., Горгидзе И. А., Зайцев К. С., Карсанидзе Т. В., Шелков А. Б. Методы повышения эффективности и качества функционирования автоматизированных информационно-управляющих систем. М.: КомпьюЛог, 2001, 344с.
- Мейер Д. Теория реляционных баз данных. Пер. с англ. М. К. Валиева и др.- -М.: Мир, 1987, 608 с.
- Погодаев А.К. Метод моделирования схем реляционных баз данных // Сб. научн. трудов преподавателей и сотрудников, посвященный 30-летию132
- НИС ЛГТУ. Липецк: ЛГТУ, 2003. С.99−103.
- Погодаев А.К. Объектный подход при проектировании информационных систем //Изв. вуз. Черная металлургия. 2001. N11. С.57−59.
- Погодаев А.К. Метод моделирования информационных схем в производственных системах управления //Вестник ЛГТУ-ЛЭГИ. -Липецк: ЛЭГИ, N2(10).2003. С.59−63.
- Погодаев А.К., Батищев Р. В. Обработка данных на языке SQL в реляционных системах: Учебное пособие. Липецк: ЛГТУ, 2000. -63с.
- Погодаев А.К., Дозоров В. В. Программное обеспечение автоматизированных систем. Разработка информационной структуры: Учебное пособие. Липецк: ЛЭГИ, 2002. -52с.
- Погодаев А.К., Дозоров В. В. Программное обеспечение автоматизированных систем. Разработка приложений баз данных: Учебное пособие. Липецк: ЛЭГИ, 2002. -63с.
- Погодаев А.К., Овчинников В. В., Тарасов H.A. Оптимальное проектирование схем баз данных // Методы и модели искусственного интеллекта /Сб. научн. трудов семинара ЛРО РАИИ. Липецк: ЛГТУ, 2003. С.131−140.
- Погодаев А.К., Тарасов H.A. Оптимизация запросов, содержащих кванторы общности и существования // Современные проблемы133информатизации в технике и технологиях: Сб. трудов. Вып.7 Воронеж: ЦЧКИ, 2002. С. 18.
- Погодаев А.К., Тарасов Н. А. Преобразование выражений реляционной алгебры в SQL-запросы // Современные проблемы информатизации в технике и технологиях: Труды V Международной электронной научной конференции Воронеж: ЦЧКИ, 2000 С 106.
- Погодаев А.К., Тарасов Н. А. Роль логики высказываний и предикатов в реляционном исчислении // Международная научно-техническая конференция «Программное обеспечение автоматизированных систем управления» Липецк: ЛГТУ, 2000 — С 20−24.
- Погодаев А.К., Тарасов Н. А. Оптимизация некоторых классов запросов в системах баз данных // Теория активных систем: Труды международной научн.-практ.конф. М.: ИПУ РАН, 2003. Т.2. С.64−65.
- Ульман Дж. Основы систем баз данных. Пер. с англ. М.: Финансы и статистика, 1983,334с.
- Уэлдон Дж. Администрирование баз данных. М.: Финансы и статистика, 1984, 207с.
- Хаббард Дж. Автоматизированное проектирование баз данных. М.: Мир, 1984, 294с.
- Abiteboul S., Hull R. IFO: a formal semantic database model // ACM Transactions on Database Systems, 12(4), 1987, pp. 525−565.
- Aho A. V., Beeri C., Ulman J. D. The Theory of Joins in Relational Databases // ACM Transactions on Database Systems, 4(3), 1979.
- Aho A.V., Sagiv Y., Ullman J.D. Efficient optimization of a class of relational expressions // ACM Transactions on Database Systems, 4(4), 1979.
- Akoka J., Comyn-Wattiau I. Entity-relationship and object-oriented model automatic clustering // Data & Knowledge Engineering, 20(2), 1996, pp. 87−117.
- Allen F. W., Loomis M. E. S., Mannino M. V. The Integrated Dictionary-Directory System //ACM Сотр. Surv, 14(2), 1982.
- Analyti A., Spyratos N., Constantopoulos P. Deriving semantic information though property covering and inheritance // Data & Knowledge Engineering, 28(1), 1998, pp. 3−30.
- Artale A., Franconi E., Guarino N., Pazzi L. Part-whole relations in object-centered systems: An overview, 20(3), 1996, pp. 347−384.
- Babb E. Joined normal form: a storage encoding for relational databases // ACM Transactions on Database Systems, 7(4), 1982, pp. 588−614.
- Bernstein P.A. Synthesizing third normal form relations from functional dependencies // ACM Transactions on Database Systems, 1(4), 1976, pp. 277−298.
- Chakravarthy U.S., Grant J., Minker J. Logic-based approach to semantic query optimization // ACM Transactions on Database systems, 15(2), 1990, pp. 162−207.
- Chaudhuri S. An Overview of Query Optimization in Relational Systems. -Microsoft Research, One Microsoft Way, 1999, Redmond, WA.
- Chaudhuri S., Shim K. Optimization of queries with user-defined predicates // ACM Transactions on Database Systems, 24(2), 1999, pp. 177−228.
- Chen P. P. S. A Preliminary Framework for Entity-Relationship Models // Entity-Relationship Approach to Information Modeling and Analysis, Saugus, Calif., 1981.
- Chen P. P. S. The entity-relationship model — towards a unified view of data // ACM Transactions on Database Systems, 1(1), 1976, pp. 9−36.
- Chiang R., Barron T., Storey V., Reverse engineering of relational databases: Extraction of an eer model from a relational database // Data & Knowledge Engineering, 12(2), 1994, pp. 107−142.
- Codd E. A Data Base Sublanguage Founded on the Relational Calculus. Proc. 1971 ACM SIGFIDET Workshop on Data Description, Acces and Control.
- Codd E. A Relational Model of Data for Large Shared Data Banks. CASM 13, № 6 (June 1970).
- Codd E. Derivability, Redundancy, and Consistency of Relations Stored in the Large Data Banks IBM Research Report, RJ599 (August 1969).
- Codd E. F. Further Normalization of the Data Base Relational Model // Data Base Systems, Courant Computer Science Symposia Series 6, 1972.
- Codd E. F. Recent Investigations into Relational Data Base Systems // Proc. IFIP Congress, Stockholm, Sweden, 1974.
- Codd E. Relational Completeness of Data Base Sublanguages. Data Base Systems, Courant Computer Science Symposia Series, 1972, V 6, Englewood Cliffs, N.Y.: Prentice-Hall.
- Codd E.F., Extending the database relational model to capture more meaning // ACM Transactions on Database Systems, 4(4), 1979, pp. 397−434.
- Date C. J. A Normalization Problem // The Relational J, 4(2), 1992.
- Date C. J. A Note to One-to-One Relationships // C. J. Date. Relational Database Writings 1985−1989, Addison-Wesley, 1990.
- Date C. J. A Practical Approach to Database Design // C. J. Date. Relational Database: Selected Writings, Addison Wesley, 1986.
- Date C. J. Entity/Relationship Modeling and the Relational Model // C. J. Date and Hugh Darwen. Relational Database Writings: 1989−1991, Addison-Wesley, 1992.
- O.Date C. J. Will the Real Fourth Normal Form Please Stand Up? // C. J. Date and Hugh Darwen. Relational Database Writings 1989−1991, Addison-Wesley, 1992.
- Date C.J., Fagin R. Simple conditions for quaranteeing higher normal forms in relational databases // ACM Transactions on Database Systems, 17(3), 1992, pp. 465−476.
- Dayal U. Of Nests and Trees: A Unified Approach to Processing Queries That Contain Nested Subqueries, Aggregates, and Quantifiers // Proc. 13th Int. Conf. Very Large Data Bases, Brington, England, Sept. 1987. Los Altos, Calif., 1987.-C. 197−208
- Dayal, U., Goodman N., Kata R.H. An Extended Relational Algebra with Control Over Duplicate Elimination // Proc. ACM PODS 1982.
- Dayal, U., Processing Queries With Quantifiers: A Horticultural Approach // Proc. ACM PODS 1983.
- Elmasri R., Navathe S.B. Fundamentals of Database Systems. Benjamin Cummings, Redwood City, California, 1994.
- Fargin R. Normal Forms and Relational Database Operators // Proc. 1979 ACM SIGMOD Intern. Conf. on Management of Data, Boston, Mass., 1979.
- Fargin R. A normal form for relational databases that is based on domains and keys // ACM Transactions on Database Systems, 6(3), 1981, pp. 387−415.
- Fargin R. Acyclic Database Schemes (of Various Degrees): A Painess Introduction // IBM Research Report RJ3800, 1983.
- Fargin R. Multivalued dependencies and a new normal form for relational databases // ACM Transactions on Database Systems, 2(3), 1977.
- Fargin R. Normal Forms and Relational Database Operators // Proc. 1979 ACM SIGMOD Intern. Conf. on Management of Data, Boston, Mass., 1979.
- Fleming C. C., Von Halle B. Handbook of Relational Database Design, Addison-Wesley, 1989.
- Ganski, R.A., Long, H.K.T. Optimization of Nested SQL Queries Revisited // Proc. of ACM SIGMOD, San Francisco, 1987.
- Goldstein R.C., Storey V.C. Data abstractions: Why and how? // Data & Knowledge Engineering, 29(3), 1999, pp. 293−311.
- Graefe G. The Cascades Framework for Query Optimization. In Data Engineering Bulletin. Sept. 1995.
- Hall P., Owlett J., Todd S. J. P. Relations and Entities // Modeling in Data Base Management Systems, Amsterdam, Netherlands, 1975.
- Hammer M. M., McLeod D. J. The Semantic Date Model: A Modeling Mechanism for Database Applications // Proc. 1978 ACM SIGMOD Intern. Conf. on Management of Data, Austin, Texas, 1978.
- Health I. J. Unacceptable file operations in Relational Database // Proc. 1971 ACM SIGFIDET Workshop on Data Description, Access, and Control. San Diego, Calif., 1971.
- Hull R., King R. Semantic Database Modeling: Survey, Applications, and Research Issues // ACM Comp. Surv., 19(3), 1978.
- Jarke M., Koch J. Query Optimization in Database Systems // ACM Comput. Surv.- 1984.- V 16, N 2.- C. 111−152
- Kent W. A Simple Guide to Five Normal Forms in Relational Database Theory // CFCV, 26(2), 1983.
- Kiessling W. SQL-Like and Quel-like correlation queries with aggregates revisited // UCB/BRL Memo 84/75, Electronics Research Laboratory, Univ. California, Berkeley (Sept. 1984)
- Kim S.-K., Carrington D. A Formal Model of the UML Metamodel: The UML State Machine and Its Integrity Constraints // vol. 2272 of Lecture Notes in Computer Science, 2002, p. 497.
- Kim W. On Optimizing an SQL-Like Nested Query // ACM Trans. Database Syst.- 1982.- V 7, N 3.- C. 443−469
- Laleau R., Polack F. A Rigorous Metamodel for UML Static Conceptual Modelling of Information Systems // vol. 2068 of Lecture Notes in Computer Science, 2001, p. 402.
- Levene M., Loizou G. Semantics for null extended nested relations // ACM Transactions on Database Systems, 18(3), 1993, pp. 414−459.
- Lorentzos N.A., Manolopoulos Y. Functional requirements for historica and interval extensions to the relational model // Data & Knowledge Engineering, 17(1), 1995, pp. 59−86.
- Maier D., Ullman J. D. Fragments of Relations // Proc. 1983 SIGMOD Intern. Conf. on Management of Data, San Jose, Calif., 1983.
- Mannila H., Raiha K.-J. The Design of Relational Databases, Wokingham, UK, 1992.
- Mok W.Y., Nh Y.-K., Embley D.W. A normal form for precisely characterizing redundancy in nested relations // ACM Transactions on Database Systems, 21(1), 1996, pp. 77−106.
- Murahkrishna M, Dewitt D. Optimization of Multiple-Relation Multiple-Disjunct Queries // ACM Trans. Database Syst.- 1988. V 14, № 3 — C. 263−275
- Paredaens J., Gucht D.V. Converting nested algebra expressions into flat algebra expressions // ACM Transactions on Database Systems, 17(1), 1992, pp. 65−93.
- Peckham J., Maryanski F. Semantic Data Models // ACM Comp. Surv., 20(3), 1988.
- Schmid H. A., Swenson J. R. On the Semantics of the Relational Data Base Model // Proc. 1975 ACM SIGMOD Intern. Conf. on Management of Data, San Jose, Calif., 1975.
- Smith J. M. A Normal Form for Abstract Syntax // Proc. 4th Intern. Conf. on Very Large Data Bases, Berlin, FDR, 1978.
- Smith J. M., Smith D. C. P. Database Abstractions: Aggregation // CACM, 20(6), 1977.
- Smith J.M., Smith D.C.P. Database abstractions: aggregation and generalization // ACM Transactions on Database Systems, 2(2), 1977, pp. 105 133.
- Sundgren B. The Infological Approach to Data Bases // J. W. Klimbie and K. L. Koffeman (eds.). Data Base Management, New York, Elsevier Science, 1974.
- Tansel A.U., Garnett L. On Roth, Korth, and Silberschatz’s extended algebra and calculus for nested relational databases, 17(2), 1992, pp. 374−383.
- Tasker D. Fourth Generation Data: A Guide to Data Analysis for New and Old Systems, Sydney, Australia, 1989.
- Theorey T. J. Database Modeling and Design: The Entity-Relationship Approach, San Mateo, Calif.: Morgan Kaufmann, 1990.
- Theorey T. J., Fry J. P. Design of Database Structures, Englewood Cliffs, 1982.
- Wai Y.M., Embley D.W. Using NNF to transform conccptual data models to object-oriented database designs // Data & Knowledge Engineering, 24(3), 1998, pp. 313−336.
- Zaniolo C. A new normal form for the design of relational database schemata // ACM Transactions on Database Systems, 7(3), 1982, pp. 489−499.
- Beech D. A Foundation for Evolution from Relational to Object Databases // Schmidt, Ceri, Misskof. Extending Database Technology. New-York, N. Y.: Springer-Verlag, 1988.