數(shù)據(jù)備份有效的防止自然災害給企業(yè)造成的損失
當模式分解的日標為某種范式l對,這種分解過程稱為規(guī)范化,規(guī)范化過程涉及較深的理論基礎(chǔ)小章以介紹原理和算法為主,略去許多煩瑣的證明:泛關(guān)系假設(shè),同一個問題給出了兩種邏輯模式,問題是這兩種模式等價嗎?即兩種模式所表示的價息最是否一致?還有在現(xiàn)實世界中,屬性是描述實體的,那么將一個實俸一分為二或?qū)⒁粋€屬性加入到一個實體中是否會破壞應用體現(xiàn)實世界的信息結(jié)構(gòu)呢?后面將逐步回答這些問題。
首先,模式分解實際上足將屬性進行重新組合這就要求屬性的含義在各個模式中郁相同。規(guī)則將產(chǎn)生混亂,為此科學家提出了著名的泛關(guān)系假設(shè)。泛關(guān)系假設(shè):認為存在一個包含應用體數(shù)據(jù)庫中所有屬性的大表,使得數(shù)據(jù)庫中的每一個表都是該大表的投影(取其某些屬性上的值構(gòu)成的表)該大表就稱為泛關(guān)系,對應的模式稱為泛模式。
實際泛關(guān)系假設(shè)有泛模式假設(shè)、聯(lián)系唯一性假設(shè)和同味似設(shè)等i個假設(shè) I-面介紹的只是泛模式假設(shè)。于將數(shù)據(jù)庫中的所有數(shù)據(jù)肴成一個泛關(guān)系,或者說所有的屬性可以組成…J個泛模式,根據(jù)關(guān)系摸制的定義,在一個模式中屬性名是Ⅱ筐一J的,從而可以得;I{:泛關(guān)系假設(shè)保證了數(shù)據(jù)庫中屬性名具有唯一性:,這使得脫離具體的關(guān)系‘討論屬性變得有意義,就是說可以不必考慮屬性的實際含義(即不考慮屬性是描述什么實體的什么特征),即可似將規(guī)范化過程完余數(shù)學化,用純數(shù)學符號表示屬性。泛關(guān)系似設(shè)是合理的在實際中能夠做到,)有泛關(guān)系假設(shè)模式分解才可以放心地進行,而不必擔心一個屬性在某個關(guān)系模式中是否有意義,泛關(guān)系假設(shè)是規(guī)范化理論的旗本假設(shè),規(guī)范化的工作都是在泛關(guān)系假設(shè)下進行的。