Атомарным отношением называется отношение, которое невозможно декомпозировать на независимые проекции. Далеко не всегда для неатомарных (не являющихся атомарными) отношений требуется декомпозиция на атомарные проекции. Например, отношение СЛУЖ2 {СЛУ_НОМ, СЛУ_ЗАРП, ПРО_НОМ} с множеством FD {СЛУ_НОМ
Напомним из лекции 3, что атомарность
значения трактуется в том смысле, что значение типизировано, и с этим значением можно работать только с помощью операций соответствующего типа данных.
Неключевым атрибутом называется атрибут, не входящий ни в один возможный ключ.
В определении предполагается, что у отношения имеется только один возможный ключ.
Очевидно, что FD называется нетранзитивной тогда и только тогда, когда она не является транзитивной.
В этом определении опять предполагается, что у отношения имеется только один возможный ключ.
Теоретически возможная третья декомпозиция отношения СЛУЖ на отношения СЛУЖ2 {СЛУ_НОМ, СЛУ_ЗАРП} и УРОВ {СЛУ_УРОВ, СЛУ_ЗАРП} не является декомпозицией без потерь. Чтобы убедиться в этом, рассмотрите случай, когда для двух разных разрядов сотрудников назначен один и тот же размер зарплаты. Покажите также, что для этой декомпозиции не выполняются условия теоремы Хита.
Т.е. выводится на основе аксиом Армстронга.