Расширение реляционной модели для лучшего отражения семантики


Расширения алгебры, допускающие неопределенные значения


Смысл двух наиболее важных типов неопределенного значения заключается в том, что "значение неизвестно в настоящее время" или "свойство неприменимо". Подход, при котором допускаются оба типа неопределенных значений, описан в работе [40]. Попытка достаточно общего решения проблемы оперирования неполной информацией описывается в [22]. Здесь мы ограничимся только первым типом неопределенного значения – "значение неизвестно в настоящее время" – и обозначим его ω (см. более подробное обсуждение в [5]). Следующую трактовку следует рассматривать как предварительную и нуждающуюся в дальнейшем исследовании.

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

Первый возникающий вопрос заключается в том, каково истинностное значение выражения x = y, если x или y, или то и другое является неопределенным значением? Уместным результатом в каждом из этих случаев является неизвестное истинностное значение, а не истина или ложь. В соответствии с этим, для использования при выборке данных из баз данных, которые могут содержать неопределенные значения, мы выбираем трехзначную логику. Будем использовать для обозначения неизвестного истинностного значения тот же самый символ "ω", поскольку истинностные значения могут храниться в базах данных, а мы хотели бы, чтобы интерпретация всех неизвестных и неопределенных значений была однородной. Трехзначная логика базируется на следующих таблицах истинности:

AND| F ω T OR| F ω T

| | F | F F F F | F ω T ω | F ω ω ω | ω ω T T | F ω T T | T T T




Начало  Назад  Вперед



Книжный магазин