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