Устранение
?-полусоединения: Из интуитивных соображений ?-полусоединение можно переписать как соединение, за которым следует проекция, если предикат соединения вместе с функциональными зависимостями правого операнда ?-полусоединения гарантируют, что для каждого кортежа левого операнда выбирается не более одного кортежа левого операнда. Это интуитивное соображение формально фиксируется в следующем правиле преобразования:
где E2.y является суперключом E2, и g(attrs(E1) – это функция от атрибутов E1, возвращающая кортеж той же арности, что и E2.y.
Мы представили характерный образец правил эквивалентности, включающих операцию ?-полусоединения. Более полный набор правил эквивалентности представлен в [SSS95].
