Poželjno svojstvo dekompozicije relacijske sheme baze podataka je čuvanje zavisnosti. U ovom radu razmatramo čuvanje zavisnosti u postupku dekomponiranja relacijske sheme (R,F), gdje je F skup funkcijskih zavisnosti. Beeri i Honeyman predložili su algoritam za testiranje čuvanja funkcijskih zavisnosti (algoritam se bazira na Ri-operaciji, a opisan je u [Ullman 88]). Dokazali smo svojstva Ri-operecije, koja su omogućila modifikaciju navedenog algoritma eliminiranjem suvišnih R; -operacija.
展开▼