banco de dados de modelo relacional do algoritmo de decomposição ciência louca

Decomposição de esquema relacional

Um esquema relacional R <L, F> em vários esquema relacional R1 <U1, F1>, R2 <U2, F2>, ..., Rn <Un, Fn> (onde L = U1∪U2∪ ... ∪Un, e há Ui⊈Uj, Ri é F projectada no Ui), significa que os dados correspondentes são armazenados numa tabela bidimensional t disperso dentro de uma pluralidade de tabelas bidimensional t1, t2, ..., tn ir (onde ti t é a projecção sobre o conjunto de atributos Ui). afirmou queρ = {R1, R2, ..., Rk} é uma vista explodida do esquema relacional R.

modelo Relações processo de normalização é através do padrão de decomposição de relacionamentos para alcançar , mas o esquema relacional de baixo nível na abordagem esquema relacional vários de alto nível não é única. Nestes método de decomposição, apenas para assegurar que o esquema relacional decomposto e esquema relacional é equivalente ao método original faz sentido.

关系模式分解等价性的三个判定准则：
 (1)分解具有“无损连接性”。
 (2)分解要“保持函数依赖”。 
 (3)分解既要“保持函数依赖”，又要具有“无损连接性”。 
 

Lossless juntar decomposição

Se um modelo relacional é decomposto na relação entre dois modos é relativamente fácil de decompor determina se a conectividade sem perdas. No entanto, se a relação entre um modelo dividido em três ou mais relacional modelo, para determinar se a conectividade decomposição destrutiva exige um algoritmo relativamente sofisticado.
O caso será dividido em dois modos, os seguintes critérios especiais podem ser empregadas.

Dois decomposição teorema:
relacional esquema R (L, M) é uma vista explodida ρ = {R 1 (U1, F1 ), R2 (U2, F2)}
ter uma conectividade sem perdas condições necessárias e suficientes sãoU1∩U2→U1-U2∈F+ 或 U1∩U2→U2-U1∈F+
exemplos:

将给定的关系模式 R(U,F),U= {A,B,C,D},F={A→B,B→C,A→D}, 有如下两个分解： ρ1={ ABC,ACD} ρ2={ ABD,BC} 并检验这两个分解的无损连接性
. 解：可根据无损连接充分必要条件判断本题：
 (1)因为 ABC∩ACD =C
  ABC-ACD=B
   ACD-ABC=D 所以 C→B不属于F+ ，C→D不属于F+ 故ρ1为有损连接. 
   (2)因为 ABD∩ABC=A   
   ABD-ABC=D 
   ABC-ABD=C 所以 A→D∈F+ 故ρ2为无损连接. 注意：尽管 A→C不属于F+,但根据无损连接充分必要条件只要满足一个即可,故ρ2为无损 连接.
   

Verificando algoritmo:
Entrada: relacional esquema R (A1, A2, ..., An), dependência funcional conjunto F, decomposição ρ = {R1, R2, ... , Rk}.
Saída: [rho] determinar se a conectividade sem perdas.
Método
(1)构造一个 k 行 n 列的表,第 i 行对应于关系模式 Ri,第 j 列对应于属性 Aj.如果 Aj∈Ri, 则在第 i 行第 j 列上放符号 aj,否则放符号 bij. (2)重复考察 F 中的每一个函数依赖,并修改表中的元素.其方法如下：取 F 中一个函 数依赖 X→Y,在 X 的分量中寻找相同的行,然后将这些行中 Y 的分量改为相同的符号, 如果其中有 aj,则将 bij改为 aj；若其中无 aj,则全部改为 bij(i 是这些行的行号最小值). (3)如果发现表中某一行变成了 a1,a2,…,an,则分解ρ具有无损连接性；如果 F 中所 有函数依赖都不能再修改表中的内容,且没有发现这样的行,则分解ρ不具有无损连接性.

exemplo

Fornecida relacional esquema R (G, H, L, M, O), F = {GL → O, O → M, G → H, H → H}, determina a decomposição ρ = {R 1 (GHL), R2 (MO) , R3 (GLO)} se conexão sem perdas.
tabela bidimensional da seguinte forma:

