Teoretičeskaâ i prikladnaâ nauka Theoretical & Applied Science 07 (75) 2019 International Scientific Journal Theoretical & Applied Science Founder: International Academy of Theoretical & Applied Sciences Published since 2013 year. Issued Monthly. International scientific journal «Theoretical & Applied Science», registered in France, and indexed more than 45 international scientific bases. Editorial office: http://T-Science.org Phone: +777727-606-81 E-mail: [email protected] Editor-in Chief: Hirsch index: Alexandr Shevtsov h Index RISC = 1 (78) Editorial Board: 1 Prof. Vladimir Kestelman USA h Index Scopus = 3 (38) 2 Prof. Arne Jönsson Sweden h Index Scopus = 4 (21) 3 Prof. Sagat Zhunisbekov KZ - 4 Assistant of Prof. Boselin Prabhu India - 5 Lecturer Denis Chemezov Russia h Index RISC = 2 (61) 6 Senior specialist Elnur Hasanov Azerbaijan h Index Scopus = 6 (11) 7 Associate Prof. Christo Ananth India h Index Scopus = - (1) 8 Prof. Shafa Aliyev Azerbaijan h Index Scopus = - (1) 9 Associate Prof. Ramesh Kumar India h Index Scopus = - (2) 10 Associate Prof. S. Sathish India h Index Scopus = 2 (13) 11 Researcher Rohit Kumar Verma India - 12 Prof. Kerem Shixaliyev Azerbaijan - 13 Associate Prof. Ananeva Elena Pavlovna Russia h Index RISC = 1 (19) 14 Associate Prof. Muhammad Hussein Noure Elahi Iran - 15 Assistant of Prof. Tamar Shiukashvili Georgia - 16 Prof. Said Abdullaevich Salekhov Russia - 17 Prof. Vladimir Timofeevich Prokhorov Russia - 18 Researcher Bobir Ortikmirzayevich Tursunov Uzbekistan - 19 Associate Prof. Victor Aleksandrovich Melent'ev Russia - 20 Prof. Manuchar Shishinashvili Georgia - ISSN 2308-4944 0 7 © Сollective of Authors 9 7 7 2 3 0 8 4 9 4 1 9 5 © «Theoretical & Applied Science» International Scientific Journal Theoretical & Applied Science Editorial Board: Hirsch index: 21 Prof. Konstantin Kurpayanidi Uzbekistan h Index RISC = 8 (67) International Scientific Journal Theoretical & Applied Science ISJ Theoretical & Applied Science, 07 (75), 470. Philadelphia, USA Impact Factor ICV = 6.630 Impact Factor ISI = 0.829 based on International Citation Report (ICR) The percentage of rejected articles: ISSN 2308-4944 0 7 9 7 7 2 3 0 8 4 9 4 1 9 5 ISRA (India) = 3.117 SIS (USA) = 0.912 ICV (Poland) = 6.630 ISI (Dubai, UAE) = 0.829 РИНЦ (Russia) = 0.156 PIF (India) = 1.940 Impact Factor: GIF (Australia) = 0.564 ESJI (KZ) = 8.716 IBI (India) = 4.260 JIF = 1.500 SJIF (Morocco) = 5.667 OAJI (USA) = 0.350 QR – Issue QR – Article SOI: 1.1/TAS DOI: 10.15863/TAS International Scientific Journal Theoretical & Applied Science p-ISSN: 2308-4944 (print) e-ISSN: 2409-0085 (online) Year: 2019 Issue: 07 Volume: 75 Published: 12.07.2019 http://T-Science.org Vadim Andreevich Kozhevnikov Peter the Great St.Petersburg Polytechnic University Senior Lecturer [email protected] Alina Alekseevna Shmagina Peter the Great St.Petersburg Polytechnic University student [email protected] THE SYSTEM OF AUTOMATIC CHECK OF WORK TO NORMALIZE RELATIONS Abstract: We have developed a system designed for students to perform work on the normalization of relations and the subsequent automatic verification by the teacher of this work. The software allows to speed up the testing work and to exclude the subjectivity of the assessment. The work assessment algorithm developed and implemented in the program allows you to point out errors in the student’s work and display a message if the work is not credited. This program allows you to perform the normalization of relations and can be used not only for training purposes, but in designing databases. Key words: automatic check of normalization of relations, relational database, normalization of databases, normal form, functional dependence, decomposition. Language: Russian Citation: Kozhevnikov, V. A., & Shmagina, A. A. (2019). The system of automatic check of work to normalize relations. ISJ Theoretical & Applied Science, 07 (75), 101-108. Soi: http://s-o-i.org/1.1/TAS-07-75-18 Doi: https://dx.doi.org/10.15863/TAS.2019.07.75.18 Classifiers: Computer science, computer engineering and automation. СИСТЕМА АВТОМАТИЧЕСКОЙ ПРОВЕРКИ РАБОТ ПО НОРМАЛИЗАЦИИ ОТНОШЕНИЙ Аннотация: Описана система, предназначенная для выполнения студентами работы по нормализации отношений и последующей автоматической проверки преподавателем этой работы. Программа дает возможность ускорить проверку работ и исключить субъективность оценки. Разработанный и реализованный в программе алгоритм оценивания работы позволяет указать на ошибки в работе студента и вывести сообщение в случае, если работа не зачтена. Данная программа позволяет выполнять нормализацию отношений и может быть использована не только в обучающих целях, но и при проектировании баз данных. Ключевые слова: автоматическая проверка нормализации отношений, реляционная база данных, нормализация баз данных, нормальная форма, функциональная зависимость, декомпозиция. Введение письменном виде и сдаются на проверку Нормализация отношений является очень преподавателю. Проверка выполненных работ важной частью процесса проектирования баз занимает немало времени (с учетом данных. В процессе обучения студентов по переписываний, их количество может достигать дисциплинам, связанных с проектированием баз несколько сотен в семестр) и не исключает данных, проводятся проверочные работы по возможность допущения ошибок при проверке. нормализации отношений. Работы выполняются в Поэтому целью создания системы является Philadelphia, USA 101 ISRA (India) = 3.117 SIS (USA) = 0.912 ICV (Poland) = 6.630 ISI (Dubai, UAE) = 0.829 РИНЦ (Russia) = 0.156 PIF (India) = 1.940 Impact Factor: GIF (Australia) = 0.564 ESJI (KZ) = 8.716 IBI (India) = 4.260 JIF = 1.500 SJIF (Morocco) = 5.667 OAJI (USA) = 0.350 помощь преподавателю при проверке работ, должны появиться новые атрибуты, то ускорение процесса проверки, избежание необходимо использовать естественное возможных ошибок и субъективности при соединение. Таким образом, без дополнительных оценивании. В ходе изучения предметной области ограничений на отношение нельзя говорить о прямых аналогов подобной системы найти не декомпозиции без потерь. Такими удалось, поэтому создание данной системы дополнительными ограничениями и являются представляется весьма актуальным. функциональные зависимости. Основной смысл Разработанная система по автоматической теоремы Хеза заключается в доказательстве того, проверке работ по нормализации отношений что при этом не появятся новые кортежи, позволит существенно сократить время проверки отсутствовавшие в исходном отношении. работ, уменьшить нагрузку на преподавателя, Современные СУБД не предусматривают исключить возможность человеческого фактора. автоматизацию процесса нормализации. Для студентов - ускорит процесс выполнения Следовательно, задача по автоматической задания, не снижая степени сложности. На базе нормализации отношений остается актуальной. созданной системы путем небольшой Мы проанализировали существующие алгоритмы модификации можно создать программу, которая [4-7], которые осуществляют автоматическую позволит выполнять полуавтоматическую нормализацию до третьей нормальной формы или нормализацию отношений в реальном времени, до нормальной формы Бойса-Кодда. Среди что при применении в учебных целях позволит существующих подходов в области студентам лучше понять значимость автоматической нормализации отношений нормализации в проектировании баз данных, и следует отметить работу [8]. В ней описывается наглядно продемонстрирует процесс работа программы, которая автоматизирует нормализации. процесс нормализации отношения по алгоритму И.А. Зорина. Алгоритм основан на графовом Анализ существующих подходов к анализе и позволяет формализовать процесс автоматической нормализации отношений выполнения нормализации реляционной базы Для обеспечения целостности данных при данных. Однако рассмотренный алгоритм имеет проектировании баз данных используется существенное ограничение функциональности: он процедура нормализации. Процесс нормализации обеспечивает перевод проектируемой БД к выявляет зависимости между атрибутами третьей нормальной форме на основе исходного отношения и позволяет снизить рассмотрения в предметной области только избыточность хранимых данных, устранить нетривиальных зависимостей вида A→C и не аномалии добавления, удаления и модификации устраняют возможные многозначные [1- 3]. Нормализация - это процесс приведения зависимости, например, между ключевым (A) и исходного отношения к нормальным формам. неключевым (C) атрибутами в приведенном к Другими словами, нормализация – это разбиение 3НФ отношении (т.е. если семантически C отношения на две и более таблицы, которые является многозначным атрибутом для обладают лучшими свойствами при добавлении, некоторого объекта). Приведение БД к изменении и удалении данных. Существует семь нормальной форме Бойса-Кодда (НФБК) с нормальных форм, но в рамках выполнения использованием этого алгоритма невозможно. данной работы рассматриваются шесть – 1 НФ, 2 Данный программный продукт позволят НФ, 3 НФ, НФБК, 4НФ, 5НФ. Мы не будем автоматически нормализовать отношение. Все приводить здесь определения нормальных форм, рассмотренные нами алгоритмы по подразумевая, что читателю они хорошо известны автоматической нормализации приводят исходное (см., например [1-3]), напомним только важное отношение только к 3НФ или, в лучшем случае, к свойство нормальных форм, заключающееся в НФБК. Как пишут авторы алгоритмов, приведение том, что по определению - если отношение исходного отношения до 3НФ вполне достаточно находится в какой-то нормальной форме, то оно для поддержания целостности базы