Научная статья на тему 'Теоретическое обоснование обеспечения целостности доменов в базовой структуре облачных информационных систем'

Теоретическое обоснование обеспечения целостности доменов в базовой структуре облачных информационных систем Текст научной статьи по специальности «Компьютерные и информационные науки»

CC BY
170
16
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ЦЕЛОСТНОСТЬ / ДОМЕН / ДЕКАРТОВОЕ ПРОИЗВЕДЕНИЕ / ОТОБРАЖЕНИЕ / ИНЪЕКТИВНОСТЬ / СЮРЪЕКТИВНОСТЬ / БИЕКТИВНОСТЬ / МНОЖЕСТВО / ОБЛАЧНЫЙ / БАЗОВАЯ СТРУКТУРА / INTEGRITY / DOMAIN / CARTESIAN PRODUCT / MAPPING / INJECTIVITY / SURJECTIVITY / BIJECTIVITY / SET / CLOUD / BASIC STRUCTURE

Аннотация научной статьи по компьютерным и информационным наукам, автор научной работы — Турсунов Нурмамат Холматович

Как известно, обеспечение целостности данных в базе данных имеет три составляющих: обеспечение целостности доменов, обеспечение целостности таблиц и обеспечение ссылочной целостности. В статье рассматривается теоретическое обоснование обеспечения целостности доменов в базовой структуре облачных информационных систем. Одним из ключевых вопросов обеспечения целостности данных в базовой структуре облачной информационной системы является обеспечение целостности доменов. Обеспечение целостности доменов не позволяет ввести в базу бессмысленные данные. Статья посвящена решению этих проблем.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по компьютерным и информационным наукам , автор научной работы — Турсунов Нурмамат Холматович

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Текст научной работы на тему «Теоретическое обоснование обеспечения целостности доменов в базовой структуре облачных информационных систем»

ТЕОРЕТИЧЕСКОЕ ОБОСНОВАНИЕ ОБЕСПЕЧЕНИЯ ЦЕЛОСТНОСТИ ДОМЕНОВ В БАЗОВОЙ СТРУКТУРЕ ОБЛАЧНЫХ ИНФОРМАЦИОННЫХ СИСТЕМ Турсунов Н.Х. Email: Tursunov1155@scientifictext.ru

Турсунов Нурмамат Холматович - кандидат технических наук, старший преподаватель,

кафедра современных информационных и коммуникационных технологий, Международная исламская академия Узбекистана, г. Ташкент, Республика Узбекистан

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

Ключевые слова: целостность, домен, декартовое произведение, отображение, инъективность, сюръективность, биективность, множество, облачный, базовая структура.

THEORETICAL JUSTIFICATION OF ENSURING THE INTEGRITY OF DOMAINS IN THE BASIC STRUCTURE OF CLOUD INFORMATION SYSTEMS Tursunov N.Kh.

Tursunov Nurmamat Kholmatovich - Candidate of Technical Sciences, Senior Lecturer, DEPARTMENT MODERN INFORMATION AND COMMUNICATION TECHNOLOGIES, INTERNATIONAL ISLAMIC ACADEMY OF UZBEKISTAN, TASHKENT, REPUBLIC OF UZBEKISTAN

Abstract: аs is known, ensuring the integrity of data in a database has three components: ensuring the integrity of domains, ensuring the integrity of tables and ensuring referential integrity. The article discusses the theoretical rationale for ensuring the integrity of domains in the basic structure of cloud information systems. One of the key issues of ensuring data integrity in the basic structure of the cloud information system is ensuring the integrity of domains. Ensuring the integrity of the domains does not allow entering into the database of meaningless data. The article is dedicated to solving these problems.

Keywords: integrity, domain, Cartesian product, mapping, injectivity, surjectivity, bijectivity, set, cloud, basic structure.

УДК 681.5

