Condiţii suficiente pentru scheme în formele normale trei şi Boyce-Codd

Abstract

În baza atributelor neesenţiale şi recuperabile se introduce condiţii ca o relaţie să fie în forma normală trei sau în Boyce-Codd. Aceste condiţii sunt doar suficiente, fiindcă nu sunt respectate de orice schemă ce se găseşte în forma normală trei sau Boyce-Codd. În afară de aceasta, în articol este propus un algoritm de normalizare, ţinând cont de aceste condiţii.

Based on nonessential and recoverable attributes are brought some conditions that make a relation to be in the third or Boyce-Codd normal form. These conditions are only sufficient, because there could be a schema that is in third or Boyce-Codd normal form but doesn’t satisfy them. In addition, in this paper, a normalization algorithm, that takes into account these conditions, is proposed.

A la base des attributs non essentiels et récupérables on propose les conditions qu’une relation soit dans une forme normale troisième ou Boyce-Codd. Ces conditions sont suffisantes parce qu’elles ne sont pas respectées par chaque schéma qui sont en forme normale troisième ou Boyce- Codd. En addition, dans cet article on présente un algorithme de normalisation en tenant compte de ces conditions.

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