Окончание доказательства оставляется читателю в качестве упр. Его основная идея заключается в том, чтобы показать, ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Майер Д.N.
Теория реляционных баз данных
Окончание доказательства оставляется читателю в качестве упр. Его основная идея заключается в том, чтобы показать, что в случае, когда схема R циклична и является уникальной декомпозицией, но тем не менее обладает множеством сочленения, можно найти меньший контрпример к утверждению леммы, используя разбиение R на части, определяемые этим множеством сочленения.