В последнее время в среде создателей очень широко обсуждаются вопросы создания и эффективное использование облачных информационных систем [3, 4, 5]. Облачные вычислительные системы обеспечивает легкий и удобный доступ к общим вычислительным ресурсам через сети передачи данных. В качестве вычислительных ресурсов рассматриваются: сети передачи данных, серверы, устройства хранения данных, прикладные программы, сервисные приложения и другие. В области облачных вычислений большинство поставщиков услуг не только предоставляют доступ к платформам облачных вычислений, но и создают специализированные системы облачных вычислений, которые отвечают технологическим и нормативным требованиям заказчика. Облачные информационные системы в основном разрабатываются двумя способами. В первом способе будет разрабатываться базовая структура облачной информационной системы, а затем базовая конфигурация будет

трансформироваться в облачный сервис. Во втором способе сначала формируется облако, и все разработки реализуются в облаке. Оба направления имеют свои недостатки и преимущества. Рассмотрим первый способ, т.е., сначала разрабатывается базовая структура облачной информационной системы. При разработке базовой структуре необходимо обеспечивать целостности информации в базе данных [2]. Целостность данных означает, что все данные накопленный в базе данных облачной информационной системе, собрано в соответствии с некоторым заранее установленным правилам и не противоречить друг другу. В современных базах данных широко используется система управление базой данных реляционного типа. Реляционная модель в реляционной базе данных имеет состав установленных правил для обеспечения целостности данных. Правила, служит для обеспечения целостности информации в реляционной базе данных. В качестве этих правил можно рассматривать следующее: ограничение домена, ограничения таблицы и ссылочное ограничение.

Ограничение домена означает, что каждое значение поля домена является элементом домена. Целостность домена гарантирует, что база данных не содержит бессмысленных данных. Следовательно, значения в столбце есть значения столбца домена, то есть образует множество возможных значений домена. Другими словами, строка таблицы не включается в таблицу, если каждый элемент строки не принадлежит соответствующему домену столбца. Кроме того, значения в таблице должны отличаться, по крайней мере, для одного элемента, чтобы обеспечить целостность домена. То есть запрещается иметь повторяющиеся строки.

Теперь теоретически обоснуем обеспечения целостности домена в реляционной базе данных. Основу реляционной модели образует понятие «отношение» [1]. Отношение определяется как подмножество декартового произведения доменов. Домен - это множество определенных отношений. Элементу отношений свойственн некоторый признак или свойство.

Предположим, заданы домены Б1,Б2, . . . ,Бп. Их декартовое произведение Б определяется следующим образом:

Б = Б1хБ2хБ3х. . . хБп,

Здесь Бг = (й; 1(й;2, ... ,й п}, и 1 < г <п.

VёЕ Б называется кортежом из п элементов и определяется как:

О = {£*!!. £*22.£*З3.....&Пп}, 1 </ <«.

Введем понятие отношение в декартовом произведение. Отношением Я называется ЛС Б = Б1хБ2х . . . хБп . То есть отношение есть множество кортежей, которые состоит из п элементов. По другому элементы отношение есть кортежы. Количество элементов кортежа определяет размерность отношений. Если кортеж состоит п из элементов, то отношение тоже состоит из п элементов.

Поскольку отношение есть множество, то оно не должно иметь два одинаковых кортежа. Кроме того, совершенно не важно в каком порядке в отношении расположены кортежы. В реляционной базе данных, отношение удобно представить в виде таблицы. Столбец этой таблицы соответствует домену, а домен есть компонент декартового произведения. Каждая строка есть кортеж, длина которого соответствует количеству доменов в декартовом произведение. Таблица, отображающая отношение, имеет следующие свойства:

1) Каждая строка есть кортеж, состоящий из элементов, и каждый элемент принадлежит соответствующему домену;

2) Порядок столбцов установлен заранее;

3) Произвольные две строки друг от друга отличаются хотя бы одним элементом.

По смыслу операций обработки данных, кортежи может обрабатываться в любом порядке.

