Дипломы, курсовые, рефераты, контрольные...
Срочная помощь в учёбе

Разработка и исследование методов оптимизации структуры и обработки производственных данных

Диссертация: Разработка и исследование методов оптимизации структуры и обработки производственных данных
ДиссертацияПомощь в написанииУзнать стоимостьмоей работы

Известно, что эффективность функционирования информационных систем связана с оптимальным исполнением запросов к базе данных. В известных коммерческих реляционных СУБД (например, Oracle, SQL Server и др.) существуют механизмы оптимизации запросов. Однако алгоритмы, положенные в основу оптимизации в этих системах являются коммерческой тайной фирмы разработчика. Но и при наличии встроенных в системы… Читать ещё >

Содержание

  • 1. Существующая технология организации структур и обработки производственных данных
  • 1. Л. Методы и модели описания объектов автоматизации
    • 1. 2. Оптимизация схем хранения производственных данных
    • 1. 3. Преобразования моделей данных
    • 1. 4. Преобразование и оптимизация запросов с учётом схем представлений данных
    • 1. 5. Выводы и задачи исследований работы
  • 2. Методология объектно-ролевого моделирования вербального описания объектов
    • 2. 1. Разработка концепции системы оптимизации элементов информационных систем
    • 2. 2. Моделирование списка определений терминов предметной области
    • 2. 3. Выводы
  • 3. Синтез оптимальной схемы базы данных с учетом наполнения таблиц данными
    • 3. 1. Представление множества функциональных зависимостей в виде графа
    • 3. 2. Циклы графа функциональных зависимостей
    • 3. 3. Граф функциональных зависимостей без циклов и нормальная форма Бойса-Кодда
    • 3. 4. Денормализация отношений
    • 3. 5. Удаление атрибутов, не участвующих в запросах
    • 3. 6. Выводы
  • 4. Формализация метода оптимизации запросов к базе данных
    • 4. 1. Множество отношений и логическое выражение
    • 4. 2. Реляционное выражение
    • 4. 3. Эквивалентные преобразования реляционного выражения
    • 4. 4. Алгоритм преобразования реляционного выражения
    • 4. 5. Выводы
  • 5. Применение методов оптимизации структуры и обработки производственных данных при создании информационной системы планирования и учёта производства
    • 5. 1. Концепция системы планирования и учёта производства
    • 5. 2. Формализация списка определений терминов планирования и учёта производства
      • 5. 2. 1. Термины планирования и учёта производства
      • 5. 2. 2. Объектно-ролевая модель и модель «сущность-связь» планирования и учёта листопрокатного производства
      • 5. 2. 3. Теоретико-множественная формализация планирования и учёта производства
    • 5. 3. Применение алгоритма синтеза оптимальной схемы базы данных с учетом наполнения таблиц данными при создании информационной системы планирования и учёта производства
    • 5. 4. Применение алгоритма оптимизации запросов при создании информационной системы планирования и учёта производства
    • 5. 5. Выводы

Разработка и исследование методов оптимизации структуры и обработки производственных данных (реферат, курсовая, диплом, контрольная)

Актуальность проблемы.

На крупных предприятиях, состоящих из множества структурных подразделений, как правило, существует ряд систем, решающих частные задачи управления производством. Актуальна задача интеграции этого множества систем в единое информационное пространство, построения системы управления производством, которая позволяла бы формировать планы производства для всех подразделений, доводить эти планы до всех ответственных лиц различного ранга, производить централизованную коррекцию плана, осуществлять централизованный учёт фактического производства. Создание такой системы требует полного формального описания предметной области.

Многие существующие информационные системы и алгоритмы имеют недостатки, связанные с эффективностью их реализации. Практикуемая сегодня технология разработки информационных систем включает в себя этапы анализа предметной области, построения модели данных и реализации логики обработки данных на основе модели. Существующие системы и алгоритмы, которые предназначены для автоматизации процесса оптимизации структуры данных, в действительности недостаточно эффективно используются на практике по следующим причинам: реализация таких систем и алгоритмов требует высокой квалификации проектировщиковне всегда критерии оптимизации, положенные в основу алгоритмов, удовлетворяют условиям конкретной задачисуществует мало систем, позволяющих производить интегрировано разработку информационной структуры и ее оптимизацию [13]. Кроме того, существующие алгоритмы синтеза схемы базы данных не учитывают наполнение таблиц данными и не могут решать задачи оптимизации объема дискового пространства, занимаемого базой данных [37]. Алгоритмы, учитывающие наполнение таблиц данными, требуют значительных трудозатрат от пользователей, связанных с вводом информации и предварительной ее обработкой [13]. Поэтому сегодня актуальны задачи, связанные с разработкой алгоритмов оптимизации структуры данных, учитывающих наполнение таблиц и не требующих значительных трудозатрат по подготовке входных данных.

Известно, что эффективность функционирования информационных систем связана с оптимальным исполнением запросов к базе данных. В известных коммерческих реляционных СУБД (например, Oracle, SQL Server и др.) существуют механизмы оптимизации запросов. Однако алгоритмы, положенные в основу оптимизации в этих системах являются коммерческой тайной фирмы разработчика. Но и при наличии встроенных в системы оптимизаторов, предварительная оптимизация запросов повышает эффективность системы в целом из-за отсутствия необходимости для ядра СУБД построения оптимального плана запросов. Кроме того, не все существующие СУБД обладают возможностями оптимизации запросов.

