RUS  ENG
Полная версия
ЖУРНАЛЫ // Труды Института математики и механики УрО РАН // Архив

Тр. ИММ УрО РАН, 2016, том 22, номер 3, страницы 117–129 (Mi timm1326)

Эта публикация цитируется в 3 статьях

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

С. В. Зыкин

Омский филиал Института математики им. С. Л. Соболева Сибирского отделения Российской академии наук

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

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

УДК: 004.652.6

MSC: 68P15

Поступила в редакцию: 10.10.2015

DOI: 10.21538/0134-4889-2016-22-3-117-129



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


© МИАН, 2024