Рассматривается расширение реляционной модели баз данных на отношения, в которых каждый кортеж снабжен оценкой истинности в подходящей дистрибутивной решетке, заменяющей классическую двухэлементную булеву алгебру.

Доклад состоит из двух частей. В первой части описывается алгебраическая структура расширенной модели данных.

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

Оказалось, что основные теоретические результаты теоремы Армстронга остаются в силе для всех возможных решеток. Однако значительно расширяется запас примеров и появляется новый неожиданный эффект разложимости отношений.

Описываемая модель связывает классическую реляционную алгебру с теорией нечетких (размытых) отношений и поэтому может рассматриваться как одно из связующих звеньев между теорией баз данных и исследованиями в области искусственного интеллекта.