Окончание доказательства оставляется читателю в качестве упр. Его основная идея заключается в том, чтобы показать, ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Майер Д.N. Теория реляционных баз данных


Окончание доказательства оставляется читателю в качестве упр. Его основная идея заключается в том, чтобы показать, что в случае, когда схема R циклична и является уникальной декомпозицией, но тем не менее обладает множеством сочленения, можно найти меньший контрпример к утверждению леммы, используя разбиение R на части, определяемые этим множеством сочленения.

(cкачать страницу)

Смотреть книгу на libgen

 Окончание доказательства оставляется читателю в качестве упр.  Его основная идея заключается в том,  чтобы показать,  что в случае,  когда схема R циклична и является уникальной декомпозицией,  но тем не менее обладает множеством сочленения,  можно найти меньший контрпример к утверждению леммы,  используя разбиение R на части,  определяемые этим множеством сочленения.