«Я думаю, что B + обозначает замыкание B»
Это обычно подразумевается при добавлении знака плюса к чему-либо, однако это «что-то» в контексте функциональных зависимостей и теории нормализации должнообратитесь к набору функциональных зависимостей .
B +, где B - один из атрибутов, все еще не имеет смысла для любого соглашения, о котором я знаю.
Итак, чтобы ответитьвопрос, который OP предположительно намеревался задать, если мы назовем S его заданным набором FD {A-> BCD D-> A ...}, то S + - это другой набор FD, который включает ВСЕ FD, которые могут быть получены изданный набор, дополненный всеми тривиальными зависимостями, такими как A-> A.
Например, из A-> BCD и A-> A, мы можем вывести A-> ABCD.Из D-> A и A-> BCD мы можем вывести D-> BCD.Эти предполагаемые FD являются членами S +, но не являются S.
(PS этот набор обычно не особенно полезен, если только внутри систем, которые выполняют вычисления на наборах FD, таких как, возможно, автоматизированные алгоритмы определения ключа)