Database Programming & Design




Порождаемость, избыточность и согласованность - часть 2


Кодд говорит, что система должна иметь информацию о любой избыточности в данном наборе отношений, чтобы она могла обеспечивать согласованность; набор будет согласованным, если он соответствует установленным избыточностям. Однако я должен заметить, что в этом определении согласованности не учитываются все аспекты целостности, а концепция строгой избыточности не охватывает все возможные виды избыточности. В качестве простого контрпримера рассмотрим базу данных, содержащую всего одно отношение EMP {EMP#, DEMP#, BUDGET}, в котором удовлетворяются следующие функциональные зависимости:

EMP# -> DEPT# DEPT# -> BUDGET

В этой базе данных определенно присутствует некоторая избыточность, хотя она не является "строго" избыточной в соответствии с определением.

Я должен объяснить, почему Кодд использует термин строгая избыточность. Он делает это для того, чтобы отличить ее от избыточности другого рода, также определенной в статье и называемой слабой избыточностью. Однако я опускаю детали, потому что в отличие от любого другого понятия, введенного в первых двух статьях, это конкретное понятие, как кажется, не привело к чему-либо значительному. (Во всяком случае, приведенный в статье пример не соответствует даже собственному определению Кодда.) За конкретными деталями читатель отсылается к оригиналу статьи.




Содержание  Назад  Вперед