Tabela modificado como se segue:

tabela modificada pode ser visto que a primeira linha aparece a1, a2, a3, a4, a5, de modo que a conectividade de decomposição não-destrutivos.

Segurando a função de divisão dependente

meios de suporte de decomposição dependência funcional em função do processo de decomposição características do modo dependente não pode ser perdido, e não pode destruir a semântica modo decomposição originais.
Visto a partir da definição, a dependência função manter meios é uma vista explodida:Quando R a decomposição do esquema relacional, sem perda de semântica, e após a decomposição do original padrão de função R dependência, estão dispersos na decomposição sub-mode

processo de decisão:

R & conjunto lt (L, M) é um esquema relacional, onde L é o conjunto dos atributos do seu todo, F é uma função do seu conjunto de dependência, Z contido em L, pôr tudo da dependência função F + Z é referido como um conjunto de M projectado no Z, denotado Πz (F), isto é
Πz (F) = {X → Y | (X → Y∈F +) e (XY contido em Z)}
é fornecido a um esquema relacional R explodida ⍴ = {R 1 , R2, ..., Rk}, F é uma função dependente conjunto R, se M é equivalente à relação entre a decomposição e cada conjunto tem uma dependência funcional chamado decomposição retenção ρ

Exemplos:

Desde esquema relacional R = {cidade, rua, postalCode ) representa o código postal de cada ruas da cidade, onde a propriedade representam cidade, nome da rua, e código postal, F = {(cidade, rua ) → postalCode, postalCode → CITY)}. Se R é decomposto em ⍴ = {R 1, R 2}, onde R1 = {RUA, postalCode}, R2 = {CIDADE, postalCode}. Esta decomposição é determinado se a ligação permanece intacta e a dependência funcional.
Solução: As condições necessárias e suficientes para a ligação sem perdas, uma vez que R1∩R2=POSTALCODE, R2-R1=CITY, POSTALCODE→CITYele está ligado para esta decomposição é sem perdas.
As definições dependência funcional e F1 = ΠR1 (F) = conjunto vazio, F2 de ΠR2  = (F.)} = {postalCode → o CIDADE
F1∪F2 o CIDADE} = {postalCode → ≠ F. Portanto, esta decomposição não permanece dependência funcional

resumo do caso

Analisar a seguir à decomposição se sem perdas ligando dependência funcional e retenção.
esquema relacional (1) é fornecido S1 (A, B, C) , dependências funcionais como F1 = {A → B} incorporada na R & lt, ró] 1 = {AB, AC}
(2) fornecida esquema relacional S2 (A, B, C), dependências funcionais como F2 = {a → C, B → C} configurado no lt R &, [rho] 2 = {AB, AC}
(. 3), disposta esquema relacional S3 (a, B, C) , dependências funcionais como F3 = {a → B, B → C} no estabelecimento de R, ρ3 = {AC, AC}
solução: (1) permitem que R1 = AB, R2 = AC porque (R1∩R2) → R1-R2 ou seja, a → B, portanto ρ1 com respeito a conexão F1 sem perdas. E porque ПAB (F1) ∪ПAC (F1) = {A} → B é equivalente à Fórmula 1, de modo que F1 é uma ρ1 exploração em relação à decomposição das dependências funcionais.

(2) permitem que R1 = AB, R2 = AC porque (R1∩R2) → R2-R1 isto é, A → C, de modo a que F2 é um não-destrutiva em relação à ligação ρ2. E porque ПAB (F2) ∪ПAC (F2) = {A → C} e F2 não são equivalentes, perdeu B → C, F2 de modo ρ2 com respeito à dependência funcional não é mantido.

(3) permitem que R1 = AC, R2 = BC porque (R1∩R2) = C, R1-R2 = A, R2-R1 = B, C → A e C → B não são satisfeitas, o ρ3 não aderir sem perdas com respeito F3 . E porque ПAC (F3) ∪ПBC (F3) = {B → C) e F3 não são equivalentes, de modo a perder a ρ3 Um → B em relação a F3 não se baseiam em função de exploração.