Теперь приведем математическую основу обеспечения целостности доменов. Пусть Б = Б1хБ2хБ3х . . . хБп декартовое произведение. Кроме этого задано отображение /: Б -» N . То есть, отображение / отображает декартовую произведению Б на множество натуральных чисел N. В таких условиях справедлива следующая теорема.

Теорема. Для обеспечения целостности домена D отображение f: D — N должно быть биективным.

Доказательство. Во-первых, для V d 6 D справедливо 3 к 6 N => к = f(d). То есть отображение f инъективно. Потому что, D состоит из множества кортежей, и любому кортежу из D в N можно найти соответствующую цифру.

Во-вторых, для V d1,d2 6 D справедливо d1 Ф d2 => к1 = f(d1) Ф к2 = f(d2). То есть отображение f сюръективна. Потому что, D состоит из множество кортежей, и любые два кортежа отличается друг от друга хотя бы с одным элементом. Согласно свойству реляционных баз данных кортежи с совпадающими значениями в базе не существует.

Значит, отображение f одновременно и инъективно, и сюръективно. Отсюда вытекает, что оно биективно. Теорема доказана.

В качестве результата этой теоремы можно привести следующее. Биективность отображение f: D N означает что, существует первичный ключ, который взаимно однозначно идентифицирует строки таблицы. Этот ключ позволяет устанавливать порядок в таблицы что, строки таблицы точно отличается друг от друга. Две значения натуральных чисел не совпадает.

Обеспечение целостности доменов означает что, межтабличные связи в базе данных реляционного типа являются надежными и строго определенном порядке. Обеспечение целостности данных в базе данных достаточно серъезная и сложная задача. Доказательство теоремы позволяет удовлетворить требуемую теоретическую основу.

Выше было отмечано, что база данных базируется на реляционной модели, реляционная модель в свою очередь основывается на понятии отношения. Значит отношение является базовым понятием реляционной базы данных. Отношение можно использовать и в других целях. Например, отношение также можно использовать для представления множества объектов, а также для описания межобъектных связей в множестве объектов.

В первом случае, то есть при описании множества объектов в виде отношений, атрибуты объектов представляются как соответствующие домены отношений, а возможные значения атрибутов как кортежи из соответствующих доменов. Каждый кортеж описывает отдельно взятый объект из множества объектов. Отношение в этом случае представляет вес множества объектов.

При описании с помощью отношений межобъектных связей, связь представляется в следующем виде. Пусть O1,O2, . . . ,Ок объекы. Кортеж rt является элементом отношение R и ассоцирует объектов.

ri = (o1i±... ,0кlk), где

01 h 6 O1 % 6 Ог .. . , 0klk 6 Ок.

Чтобы реализовать этот случай, к столбцам отношений R ставиться в соответствии ключевой атрибут из множество объектов. Наличие кортежа rt в отношение R, ассоцирует связь объектов ., как средства описываемые с помощью отношения R.

Заключение. Обеспечение целостности данных в базе данных достаточно серьезная и сложная задача. Требует серьезные теоретические выкладки. Одним из ключевых вопросов обеспечения целостности данных в базовой структуре облачной информационной системы является обеспечение целостности доменов. Обеспечение целостности доменов не позволяет ввести в базу бессмысленных данных. Доказанная теорема показывает, что теоретически можно обосновать обеспечение целостности доменов.

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

1. Григорьев Ю.А., Ревунков Г.И. Банки данных. Москва. Издателство МГТУ им.

Н.Э. Баумана, 2002.

2. Бобровски С. Oracle 7 и вычисления клиент/сервер. Перевод с английского Орлова С.

Издательство ЛОРИ, 1995.

3. Карр Николас. «Великий переход»- что готовит революция облачных технологий. Издательство Манн, Иванов и Фербер,2014.

4. Широкова Е.А. Облачные технологии. Уфа: Лето, 2011.

5. Монахов Д.Н., Монахов Н.В, Прончев Г.Б, Кузьменков Д.А. Облачные технологии. Теория и практика. М.: МАКС Пресс, 2013.

i Надоели баннеры? Вы всегда можете отключить рекламу.