Цель исследования состоит в разработке методов проектирования информационных систем, позволяющих снизить требования к уровню начальных знаний проектировщика, повысить качество и эффективность реализации информационной системыпостроения ядра информационной системы планирования и учёта производства, обеспечивающего оперативное формирование производственных документов с минимальной достоверностью данных.

Задачи исследования:

1. Разработать метод построения формальной модели предметной области по списку определений терминов и использовать его для создания формальной модели планирования и учёта производства.

2. Разработать алгоритм оптимизации структуры базы данных с учетом наполнения таблиц данными, не требующий значительных трудозатрат для подготовки входных данных, и применить его для создания ядра информационной системы планирования и учёта производства.

3. Формализовать алгоритм оптимизации запросов и показать способы его применения при создании ядра информационной системы планирования и учёта производства.

Методы исследования. В работе использованы положения теории проектирования информационных систем, теории множеств, теории графов, положения реляционной математики, а также методы объектно-ориентированного проектирования и программирования.

Научная новизна. В диссертации разработаны формальные модели (теоретико-множественная модель и объектно-ролевая модель) планирования и учёта производства. Разработан и формализован алгоритм оптимального синтеза схемы базы данных с учетом наполнения таблиц данными. Формализован алгоритм оптимизации реляционного выражения.

Практическая значимость. Разработано ядро интегрированной системы управления производством, создан инструмент для оптимизации структуры базы данных и запросов. Отдельные подсистемы интегрированной системы управления производством находятся на стадии внедрения в рамках дирекций ОАО «НЛМК».

Реализация и внедрение результатов работы. Работа выполнена в соответствии с грантом Г00−4.1−68 МО РФ. Элементы системы планирования и учёта производства находятся на стадии внедрения в ОАО «НЛМК». Реализован инструмент оптимизации структуры и запросов. Основные теоретические и практические результаты диссертационной работы внедрены и используются в учебном процессе кафедры АСУ ЛГТУ.

Апробация работы. Основные положения работы доложены и обсуждены на международной научно-технической конференции «Interactive Systems: The Problems of Human-Computer Interaction» (Ульяновск, 1999), на молодежной научно-технической конференции технических вузов центральной России (Брянск, 2000), где работа была удостоена диплома лауреата конференции третьей степенина VI международной открытой конференции «Современные проблемы автоматизации в непромышленной сфере и экономике» (Воронеж,.

2001) — на международной научно-технической конференции «Современные системы управления предприятием» С8ВС2001 (Липецк, 2001) — на международной научной конференции «Информационные технологии в естественных, технических и гуманитарных науках» (Таганрог, 2002).

Публикации. По результатам исследований опубликовано 9 печатных работ.

Структура и объем работы. Диссертационная работа включает в себя введение, пять основных глав, введение, заключение, библиографический список из 240 наименований и 4 приложения. Работа изложена на 211 страницах машинописного текста, содержит 44 рисунка и 7 таблиц.

5.5. Выводы.

Таким образом, приведены концепцию системы планирования и учёта производства, разработали и формализовали список определений терминов (в виде ORM модели, ER модели и теоретико-множественной модели), приведен пример использования разработанной модели при проектировании системы.

160 планирования и учёта листопрокатного производства. Из формальной модели планирования и учёта производства извлечено множество функциональных зависимостей, построена на его основе оптимальная структура базы данных, в рамках которой показано применение алгоритма оптимизации запросов.

Заключение

.

В ходе исследования были получены следующие результаты:

1. Разработан формальный алгоритм построения оптимальной схемы базы данных с учётом наполнения таблиц данными.

2. Формализован алгоритм оптимизации запросов.

3. Разработан метод построения формального описания предметной области на основе списков определений предметной области.

4. Предложен алгоритм построения СЖМ модели по структурированному вербальному описанию предметной области.

5. Предложено использование теории множеств как средства моделирования структуры и обработки данных.

6. Создана формальная модель планирования и учёта производства (СЖМ модель, ЕЯ модель и теоретико-множественная модель).

7. Алгоритмы оптимизации структуры и обработки производственных данных реализованы в виде программного инструмента.

8. Разработанные методы и инструменты оптимизации производственных данных позволили осуществить эффективную автоматизированную реализацию отдельных подсистем системы планирования и учёта производства.

Показать весь текст

