RUS  ENG ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB
Общая информация
Последний выпуск
Архив
Импакт-фактор

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Модел. и анализ информ. систем:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Модел. и анализ информ. систем, 2017, том 24, номер 2, страницы 155–167 (Mi mais555)  

Анализ типизированных зависимостей включения с неопределенными значениями

В. С. Зыкинa, С. В. Зыкинb

a Омский государственный технический университет, просп. Мира, 11, г. Омск, 644050 Россия
b Институт математики им. С.Л. Соболева СО РАН, ул. Певцова, 13, г. Омск, 644043 Россия

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

Ключевые слова: база данных, зависимости включения, аксиоматика, неопределенные значения.

DOI: https://doi.org/10.18255/1818-1015-2017-2-155-167

Полный текст: PDF файл (527 kB)
Список литературы: PDF файл   HTML файл

Реферативные базы данных:

Тип публикации: Статья
УДК: 004.652.4
Поступила в редакцию: 24.08.2016

Образец цитирования: В. С. Зыкин, С. В. Зыкин, “Анализ типизированных зависимостей включения с неопределенными значениями”, Модел. и анализ информ. систем, 24:2 (2017), 155–167

Цитирование в формате AMSBIB
\RBibitem{ZykZyk17}
\by В.~С.~Зыкин, С.~В.~Зыкин
\paper Анализ типизированных зависимостей включения с~неопределенными значениями
\jour Модел. и анализ информ. систем
\yr 2017
\vol 24
\issue 2
\pages 155--167
\mathnet{http://mi.mathnet.ru/mais555}
\crossref{https://doi.org/10.18255/1818-1015-2017-2-155-167}
\elib{http://elibrary.ru/item.asp?id=29063999}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/mais555
  • http://mi.mathnet.ru/rus/mais/v24/i2/p155

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles
  • Моделирование и анализ информационных систем
    Просмотров:
    Эта страница:86
    Полный текст:28
    Литература:11
     
    Обратная связь:
     Пользовательское соглашение  Регистрация  Логотипы © Математический институт им. В. А. Стеклова РАН, 2019