Список литературы

  1. Ш. Структурный подход к проектированию баз данных. М.: Финансы и статистика, 1984, 317с.
  2. A.B., Николаев А. Б., Погорнев В. М. Метод нечеткой классификации элементов моделей данных // Приборы и системы управления, 9, 1991, сс. 9−10.
  3. К. Дж. Введение в системы баз данных.: Пер. с англ. 6-е изд. — К.: Диалектика, 1998, 784 с.
  4. Г., Блей Дж. Структурные методы разработки систем от стратегического планирования до тестирования. М.: Финансы и статистика, 1986, 264с.
  5. О. П., Адельсон-Вельский Г. М. Дискретная математика для инженера. М.: Энергоатомиздат, 1988, 480с.
  6. Л. А., Погодаев А. К., Овчинников В. В. Метод организации баз данных металлургического производства. // Вестник ЛГТУ-ЛЭГИ № 2(6). 2000.
  7. Ю.Кузнецов Л. А., Погодаев А. К., Овчинников В. В. Система оптимизации структуры базы данных. // Вестник ЛГТУ-ЛЭГИ, № 1(7), 2001.
  8. П.Кузнецов Л. А., Погодаев А. К., Овчинников В. В. Синтез схемы реляционной базы данных. Современные системы управления предприятием С8ВС'2001: Сборник трудов международной научно-технической конференции / Под. ред проф. Л. А. Кузнецова. Липецк, 2001.
  9. Л.А., Погодаев А. К., Овчинников В. В. Вербальное описание предметной области в объектно-ролевом моделировании баз данных // Вестник ЛГТУ-ЛЭГИ, 2(8), 2002, сс. 67−71.
  10. В.В., Ковалевский С. С., Косяченко С. А., Сиротюк В. О. Теоретические основы проектирования оптимальных структур распределенных баз данных. Серия «Информатизация России на пороге XXI века». -М.: СИНЕГ, 1999, 660с.
  11. В.В., Ковалевский С. С., Горгидзе И. А., Зайцев К. С., Карсанидзе Т. В., Шелков А. Б. Методы повышения эффективности и качества функционирования автоматизированных информационно-управляющих систем. -М.: КомпьюЛог, 2001, 344с.
  12. Д. Теория реляционных баз данных. Пер. с англ. М. К. Валиева и др.- -М.: Мир, 1987, 608 с.
  13. В.В., Погодаев А. К. Система ведения нормативно-технологической документации. Материалы международной научной конференции «Информационные технологии в естественных, технических и гуманитарных науках» часть 2 — Таганрог: ТРТУ, 2002.
  14. Дж. Основы систем баз данных. Пер. с англ. М.: Финансы и статистика, 1983, 334с.
  15. Дж. Администрирование баз данных. М.: Финансы и статистика, 1984, 207с.
  16. Дж. Автоматизированное проектирование баз данных. М.: Мир, 1984, 294с.
  17. Abiteboul S., Hull R. IFO: a formal semantic database model // ACM Transactions on Database Systems, 12(4), 1987, pp. 525−565.
  18. Aho A.V., Sagiv Y., Ullman J.D. Efficient optimization of a class of relational expressions // ACM Transactions on Database Systems, 4(4), 1979.
  19. Aho A. V., Beeri C., Ulman J. D. The Theory of Joins in Relational Databases // ACM Transactions on Database Systems, 4(3), 1979.
  20. Akoka J., Comyn-Wattiau I. Entity-relationship and object-oriented model automatic clustering // Data & Knowledge Engineering, 20(2), 1996, pp. 87−117.
  21. Allen F. W., Loomis M. E. S., Mannino M. Y. The Integrated Dictionary-Directory System // ACM Сотр. Surv, 14(2), 1982.
  22. Armstrong W. W. Dependency Structures of Data Base Relationships // Proc. IFIP Congress, Stockholm, Sweden, 1974.
  23. Armstrong W.W., Deobel C. Decompositions and functional dependencies in relations // ACM Transactions on Database Systems, 5(4), 1980, pp. 404−430.
  24. Artale A., Franconi E., Guarino N., Pazzi L. Part-whole relations in object-centered systems: An overview, 20(3), 1996, pp. 347−384.
  25. ВаЬЬ E. Joined normal form: a storage encoding for relational databases // ACM Transactions on Database Systems, 7(4), 1982, pp. 588−614.
  26. Banerjee J., Kim W., Kim H.J., Korth H.F. Semantics and Implementation of Schema Evolution in Object-Oriented Databases. SIGMOD Record, 16(3), 1987, pp. 311−322.
  27. Batini C., Ceri S., Navathe S.B. Conceptual Database Design An Entity-Relationship Approach, Benjamin Cummings, Redwood City, California, 1992.
  28. Becker L., Guting R.H. Rule-based optimization and query processing in an extensible geometric database system // ACM Transactions on Database Systems, 17(2), 1992, pp. 247−303.
  29. Beeri C., Kifer M. An integrated approach to logical design of relational database schemes // ACM Transactions on Database Systems, 11(2), 1986, pp. 134−158.
  30. Bergamaschi S., Sartori C. On taxonomic reasoning in conceptual design // ACM Transactions on Database Systems, 17(3), 1992, pp. 385−422.
  31. Berman S. A semantic data model as the basis for an automated database design tool//Information Systems, 11(2), 1986, pp. 149−165.
  32. Bernstein P.A. Synthesizing third normal form relations from functional dependencies // ACM Transactions on Database Systems, 1(4), 1976, pp. 277−298.
  33. Blankinship R., Hevner A.R., Yao S.B. An iterative method for distributed database optimization // Data & Knowledge Engineering, 21(1), 1996, pp. 1−30.
  34. Bronts G.H.W.M., Brouwer S.J., Martens C.L.J., Proper H.A. A Unifying Object Role Modelling Approach. Information Systems, 20(3), 1995, pp. 213−235.
  35. Brouwer S .J., Martens C.L.J., Bronts G.H. W.M., Proper H.A. Towards a Unifying Object Role Modelling Approach // Proceedings of the First International Conference on Object-Role Modelling (ORM-1), Magnetic Island, Australia, 1994, pp. 259−273.
  36. Casanova M. A., Fargin R., Papadimitriou C. H. Inclusion Dependencies and Their Interaction with Functional Dependencies // Proc. 1st ACM SIGACT-SIGMOD Symposium on Principles of Database Systems, Los Angeles, Calif., 1982.
  37. Campbell L.J., Halpin T.A. Automated Support for Conceptual to External Mapping // Proceedings of the Fourth Workshop on the Next Generation of CASE Tools, Paris, France, 1993, pp. 35−51.
  38. Campbell L.J., Halpin T.A. Abstraction Techniques for Conceptual Schemas. // Proceedings of the 5th Australian Database Conference, vol. 16, Christchurch, New Zealand, 1994, pp. 374−388.
  39. Campbell L.J. Adding a New Dimension to Flat Conceptual Modelling // Proceedings of the First International Conference on Object-Role Modelling (ORM-1), Magnetic Island, Australia, 1994, pp. 294−309.
  40. Campbell L.J., Halpin T.A., Proper H.A. Conceptual Schemas with Abstractions -Making flat conceptual schemas more comprehensible // Data & Knowledge Engineering, 20(1), 1996, pp. 39−85.
  41. Cao T.H., Generalized Quantifiers and Conceptual Graphs // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001, p. 87.
  42. Castano S., de Antonelis V., Fugini M.G., Pernici B. Conceptual schema analysis: techniques and applications // ACM Transactions on Database systems, 23(3), 1998, pp. 286−333.
  43. 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.
  44. Chaudhuri S., Shim K. Optimization of queries with user-defined predicates // ACM Transactions on Database Systems, 24(2), 1999, pp. 177−228.
  45. 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.
  46. 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.
  47. Claypool K.T., Rundensteiner E.A., Heineman G.T. Evolving the Software of a Schema Evolution System // vol. 2065 of Lecture Notes in Computer Science, 2001.
  48. Codd E. F. Normalized Data Base Structure: A Brief Tutorial // Proc. 1971 ACM SIGFIDET Workshop on Data Description, Access, and Control, San Diego, Calif., 1971.
  49. Codd E. F. Further Normalization of the Data Base Relational Model // Data Base Systems, Courant Computer Science Symposia Series 6, 1972.
  50. Codd E. F. Recent Investigations into Relational Data Base Systems // Proc. IFIP Congress, Stockholm, Sweden, 1974.
  51. Codd E.F., Extending the database relational model to capture more meaning // ACM Transactions on Database Systems, 4(4), 1979, pp. 397−434.
  52. Creasy P.N., Hesse W. Two-level NIAM: A way to get it object-oriented. // Proceedings of the IFIP WG 8.1 CRIS-94 Conference on Methods and Associated Tools for the Information Life Cycle, Maastricht, The Netherlands, 1994, pp. 209 221.
  53. Creasy P.N., Proper H.A. A Generic Model for 3-Dimentional Conceptual Modelling // Data & Knowledge Engineering, 20(2), 1996, pp. 119−162.
  54. Dalianis H. A method for validating a conceptual model by natural language discourse generation // Proceedings of the Fourth International Conference
  55. CaiSE'92 on Advanced Infromation Systems Engineering, vol. 593 of Lecture Notes in Computer Science, Manchester, United Kingdom, 1992, pp. 425−444.
  56. Darwen H. Observations of a Relational Bigot // Presentation to BCS Special Interest Group on Format Aspects of Computing Science, London, UK, 1990.
  57. Darwen H. The role of Functional Dependence in Query Decomposition // C. J. Date and H. Darwen. Relational Database Writings 1989−1991, 1992.
  58. Date C. J. A Practical Approach to Database Design // C. J. Date. Relational Database: Selected Writings, Addison Wesley, 1986.
  59. Date C. J. A Note to One-to-One Relationships // C. J. Date. Relational Database Writings 1985−1989, Addison-Wesley, 1990.
  60. 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.
  61. 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.
  62. Date C. J. A Normalization Problem // The Relational J, 4(2), 1992.
  63. Date C. J. Entity/Relationship Modeling and the Relational Model // C. J. Date and Hugh Darwen. Relational Database Writings: 1989−1991, Addison-Wesley, 1992.
  64. Delobel C. Normalization and heirarchical dependencies in the relational data modell // ACM Transactions on Database Systems, 3(3), 1978, pp. 201−222.
  65. Delobel C., Parker D. S. Functional and Multivalued Dependencies in a Relational Database and Theory of Boolean Switching Functions. Tech. Report № 142, France, 1978.
  66. Dey D., Sarkar S. A probabilistic relational model and algebra // ACM Transactions on Database Systems, 21(3), 1996, pp. 339−369.
  67. Dey D., Storey V.C., Barron T.M. Improving database design through the analysis of relationships // ACM Transactions on Database Systems, 24(4), 1999.
  68. Dibie-Barthelemy J., Haemmerle O., Loiseau S. Refinement of Conceptual Graphs // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001, p. 216.
  69. Drenick P.E., Smith E.J. Stochastic query optimization in distributed databases // ACM Transactions on Database Systems, 18(2), 1993, pp. 262−288.
  70. Elmasri R., Weeldreyer J., Hevner A. The category concept: An extension to the entity-relationship model // Data & Knowledge Engineering, 1, 1985, pp. 75−116.
  71. Elmasri R., Navathe S.B. Fundamentals of Database Systems. Benjamin Cummings, Redwood City, California, 1994.
  72. Fahrner C., Vossen G. A survey of database design transformations based on the Entity-Relationship model // Data & Knowledge Engineering, 15(3), 1995, pp. 213−250.
  73. Fargin R. Multivalued dependencies and a new normal form for relational databases // ACM Transactions on Database Systems, 2(3), 1977.
  74. Fargin R. Functional Dependencies in a Relational Database and Propositional Logic // IBM J. R&D, 21(6), 1977.
  75. Fargin R. Normal Forms and Relational Database Operators // Proc. 1979 ACM SIGMOD Intern. Conf. on Management of Data, Boston, Mass., 1979.
  76. 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.
  77. Fargin R. Acyclic Database Schemes (of Various Degrees): A Painess Introduction // IBM Research Report RJ3800, 1983.
  78. Fargin R., Vardi M.Y. The Theory of Data Dependencies A Survey // IBM Research Report RJ4321, 1984.
  79. Feldman P., Miller D. Entity Model Clustering: Structering a Data model by Abstractions // The Computer Journal, 29(4), 1986, pp. 348−360.
  80. Fleming C. C., Von Halle B. Handbook of Relational Database Design, Addison-Wesley, 1989.
  81. Franconi E., Grandi F., Mandereoli F. Schema Evolution and Versioning: A Logical and Computational Characterisation // vol. 2065 of Lecture Notes in Computer Science, 2001, p. 85.
  82. Frederiks P.J.M., ter Hofstede A.H.M., Lippe E. A Unifying Framework for Conceptual Data Modeling Concepts // Information and Software Technology, 39(1), 1997, pp. 15−25.
  83. Ganter B., Rudolph S. Formal Concept Analysis Methods for Dynamic Conceptual Graphs // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001, p. 143.
  84. Gavish B., Segev A. Set query optimization in distributed database systems // ACM Transactions on Database Systems, 11(3), 1986. pp. 265−293.
  85. Gerbe O., Mineau G.W., Keller R.K. Conceptual Graphs and Metamodeling // vol. 2120 of Lecture Notes in Artificial Intelligence, 2001, p. 245.
  86. Gogolla M., Hohenstein U. Towards a semantic view of an extended entity-relationship model // ACM Transactions on Database Systems, 16(3), 1991, pp. 369−416.
  87. Gomez F., Segami C., Delaune C. A system for the semiautomatic generation of E-R models from natural language specification // Data & Knowledge Engineering, 29(1), 1998, pp. 57−81.
  88. Goldstein R.C., Storey V.C. Data abstractions: Why and how? // Data & Knowledge Engineering, 29(3), 1999, pp. 293−311.
  89. Hainaut J.-L. Entity-generating Scheme Transformation for Entity-Relationship Models. // Proceedings of the 10th International Conference on the Entity-Relationship Approach // Lecture Notes in Computer Science, San Mateo, California, 1991.
  90. Hainaut J.-L., Chandelon M., Tonneau C., Joris M. Contribution to a Theory of Database Reverse Engineering. // Proceedings of the IEEE Working Conference on Reverse Engineering, Baltimore, Massachusetts, 1993.
  91. Hainaut J.-L., Tonneau C., Joris M., Chandelon M. Transformation-based Database Reverse Engineering. // Proceedings of the 12th International Conferenceon the Entity-Relationship Approach, Lecture Notes in Computer Science, Dallas, Texas, 1993.
  92. Hainaut J.-L. Specification preservation in schema transformations -application to semantics and statistics // Data & Knowledge Engineering, 19(2), 1996, pp. 99−133.
  93. Hall P., Owlett J., Todd S. J. P. Relations and Entities // Modeling in Data Base Management Systems, Amsterdam, Netherlands, 1975.
  94. Halpin T.A. Conceptual Scheme Optimization // Australian Computer Science Communications, 12(1), 1990, pp. 136−145.
  95. Halpin T.A. A Logical Analysis of Information Systems: static aspects of data-oriented perspective, PhD thesis, University of Queensland, Brisbane, Australia, 1989.
  96. Halpin T.A. Conceptual Scheme Optimization. Australian Computer Science Communications, 12(1), 1990, pp. 136−145.
  97. Halpin T.A. A Fact-Oriented Approach to Scheme Transformation // MFDBS 91, Volume 495 of Lecture Notes in Computer Science, 1991, pp. 342−356.
  98. Halpin T.A., Orlowska M.E. Fact-Oriented Modelling for Data Analysis // Journal of Information Systems, 2(2), 1992, pp. 1−23.
  99. Halpin T.A. Fact-Oriented Schema Optimization // Proceedings CISMOD-92, Bangalore, India, 1992, pp. 288−302.
  100. Halpin T.A., Proper H.A. Database scheme transformation and optimization. // Proceedings of the OOER'95, 14th International Object-Oriented and Entity
  101. Relationship Modelling Conference, vol. 1021 of Lecture Notes in Computer Science, pp. 191−203, Gold Coast, Australia, 1995.
  102. Halpin T.A. Conceptual Schema and Relational Database Design. Prentice-Hall, Sydney, Australia, 2nd edition, 1995.
  103. Halpin T.A., Proper H.A. Subtyping and Polymorphism in Object-Role Modelling // Data & Knowledge Engineering, 15, 1995, pp. 251−281.
  104. Halpin T.A. Obect-Role Modeling (ORM/NIAM). Handbook on Architectures of Information Systems, Berlin, 1998.
  105. Halpin T.A. An ORM Metamodel // Journal of Conceptual Modeling, 16, 2000.
  106. Halpin T.A. An ORM metamodel of Information Engineering // Journal of Conceptual Modeling, 18, 2001.
  107. Halpin T.A. Object Role Modeling: An Overview // msdn.microsoft.com, MSDN Library, Visual Studio .NET, 2001.
  108. 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.
  109. Hammer M. M., McLeod D. J. Database Description with SDM: A Semantic Database Model // ACM Transactions on Database Systems, 6(3), 1981.
  110. Health I. J. Unacceptable file operations in Relational Database // Proc. 1971 ACM SIGFIDET Workshop on Data Description, Access, and Control. San Diego, Calif., 1971.
  111. Hohenstein U., Neugebauer L., Saake G., Ehrich H.-D. Three-Level-Specification of Databases using an extended Entity-Relationship Model // Informationsbedarfsermittung und -analyse fur den Entwurf von Informatonssystemen, Berlin, 1987, pp. 58−88.
  112. Hull R., King R. Semantic Database Modeling: Survey, Applications, and Research Issues // ACM Comp. Surv., 19(3), 1978.
  113. Jagadish H.V. The INCINERATE data model // ACM Transactions on Database Systems, 20(1), 1995, pp. 71−110.
  114. Jagannathan D. et al. SIM: A Database System Based on the Semantic Data Model // Proc. 1988 ACM SIGMOD Intern. Conf. on Management Data, Chicago, III., 1988.
  115. Jensen O.G., Bohlen M.H. Evolving Relations // vol. 2065 of Lecture Notes in Computer Science, 2001, p. 115.
  116. Jones T.H., song I.-Y. Analysis of binary/ternary cardinality combinations in entity-relationship modeling // Data & Knowledge Engineering, 19(1), 1996, pp. 39−64.
  117. Kappel G., Schrefl M. Local referential integrity. // 11th International Conference on the Entity-Relationship Approach, vol. 645 of Lecture Notes in Computer Science, Karlsruhe, Germany, 1992, pp. 41−61.
  118. Kent W. A Simple Guide to Five Normal Forms in Relational Database Theory // CFCV, 26(2), 1983.
  119. Kerschberg L., Ting P.D., Yao S.B. Query optimization in star computer networks // ACM Transactions on Database Systems, 7(4), 1982, pp. 678−711.
  120. Kifer M., Lozinskii E.L. On compile-time query optimization in deductive databases by means of static filtering // ACM Transactions on Database Systems, 15(3), 1990, pp. 385−426.
  121. 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.
  122. Knapp J.L. ER isomorphisms and uniqueness conditions // Data & Knowledge Engineering, 26(3), 1998, pp. 271−290.
  123. Kobayashi I. Classification and transformations of binary relationship relation schemata//Information Systems, 11(2), 1986, pp. 109−122.
  124. Kornatzky Y., Shoval P. Conceptual design of object-oriented database schemas using the binary-relationship model. // Data & Knowledge Engineering, 14, 1994, pp. 265−288.
  125. Kornatzky Y., Shoval P. Conceptual design of object-oriented database schemas using the binary-relationship model // Data & Knowledge Engineering, 14(3), 1995, pp. 265−288.
  126. Kossmann D., Stocker K. Iterative dynamic programming: a new class of query optimization algorithms // ACM Transactions on Database Systems, 25(1), 2000, pp. 43−82.
  127. Kristen G. Object Orientation, the KISS Method: From Information Architecture to Information System. Addison-Wesley, Reading, Massachusetts, 1994.
  128. Kuper G.M., Vardi M.Y. The logical data model // ACM Transactions on Database Systems, 18(3), 1993, pp. 379−413.
  129. 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.
  130. Levene M., Loizou G. Semantics for null extended nested relations // ACM Transactions on Database Systems, 18(3), 1993, pp. 414−459.
  131. Lerner B.S. A model for compound type changes encountered in schema evolution // ACM Transactions on Database Systems, 25(1), 2000, pp. 83−127.
  132. Li X., Orlowska M.E. Conceptual modelling for complex objects. // Proceedings of the Far East Workshop on Future Database Systems, Melbourne, 1990, pp. 160−172.
  133. Li W.-S., Clifton C. SEMINT: A tool for identifying attribute correspondences in heterogeneous databases using neural networks // Data & Knowledge Engineering, 33(1), 2000, pp. 49−84.
  134. Lien Y.E. Hierarchical schemata for relational databases // ACM Transactions on Database Systems, 6(1), 1981, pp. 48−69.
  135. Lippe E., ter Hofstede A.H.M. A Category Theory Approach to Conceptual Data Modeling // RAIRO Theoretical Informatics and Application, 30(1), 1996, pp. 31−79.
  136. 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.
  137. Lucchesi C. L., Osborn S. L. Candidate Keys for Relations // J. Сотр. and Sys. Science, 17(2), 1978.
  138. Maier D., Ullman J. D. Fragments of Relations // Proc. 1983 SIGMOD Intern. Conf. on Management of Data, San Jose, Calif, 1983.
  139. Makowsky J.A., Ravve E.V. Dependency preserving refinements and the functional problem of database design // Data & Knowledge Engineering, 24(3), 1998, pp. 277−312.
  140. Mannila H., Raiha K.-J. The Design of Relational Databases, Wokingham, UK, 1992.
  141. Mannisto T., Peltonen H., Soininen T., Sulonen R. Multiple abstraction levels in modeling product structures // Data & Knowledge Engineering, 36(1), 2001, pp. 55−78.
  142. Markowitz V.M., Shoshani A. Representing extended entity-relationship structures in relational databases: a modular approach // ACM Transactions on Database Systems, 17(3), 1992, pp. 423−464.
  143. Meersman R. The R1DL Conceptual Language. Research report, International Centre for Information Analisys Services, Brussels, Belgium, 1982.
  144. Mendelson H., Saharia A.N. Incomplete information costs and database design // ACM Transactions on Database Systems, 11(2), 1986, pp. 159−185.
  145. Mendelzon A.O., Wood P.T. Functional dependencies in Horn clause queries // ACM Transactions on Database Systems, 16(1), 1991, pp. 31−55.
  146. Mineau G.W., Missaoui R., Godinx R. Conceptual modeling for data and knowledge management // Data & Knowledge Engineering, 33(2), 2000, pp. 137 168.
  147. Mole 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.
  148. Nakano R. Translation with optimization from relational calculus to relational algebra having aggregate functions // ACM Transactions on Database Systems, 15(4), 1990, pp. 518−557.
  149. Negri M., Pelagatti G., Sbattella L. Formal semantics of SQL queries // ACM Transactions on Database Systems, 16(3), 1991, pp. 513−534.
  150. Negri M., Pelagatti G. Distributive join: a new algorithm for joining relations // ACM Transactions on Database Systems, 16(4), 1991, pp. 655−669.
  151. Nicolas J. M. Mutual Dependencies and Some Results on Undecomposable Relations // Proc. 4th Intern. Conf. on Very Large Data Bases, Berlin, FDR, 1978.
  152. Nijssen G.M., Halpin T.A. Conceptual Schema and Relational Database Design: a fact oriented approach. Prentice-Hall, Sydney, Australia, 1989.
  153. Olle T. W., Sol H. G., Verrijn-Stuart A. A. (eds.). Information Systems Design Methodologies: A Comparative Review, New York, Elsevier Science, 1982.
  154. Ozsoyoglu Z.M., Yuan L.-Y. A new normal form for nested relations // ACM Transactions on Database Systems, 12(1), 1987, pp. 111−136.
  155. Ozsoyoglu Z.M., Yuan L.-Y. Reduced MVDs and minimal covers // ACM Transactions on Database Systems, 12(3), 1987, pp. 377−394.
  156. Palopoli L., Sacca D., Ursino D. Semi-automatic techniques for deriving interscheme properties from database scjemes // Data & Knowledge Engineering, 30(3), 1999, pp. 239−273.
  157. Paramanik S., Ittner D. Use of graph-theoretic models for optimal relational database accesses to perform join // ACM Transactions on Database systems, 10(1), 1985, pp. 57−74.
  158. Paredaens J., Gucht D.V. Converting nested algebra expressions into flat algebra expressions // ACM Transactions on Database Systems, 17(1), 1992, pp. 65−93.
  159. Parker D. S., Delobel C. Algorithmic Applications for a New Result on Multivalued Dependencies // Proceedings of the 5th International Conference on Very Large Data Bases, Rio de Janeiro, Brazil, 1979.
  160. Peckham J., Maryanski F. Semantic Data Models // ACM Comp. Surv., 20(3), 1988.
  161. Polovina S., Heaton J. An Introduction to Conceptual Graphs // AI Expert, 1992, pp. 36−43.
  162. Poulovassilis A, McBrien P. A general formal framework for schema transformation // Data & Knowledge Engineering, 28(1), 1998, pp. 47−71.
  163. Proper H.A., van der Weide. EVORM: A Conceptual Modelling Technique for Evolving Application Domains. Data & Knowledge Engineering, 12, 1994, pp. 313−359.
  164. Proper H.A., Halpin T.A. Conceptual Scheme Optimisation Database Optimisation before sliding down the Waterfall. Technical Report 341, Department of Computer Science, University of Queensland, Australia, 1995.
  165. Proper H.A. Data Scheme Design as a Scheme Evolution Process // Data & Knowledge Engineering, 22(2), 1997, pp. 159−189.
  166. Raju K.V.S.V.N., Majumdar A.K., Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems // ACM Transactions on Database Systems, 13(2), 1988, pp. 129−166.
  167. Rishe N. A methodology and tool for top-down relational database design // Data & Knowledge Engineering, 10, 1993, pp. 256−291.
  168. Rissanen J. Independent Components of Relations // ACM Transactions on Database Systems, 2(4), 1977.
  169. Ritson P.R., Halpin T.A. Mapping Integrity Constraints to a Relational Schema // Proceedings of the 4th ACIS, Brisbane, Australia, 1993, pp. 381−400.
  170. Ritson P.R. Use of Conceptual Schemas for a Relational Implementation. PhD thesis, University of Queensland, Brisbane, Australia, 1994.
  171. Roth M.A., Korth H.F., Silberschatz A. Extended algebra and calculus for nested relational databases // ACM Transactions on Database Systems, 13(4), 1988, pp. 389−417.
  172. Rumbaugh J., Blaha M., Premerlani W., Eddy F., Lorenson W. Object-Oriented Modeling and Design. Prentice-Hall, Englewood Cliffs, New Jersey, 1991.
  173. Sagiv Y., Fargin R. An Equivalence between Relational Database Dependencies and a Subclass of Propositional Logic // IBM Research Report RJ2500, 1979.
  174. Sagiv Y., Delobel C., Parker D. S., Fargin R. An Equivalence between Relational Database Dependencies and a Subclass of Propositional Logic // JACM, 28(3), 1981.
  175. 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.
  176. Sciore E. A Complete Axiomatization of Full Join Dependencies // JACM, 29(2), 1982.
  177. Sellis T.K. Multiple-query optimization // ACM Transactions on Database Systems, 13(1), 1988, pp. 23−52.205. de Sen P., Gudes E. A new model for database abstraction // Information Systems, 7(1), 1982, pp. 1−12.
  178. Shasha D., Wang T.-L. Optimizing equijoin queries in distributed databases where relations are hash partitioned // ACM Transactions on Database Systems, 16(2), 1991, pp. 279−308.
  179. Shoval P. Essential information structure diagrams and database schema design // Information Systems, 10(4), 1985, pp. 417−423.
  180. Shoval P., Even-Chaime M. ADDS: A system for automatic database scheme design based on the binary-relationship model // Data & Knowledge Engineering, 2(2), 1987, pp. 123−144.
  181. Shoval P., Zohn S. Binary-relationship integration methodology // Data & Knowledge Engineering, 6(3), 1991, pp. 225−250.
  182. Shoval P., Shreiber N. Database reverse engineering: From the Relational to the Binary Relationship model // Data & Knowledge Engineering, 10, 1993, pp. 293−315.
  183. Siegel M., Sciore E., Salveter S. A method for automatic rule derivation to support semantic query optimization // ACM Transactions on Database Systems, 17(4), 1992, pp. 563−600.
  184. Smith J.M., Smith D.C.P. Database abstractions: aggregation and generalization // ACM Transactions on Database Systems, 2(2), 1977, pp. 105 133.
  185. Smith J. M., Smith D. C. P. Database Abstractions: Aggregation // CACM, 20(6), 1977.
  186. Smith J. M. A Normal Form for Abstract Syntax // Proc. 4th Intern. Conf. on Very Large Data Bases, Berlin, FDR, 1978.
  187. Sundgren B. The Infological Approach to Data Bases // J. W. Klimbie and K. L. Koffeman (eds.). Data Base Management, New York, Elsevier Science, 1974.
  188. 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.
  189. Tasker D. Fourth Generation Data: A Guide to Data Analysis for New and Old Systems, Sydney, Australia, 1989.
  190. Theorey T. J., Fry J. P. Design of Database Structures, Englewood Cliffs, 1982.
  191. Theorey T. J., Yang D., Fry J. P. A Logical Design Methodology for Relational Databases Using the Extended Entity-Relationship Model // ACM Comp. Surv., 18(2), 1986.
  192. Theorey T. J. Database Modeling and Design: The Entity-Relationship Approach, San Mateo, Calif.: Morgan Kaufmann, 1990.
  193. Tsai P. S.M., Chen A.L.P. Optimizing entity join queries when data transmission cost dominates // Data & Knowledge Engineering, 22(3), 1997, pp. 283−308.
  194. Ullman J.D. Implementation of logical query languages for databases // ACM Transactions on Database Systems, 10(3), 1985, pp. 289−321.
  195. Vermeir. Semantic Hierarchies and Abstractions in Conceptual Schemata // Information Systems, 8(2), 1983, pp. 117−124.
  196. Wai Y.M., Embley D.W. Using NNF to transform conceptual data models to object-oriented database designs // Data & Knowledge Engineering, 24(3), 1998, pp. 313−336.
  197. Wald J.A., Sorenson P.G. Explaining ambiguity in a formal query language // ACM Transactions on Database Systems, 15(2), 1990, pp. 125−161.
  198. Wand Y., Storey V.C., Weber R. An ontological analysis of the relationship construct in conceptual modeling // ACM Transactions on Database Systems, 24(4), 1999, pp. 494−528.
  199. Whang K.-Y. Krishnamurthy R. Query optimization in memory-resident domain relational calculus database system // ACM Transactions on Database Systems, 15(1), 1990, pp. 67−95.
  200. Wintraecken J.J.V.R. The NIAM Information Analysis Method: Theory and Practice. Kluwer, Deventer, The Netherlands, 1990.
  201. Yao S.B. Optimization of query evaluation algorithms // ACM Transactions on Database Systems, 4(2), 1979, pp. 133−155.
  202. Yu C.T., Luk W.S., Siu M.K. On the estimation of the number of desired records with respect to a given query // ACM Transactions on Database Systems, 3(1), 1978, pp. 41−56.
  203. Zaniolo C., Meklanoff M.A. On the design of relational database schemata // ACM Transactions on Database Systems, 6(1), 1981, pp. 1−47.
  204. Zaniolo C. A new normal form for the design of relational database schemata // ACM Transactions on Database Systems, 7(3), 1982, pp. 489−499.183
  205. Zaniolo С., Melkaoff M.A. A formal approach to the definition and the design of conceptual schemata for databased systems // ACM Transactions on Database Systems, 7(1), 1982, pp. 24−59.
  206. А.К. Практическое применение СУБД: Учебное пособие. -Липецк: ЛЭГИ, 2001. 63с.
Заполнить форму текущей работой

Заказал и сдал!