Nguyên lý của các hệ cơ sở dữ liệu

NGUYỄN KIM ANH - NGUYÊN LÝ CỦA CÁC HỆ CƠ SỞ DỮ LIỆU NXB ĐẠI HỌC QUỐC GIA HÀ NỘI -2009 M ỤC LỤC L Ờ I G IỚ I T H IỆ U CHƯƠNG ĐẠI CƯƠNG VÈ CÁC HÊ c s ỡ DỬ LIỆU I I Các hệ th o n g xừ lý tệp iruyển Ihồng 1.2 Các hẻ c sơ d liệu 1.2.1 Các khái niệm hàn 2.2 c c nông cùa m ật hệ quan ỉn s dũ' liệu ìì 1.2.3 Kiến trúc c hệ quàrì tri sở dừ liệu 18 1.2^4 N gười quán trị c s d ữ liệu 20 1.2 N hừng người s dụng sớ d liệu 21 » S j phán loại h ệ CC' sơ d ữ Uệii 22 CYỉc hệ s d liệu rạp iru/7g 22 ì 5.2 C c hệ c s d liệu phân lớn 25 1.4 Kci luận C H Ư Ơ N G C Á C M Ơ H ÌN H D Ữ L IỆ U 2.1 M hìn h th ự c thề liên kếl (m ò hinh ER ) / / C c khỏi niệm c s 28 30 30 31 2.1 S đ thực thê hèn kết (sơ đồ ER) 33 2.1.3 Tính nâng cù a cá c liên kếi 34 2.2 M hìn h dừ h ệu q u an hệ 39 2 / C c khái niệm c hàn 39 2.2.2 Biến đỏi cá c s đ ER son^ mơ hình quan hệ 40 M ò hin h d ữ liệu m ang 44 2.3 ì C c khái niệm c hàn ^4 2.3.2 Biến d i c c s d ER sơng mô hinh m ạng 45 M hìrứi dừ liệu p h ân cắp 48 2.4 L Thuật tốn hiến đồì mơ hình manỹ, đơn Ịiián 48 S ụ lặ p lạ i c c kiêu bán ghỉ 49 2.4.3 C ác kiểu hàn g h i o 2.5 M ô hin h d ữ liệu hưómg đối iuợng C c k h ỉ m ệm c bán B iể n đ ổ i c ó c s đ ổ ER sơng m ô hinh d ữ liệu h ớn g đ o i (ư ợng 2.6, Đ ánh g iá v kếl iuân 49 52 52 56 57 C H Ư Ơ N G N G Ô N N G Ữ Đ ỊN H N C H ỈA VÀ T H A O T Á C DỮ L IỆ U Đ Ó I V Ớ I M Ó H ÌN H Q U A N H Ệ 59 Đ số q u an hệ 60 Phép lín h vỊ từ biến 67 3.3 Phép lín h vị lừ biến m iền 71 3.4 N hàn xél ch u n g kha cua ngôn ngữ thao tác 74 3.5 ISBL: M ột ngôn ngữ đại số quan 'ih u ản tu ý ' 76 Cú p h p củo ph ép (oán đại số 76 3.5.2 C ác Ví' dụ vể bìều diễn truy vần hărìg ISDL 7S Q U EL; m ột ngơn ngữ tính tốn vỊ từ biến 80 3.6.1 Chi thị truv von so i 6-2 C hi thị cập nhật H! ố G án ke! qua tim kiếm vào mô! quan hệ H2 C c vi dụ vể truy vầr) hang ngôn tĩ^ừ ĩinh ĩoớn vị lừ biền họ Ọ u el ^3 6.5^ Tỉnh đắv đủ cùa Quel H4 3.6.6 C'àc ph ép loan ỉập hợp H5 3.7 Q B E (Ọ uerv - By “ Exam ple): mòingỏn ngừ lính lốn yị lừ biến iTiicn H6 i /, Truv vắn dừ hệĩi irong QBE H7 3.7.2 C c ph ép toán lập hợp 92 7.3 Các thao lác ỉhơv dôi c s liệu 93 3.7.4 Tỉnh đủ cùa QBE 95 3.7.5 Dĩnh nghĩa d liệu Q B ĩí 95 SQ L (S u ctu red Quer>' Language) 98 3.H.Ì C ác lệnh tru v vẩn c s dừ liêu Ị 00 3.H.2.CỎC h m ih ir v ìệ n 109 3.8.3 C c lệnh cạp nhặt d liệu IỈO s C c lệnh định nghía phai đ ợ c sư a lại h ay viết lai hoàn loàn, V ới lý d o th iếl kc lệp mỚ! với m ỗi ứng d ụ n g đ c y cầu thư ng n g ian v ÍI rui ro T rư c tiên, ch ú n g ta hã>' xcm xót ví dụ vè m ộ t phần cu a h ệ thong N gân hàng tiél kiộm (Ọ u ỷ tiết kiẽm ) lưu g iữ thỏng tin \'C khách h àn g v c c lài khoan tiết kiộm c ú a k h ách hảng MỘI cách dò lưu (rữ th n g tin trẽn m áy tính lưu trữ c c lệ p h ê thống vírng Đ c cho p h ép n g i s dụng th ao lác thơiìg lin , h ệ thong cỏ m ộl sồ c c ch o iig trinh ứ n g dung th ao tác tẹ p đó, ch ăn g h ạn như: • C h n g trinh th êm m ộl lài khoan mới; • C hư ơng in h ghì n ợ (g h i có ) m ột lài khoan: • C hư ơng ưinli tinh s ẻ d u cu a m ội lải khoan C ác ch n g trinh ứng du n g n ày dược viél bơ i c c nhà lập Irinh hơ íhống dc đáp ứ ng y ê u cẩu tin học h o ả củ a N gán h àn g tiét kiộm C ác ch n g trìn h ứ n g dụng m ới có Ihê bố sung thêm v h ệ thong nhu cầu m ới náy sinh Hộ ihồiìg x ]ý tệ p diẻn h in h xìra m ỏ ta d c hồ irợ bơi m ộl hẹ đ iểu hành n C c b ản ghi ồn dinh v tồn lâu dài đ ợ c iưu Irỏ Irong c c lộp khảc v c c ch n g trìn h ứ ng dim g k hác đ c viổt dê tri ch c c ban ghi từ tệp thich h ợ p hay b su n g ihêm b an ghi m ới v c c têp N hư vạ>, trư c x u ất hiộn c c phấn m èm hệ quan trị c sơ d ữ liêu, khứ hệ thống trẽ n c sơ ỉẹp đ ợ c tạ o lập đé xử lý m ột sồ lưcaig lớ n d ữ liệu cua lô c niỏl c ác h hiệu qua T rong c c hệ thong nliư v ạy , việc x lý lỉệu đ ợ c hoàn thành boi \ iệc lạo c c lệp Irẽn đ ĩa từ h ay b ă n g từ T u y n.hiẽn, qui m ô kinh doanh cu a tồ c v nhu cẩu x Iv Ihao tác liệii v é i m ục đích khác theo c c qui cảnh khác tăn g lỄn, m ột số vẩn đe ng h iêm trọ n g sinh C c h ệ thống ê n c sở tệ p đ ợ c p h át tn e n với c c ứiìg d ụ n g đ ặ c b iẽ t, việc lưu trừ th ô n g tin cu a tô c hệ th ố n g lêp c ó m ọ t số bấl tợỉ sau: • D th a ỉiệu v linh k h ỏ n g n h ất quán liêu: D o tệ p v c c chưcm g trinh ứ n g d ụ n g đ ợ c tạ o lập b i n h lập in h k hác n h au o n g m ột k h o án g thời g ian dài, íệp k h ác n h au c ó qui h k h ác v ch n g trinh cỏ thé đ ợ c v iết b ẳn g m ột số ngơn n g ữ lập trìn h khác H ơn n ữ a , vi c c tệp d ợ c lạo lập m ỗi m ộ i ch n g trin h ứng d ụ n g riê n g , d o cù n g m ọt tạ p d ữ liêu cù a tồ ch ứ c có thê đ ợ c lưu trữ lạỉ m ồi ch n g trinh ng dụng, có nghĩa m ột sổ th n g Ún có ihé lă p lại m ội số tệp k h ác c c lài nguyên p h ần n g n h đ ĩa từ bị lãn g phí V í d ụ , địa chi v số điên thoại củ a c ú a m ọ t khách hàng dặc b iệ t c ó ihể x u ấ t hiên m ọt tệp ch ứ a c c bàn ghi tải k h o a n tiểt kiêm v tro n g m ọt tệ p ch ứ a b ản ghi số dư tà i khoản S ự d th a nàv d ẫn đến g iả tru y n h ập v g iả lưu trữ cao T h êm v d ó , v i c c d ữ licu đ ợ c lưu trữ tro n g têp có the đ ợ c fftav đoi m ọt c ác h d ộ c lạp b ỏ i chưcm g in h ứ n g d ụ n g sử dụng chúng, nôi dung c ủ a cù n g c c k h o an m ục d ữ liệu o n g ch n g trinh ứ n g dụiig khơng trù n g v ới c ù n g k h o ản m ục d ữ liệu m ộ t ch n g trình ứng dụng khác Đ iể u d ẫn đen tín h k h ô n g n h quán liệu, có nghĩa b ản k h c cù a m ộl k h o ản m ục liệu k h ô n g giổng n h au V í d ụ , m ộ t đ ịa chi k h ách h àn g bi th ay đồi d ợ c phán ánh ghi tài k h o ản tiết kiệm n h n g k h ô n g d c p h án ánh ghi số dư tài k h o ản đ ố i với khách h án g dó K h ó k h ăn iro n g tru y n h ập d ữ liệu: G iả s rằ n g m ọ t o n g c c n h â n v iên cu a N g â n h n g c ầ n tim đ an h sách lê n c c k h ách h àn g sống tro n g m ộ t th n h phố n o N h â n v iên n ày hòi p h ò n g x lý d ữ liệu đ ê đ a r a m ọ t d an h sách n h vậy, V i y ê u c ầ u n ày k h ô n g đ ợ c d ự tín h tru c , h ệ th o n g g ố c d ợ c thiểt k ế k h ô n g c ó sẵ n m ộ t ch n g trin h ứ n g d ụ n g để đ áp ứ n g y c ầ u n ày T u y n h iê n , c ỏ m ộ t c h n g trinh ứ n g d ụ n g đ a d an h sá c h lấ t c c c khách hàng B ấ y g iờ , n h ân v iên N g â n h àn g n ày đ ứ n g trư c h lự a chọn: H o ặc sứ d ụ n g d a n h sá c h tấ t c ả c c k h ách h àn g v íc h n h ữ n g th ô n g tin c ẩ n Ihiểi b a n g ta y h o ặ c y ê u c ấ u p h ò n g x lý d ữ liệu đ ề nghị m ộ t n h lậ p in h hệ ửiong v iết c h n g trìn h ứ n g d ụ n g m ới đ áp ứ n g y c ầ u m ới n ày C hai lự a c h ọ n h iể n n h iê n đểu k h ô n g đ ợ c hải lòng G ia s ran g , m ọ t ch n g trin h n h u v ạy đ u ợ c v iể l, v sau v ài n g ày , cũ n g n h ân v iẽ n d ó c ầ n m ộ t danh sá c h k h c h h n g khác C u n g n h , m ột c h n g trìn h đ a d a n h sách k h n g tồ n tạ i n h ân v iên lại đ ứ n g trư c hai lự a ch ọ n v k h ô n g có lự a ch ọ n n o đ ợ c h ài lòng Đ iể u ch ú n g lô i m u ố n chi đ ây c c m ôi n g x lý tệ p k h ô n g ch o p h ép c c d ữ liệu c ầ n th iểt đ ợ c lim k iể m m ộ t p h n g p h p h iệ u q u ả v tiện lợi D o , c c hệ th ố n g tim k iém liệu th ic h h ợ p hcni c a n p h ài đ ợ c p h át tríế n v p h ài đ p ứ n g đ u ọ c c c ú n g d ụ n g k h ác ỉứiau c u a hệ thống C ô lậ p v h n c h ể ch ia sẻ d ữ liệu; V i h tiếp c ả n tru y ền th ổ n g , m ỗi ứ ng d ụ n g c ỏ c c tệ p d ữ liệu riên g c ú a v rihững n g i s d ụ n g c ó c hội c h ia sé d ữ liêu n g o ài c c ứ n g d ụ n g riê n g c ủ a họ M ộ t h ậu q u ả c ủ a v iệ c ch ia sè d ữ liệu b i h n c h ế c ù n g c c d ữ liệu p h ải lu u irữ iro n g n h iề u tệ p ứ ng với c c ứ n g d ụ n g k h ác n h au k h i th iểt kế p h triê n c c ứ n g d ụ n g m ới, n g i th íc t k é th n g k h ó k h th c c c d ữ liệu c h ứ a tro n g c c tệ p lổ n lại tro n g k h i c c tệ p m ới đ ợ c th iế t k é lặ p lạ i n h iều d ữ liệu đ a n g tồn H n n ữ a , c c d ữ liệu đ ợ c lưu trữ tro n g c c têp k h ác a h a u v tệp c ó thê có c c q u i c c h k h ảc n h au , đ iều n ày dẫn đền k h ó k h ăn v iểt c h n g trin h ứ n g đ ụ n g m ới d e tim k iếm c c d ữ liẹu th ích h ợ p trê n nhiều tệp C c v ấn đ ể v ề to n vẹn: C c g iá trị d ữ liệu đ ợ c lư u trữ tro n g c s d ữ liệu p h ài th o ả m ã n c c k iể u rà n g b u ộ c to àn vẹn n h ấ t định C c n h p h t triến làm h iệu lự c c c rà n g b u ộ c n ày tro n g h ệ th ố n g b ằ n g c c h ih ẽm c c đoạn m ă tư n g ứ n g v o c c ch n g ìn h ứ n g đụng T u y n h iê n , c c fàn g b u ộ c m ới đ ợ c b ổ su n g th ê m c s d ữ liệu, rấ t k h ó th a y đ ổ i ch n g trin h đ ế làm h iệu lự c rà n g b u ộ c m i v ấ n d ề n ày p h ứ c tạp c c rà n g b u ộ c lơi k éo m ộ t số k h o ản m ụ c d ữ liệu từ c c tệp k hác • C c vấn đề v ể dô tin cậy: M ộ t h ệ th ố n g m áy tinh cũ n g n h m ộ l Ihiél bị diộn tư hay học đỏ c ỏ Ihê bi lỗi R o n g n h icu ứ n g d ụ ag vẩn d è m ấu chốt m òl lổi x u ấ l hicn v d ợ c d ố lim p h i h iệ n , d liệu phai d ợ c phục hổi dén trạn g ihái loàn \c n lồn trư c xa> iỗi V i dụ xél ch n g trinh ú n g d ụ n g c h u \ ên 50 đỏ la từ tài k h o an A đ ển i khoan B N ếu hệ th ố n g xay lỗi tro n g th ự c h iên ch n g trin h , c ó th ê rẳn g , 50 đô la đ ã chuycn di từ lài k h o àn A n h u n g c h a đ ợ c g h i c ó v tà i k h o án B, kel q u a c sờ d ữ liệu (rong m ột trạn g th k h ô n g to n vẹn d ữ liêu • C ác dị ih ò n g iru)' nliâp d n g thời: Đ c tăn g hiòu n ăn g lô n g thô cu a hộ th ố n g vả thờ i gian đ ảp ứ n g lứianh n h ắ t c ó th ẻ a h iể u h ệ th ố n g cho phép ỉihiẻu n g i sư d ụ n g truv n h ảp d ữ liẻu doĩxg thờ i T ro n g in ò l m ô i Irư òng rửiư v ậ \ , tư ơiig tá c c ú a c c tru y n h ập đ n g th i c ó th é dẫn đ ển két qua Irong m ột irạn g th không to àn vẹn d ữ liộu V i d ụ , x é t tà i k h o ản N g ân h àn g A ch ứ a 500 dô la M ếu h k h c h h ò n g đếii Iiít q u ỹ (rú t đô la vả 100 đỏ la lư n g ứ n g ) lừ i khoan A v c ù n g m ộ t th i đicm K ết qua cua thự c thời nà>' có thê d an d ến tà i k h o an nà>' tro n g m ọ t trạng thải k h ô n g đ ú n g đ án ( hay k h ô n g to àn vẹn) G ia sư rầ n g c c ch n g trinh rú t thự c v ẻu câu rú l b ao gom c c th a o c : d ọ c g iá trị i k hoan, giam g iá trị m ột g iá trị b ẳn g sồ c ẩ n r ú t v g h i kổl q u a tr a lại N éu hai ch n g trìn h ch ạy dồng thờ i, c a h c ó ihê c ù n g đ o c g iá irị 0 đ ỏ la ghi lại đô la , 0 đ ô la tư n g ứng Phu ih u ỏ c v o c h n g trin h n áo ghi giá trị sau cù ng, tà i k h o án A có th ẽ c h ứ a h o ặc đô la h o ặc 0 đ ô la k h ỏ n g p h g iá tr? đ ú n g cu a n ó lả d ô la Đ c c n h g iá c v i n h ữ n g útứx n h v ậ y , h ệ Ihống phải trì m ộ t d n g g iả m s t n o B ời vi liêu c ó thé d ợ c tru y nhập b ò i n h iều c h n g trin h ứ n g d ụ n g k h ác lứiau m k h ô n g đ ợ c d iều phồi tử trư c, m ỏi d n g g iả m s t n h v ậy k h ó c ỏ tlìể dược cung cầp • C ác vấn d ẻ v è an lồn; K lìơ n g phai m ọi n g i s d ụ n g c u a hộ th o n g dều có ihê tru y n h ập lấ t c liệu tro n g hệ V i d ụ , Irong h ệ th o n g N g â n h àng, nhân vicn tài vụ c ù a N g ân h n g chi c ầ n n h ìn th ấ y m ộ i p h ần c u a c sớ liệu c h ứ a th ô n g tin vể cảc n h ân v iên N g â n h àng H ọ k h ô n g c ẩ n th iế t truy n h ập vào th ò n g tin v è c c tài k h o án k h ách h àng D o c c c h n g trin h ứng dụng đ ợ c bo sung v hệ th ố n g Iheo p h n g p h p Ih êm d ần , v iệ c b tuân thú c c ràn g b u ộ c an loàn n h v ậy k h khó khản • S ụ phụ th u ộ c d ữ liệu cù a c c ch n g trình ứ n g d ụ n g : D o đ ịn h n g h ĩa tệp đ ợ c c h ứ a Irong c c ch n g in h ứ n g d ụ n g , n ểu c c n ộ i d u n g tệ p v khuôn d ạn g bán ghi cần đ ợ c th ay đ oi, c c c h n g in h ứ n g d ụ n g phái ih ay dối theo N h ữ n g k h ỏ k h ã n nà> d ầ u dén c ầ n phai phái iriôn niộl phầti m ểm d ặc biộl m ột h ệ q u an Irị c s d ữ liộu với đ ay đu c c tiiilì cho phép kliac p h ụ c bất iợi nêu ề n 1.2 C c h ệ c s d u liệ u IV oiìg th i g ia n g ầ n đ â \ n g àn h tin liọc đ c ó iiJiiêu th àn h lựu hct sứ c lo lớii T ro n g sổ n h ữ n g th n h lựu đ ó p h k ẽ tớ i v iệ c sir dụng ngà> càn g rộ n g rãi có hiệu q u a c ả c h ệ c s đ ữ !iộu T n rớ c liên ch ú ỉìg (a xem x ét khái m ệm ban v è c s d ữ liêu I I C c k h i n iệ m c b « ĩn ( V/ ,vơ íỉữ liệu g i ? M ội tô c h ứ c ( n ì n g h iệ p , n g ân h àn g , bênlì ^'iện q u an ) c ỏ Iiliíều ứng dụiig tin lìỌC k h c n h a u n h n g tấ t c a c c ứ n g dụng cù n g đ ợ c liến liàiứi irên inộl nguồn d ữ liệu clìLg ihi k iìơng g ì tố t liơĩi triên klìai ứ n g d ụ n g đỏ trôn m ôt c s d ữ liộu h ợ p I\hất c h o p h é p q u an lý tậ p trung tấ t ca d ữ liộu xi nghiệp H ìn h 1.1 C s ỡ d ữ iiệ u h ợ |) n h ấ t T rên hinli 1.1, c lìủ n g ta ìứiin th ấ y thànlì plìần c sơ liệu hợ p nhấl m ội b ộ sư u tậ p c c d liệu c h ứ a trê n c c p h n g tiện lư u trữ n h đĩa từ h ay băng từ N h ữ n g n g i s d ụ n g trự c tu y ể n ha>' c c ch u iìg tritìj\ ứ n g điuig có thơ sư dụn g ch ung h ay clìia se c sơ d ữ liệu 11 à>* M i \ i i a i ỉìjw ;' dỉtì s V' ;:ac CỈ 110 ia C IÌC (loạn clìiVa u ll co cac irư r;u >' \ c iriìí ì^ a n u \ c a s ô iiỉơ n ii m ặ i h n n t l ọ c c u n g ửiit; V ô a i> u > 'cn lã c s o dồ nn> co ihc chử n laí CJ cac liioỉìi; UIỈ cu a c o so clCi ii^u củỉi liru irữ nlurng nõ u ậ p p lìni n l^ ổ ii \ n n d lịié J bn '‘ n c c s o vlí) ' i ệ i ; c Ị i u : n l ụ ( ' ô n t i h ĩ a lfi CÍÌC ilìõ n iị iiu \ c I i u i itíỉiìg c u n g ứ n g m l liànư đ a kliỏiiíi, d i r ợ c c u n ^ CIÌÍI m ã l h n g n > \a ncu u c!'\uuì i p ị ‘ nvM icM UOI \ í IVÚM l a i n i õ i i l u ' i d i C D ) ỈUIO c i ó n i ộ l n i ặ l h a n u l Ui o I >01 m ổ i Uàuụ n ó o í l ì i c h ĩ i n u t a s c n i â t \ Ị 1\ c c ó c l ] i ỏ j i g l i n MỘI t;jaỉ pháp có thè !à lao lâp hai so ciừ li cu \ ậ i i> nlìií chi Uinlì 19 MỘI c sơ d líỘLi vậỉ \< chi co inỏl kicu doạn góc C'ơ sơ dừ liệu mì\ c ó kicu doạn gốc s nhu íi:*r:u In rờ n g Q Ĩ Y v:\ niơl kiêu doạjì C011 o chi co nìơi Tba> cho \ic c lưu ivữ lnỏiiỊỊ im Ja> du ch ú n g la doỊiũ F Cí>c^ Uvu trử ná\ ['"ónlì dirợc \ nn d c (iă nêu ircn rh ô n g Un \ c lìiat hàng dirợc !u'iỉ tru áiuỉii hka ìuii dọc láp yà i x ứ c uó d ợ c ’VV‘ P (P # PN A M E C O LO R \V fiỉG H 'r CITY) hàiìỉị l.h.íc SíS^í S N A M lì S T A I US c r n 0(Q -N O Ọ T Y ) I l í ìn h ‘M H c só* (lũ* liệu s ậ t iý C c c h a \ i\ loịiic T roiìg Uiực tể đ o ạn Q l^inh 19 o Ircn bicu diỗn m ộl licn kcl alìicunlìiềii g iữ a c c đoạn s \ p N ó có ihơ m óc noi doạiì nà> bang cáclì khai báo c a lì đ o ạn s p ihự c ch ất chĩi cua ọ Khí clìíiim (a ditìlì nglìĩa hai c sơ ctữ liệu vậl !\ trojìg hitih ,1 clìíinii ỉa có llìc khnr bno lon ỉại cun m ỏl iRrtViig Iro tro n g c c donn Q mò dich cu a ỉro nn> lù niộl doạn p T h ự c ic cluin^ la d ã lạo lậ p p nỉui m ội COIÌ cu a ọ lìliLvag ihco ihiìậl ngCr ÍM S iru n a hiĩp nà> lạ i l í i g i r ợ c l j c ó l ì g l a l F d i r ợ c g ọ i m ộ i c h a l o g i c c u ữ ọ v Q i n ộ l COII logic c u a p N ó i chiing, tro đirợc đtra vùo di iiĩ m ỏi iogic dcti mội c h a logic ng d ợ c gọi Iro cha logic K lù cliúnt» la kJiai báo hni c o s d ữ liộu nà> ch ú n g (a phai bao lìáni tron li dịiih nghĩa c u a doạiì p kiệti no c ó m ột logic Q bany cácli sư dụng mội in a cro I.C H IL D , Saii dó clìíiíiỊi tíỉ khai báo kiẻu Q , iham sổ P A R E N T Q có hai cha C u pháp dổi \ o i tham số nàv là' 2S1 P A R E N T = (< c h a th c > ), (< c h a logic>, < c sờ d ữ liệu > ) C ặ p (< c h a log ic> , < c sờ d ữ liệu> ) chì dịnh tê n d o n c ù a ch a lo g ic v sớ liệu v ậ t lý m Ihc vào V í d u 9: M ột p h ác th ảo c c mô tà c o sờ d ữ liệu v ật iý c ủ a h c s d ữ liệu vật lý o n g h in h 9 đ ợ c chì o n g hinh , nhớ rằ n g ch ủ n g ta đ ă b ò q u a m ơt số m acro v c c th am số n h ất dịnh C hú ý khác b iệ t tro n g h c c co n trò doạn ch a logic đ ợ c khai báo M a c ro L C H IL D o n g đ o ạn p cho b ic t Q logic c ù a p T ro n g khai b áo doạn Q , th ầy tồ n tạ i m ộ t co n frò đến cha logic n àv d ợ c k h b áo vớ i tham số P O IN T E R tro n g s ự k iện p m ộ t cha logic đ ợ c k h b o v i th am số PA R EN T DBD N A M E = P -D B SEG M N A M E = p L C H IL D N A M E = (Q , S -D B ) F IE L D N A M E - (P.^, S E Q , U ) F IE L D N A M E = P N A M E F ỈE L D N A M E = C O L O R F1ELD N A M E = W E 1G H T F IE L D N A M E = C IT Y DBD N A M E = S-D Đ SEGM NAME = s F IE L D N A M E = (S # , S E Q , U ) F IE L D N A M E = S N A M E F IE L D N A M E = ST A T U S F IE L D N A M E = C IT Y SEGM NAME = Q, POƯ>ITER = LPARENT, P A R E N T = ((S ), (P , P -D B )) F IE L D N A M E - (Q -N O , S E Q , ) F IE L D N A M E = Q T Y H ìn h K h a i b o c ù a c c c s d ữ liệu v ậ y lÝ t r o n g h ìn h Ỉ 282 Đ ịn h n g h ĩa c c c s d ữ liệu logic N g ò i d ọ c c ó th ể th ấ y c c lênh D L /I m ch ú n g ta thao luận không chứa m ọt c ác h n o c h o p h é p theo trò ch ăn g hạn n h trỏ c h a logic tử Ọ đ ến p D ọ vậ>^ m ộ t n g i n có thé tự hòi c c trò n ày d u ợ c s dụng n h C âu tr ả lời ch ú n g g iú p c ấ u trú c c c c sơ d ữ liệu logic m dó m ộ t c sờ d ữ liêu lo g ic c ó th ề tồ h ợp m ột c h a logic hay v ật lý v m ột co n vào m ột đoạn D o , c h ú n g ta c ó thể g ắn kết m oi q u an g iữ a hai ch a đ ợ c kco ih eo bời m ột đoạn co n S au đ ó , có Ihề v iết chư ơng trinh ứ n g dung trê n c sờ d liệu lo g ic n àv (th ự c trcn m ỏl khuiìg nhìn cũ a c sở liệu n ày ) đ u n g n h c c co n ò khơng tồ n d ự a Irên cài đ ạt theo trò b ất c ứ n o d ữ liệu tồn lại th ự c m ột đoạn p đ ợ c y cu cầu tù đ o ạn t í l.ợ p TOĩ;g C s liệ a \ o g iz ,it.v T r o n g k h a i b o c ù a m ộ t c s d l i ệ u ÌOÊÌC, c h ú n g l a k h ô n g k h a i h o c c trư n g m ộ t đ o n ; ch ủ n g đ ợ c xảc định tù c sớ d ữ liệu vạt lý dư i C h ú n g ta chì khai b o , vớ i m ỗi đ o ạn d o n g sơ d ữ ỉiệu logic , m ột nguồn (h a y nhièu nguồn) s ù d ụ n g th am số; S O Ư R C E = (< tê n đ o n > , < c sơ liệu> ) * d ây khai b áo n g đ o n n y c sở d ữ liêu logic thự c < tẽ n doạn> o n g c sờ d ữ liộu < c s d ữ liẹu> T rong trư n g hợ p m ột doạn logic to hợp c ủ a m ọi đ o ạn v ật lý v c h a lo g ic hay v ật lý c ù a n ó ihỉ n g u n m ột c ặ p bao gồ m c hai đoạn K h i ch ú n g la tạ o m ộ t đ o ạn logic bao gồm m ộl đoạn v ật lý X v c h a logic Y c ù a nó, đ o ạn íogic n ày c h ứ a c c u n g k h ô n g chí củ a X Y m cà c c trư n g tro n g khoá g h ép đ ẩ y đủ c ủ a Y D o vậy, Irư ng thứ tự c ù a Y x u ất hai lẩn m ội p h ần c ù a Y v c ũ n g m ột p h ần tro n g k h o g h é p d ầy đù c ú a Y Thông tin d th a n đ ó tro n g c c th ô n g tin cỏ thé đ ợ c loại b ò từ m ột đoạn logic ng ch ú n g ta k h ô n g th o luận c ch ế T h u ặi ngữ d õ liệu g iao thư ờng d ợ c sừ dụ n g doi v i b àn sa o củ a X đoạn logic thông tin n ày thưởng cho biổl m ối q u an h ẹ g iừ a c c th ự c thề đ ợ c biồu diễn b i c h a logic Y cha vật lý cùa X T ro n g h ìn h 9 , néu X Q v Y p thi d ữ liệu g ia o (Q -N O , Q T Y ) cho b iết v ề m ộ t m ổ i q u a n h ệ g iữ a s p hay m ột c ặ p S -P dặc biẹt M ột c ác h tư n g tự , tro n g m ộ t c sở liệu logic, ch ủ n g tâ tạ o mộl đ o ạn b ao gồ m m ộ t đ o n co n c vả ch a v ạt lý c ủ a n ó nểu ch ú n g ta khai b áo c c h ứ a m ôt co n trò đến c h a v ậ t iý cu a T ro n g sở liệu logic , d o ạn tồ h ợ p nàv m ộ t co n c ủ a c h a lo g ic cù a c M ọ t c s d ữ liẹu lo g ic b ao g m m ộ i tậ p đ o ạn đ ợ c sấp x ép m ột p h ân c ấ p g iổ n g n h m ộ t c s d ữ liệu v ật lý C c nguồn c ủ a c c đoạn n ả y c ó thể trải trê n m ộ t v ài c s d ữ liệu v ậ t lý n h ch ú n g ta đ ã thấy, m ộ t đ o ạn c s liệu lo g ic c ó thể b a o g m m ộ t đoạn c h a logic h ay v ật lý c ủ a T ro n g c a sờ 283 liộu loụic nà> m ỏt doạn c có thc doạn D nểu cò m ộl co n iro lử m ôl nguôn cu a D dổ» môl nạuổn cua c Cz:\ ítO n:u\ ' ' ihc !ầ v.ộ\ zon iro binh ihư ng lừ m ội ch a \ ậ l lỷ clcii mộl lừ logic dcii ch a loi^ic liav lừ vâl K dcn clia vậi K Các iro d c khai bao Irong m ỏl chi ihi SE G M D o vạ>' troni» sơ dừ liộu logic quan hộ ch a có ihò nìỏl quan hc ch a cu a mỏl (rong cac co sơ dũ liêu vạl K dirớc K hi cấu trú c cảc c sở liôu logic, chúng la cần phai quan Làm đền hai luật bô sung sau: Đ oan ỢyồC cu a m ột sớ liệu logic phai m ột d o r g c tro n s c so d ữ liộu \ạ \ lý K hi m ơl quan hệ cha irong c sơ dù liệu logic nảy q u an hộ cha Irong m ột sơ iicu ^ ật 1> chúng la khỏng ihc sư dụng doan rhn v ật ]ý niơt lầtì n a Irong sơ hộii íogic nà>' C ó n g h ĩa i;ia sư D ch a cu a r cà sơ ĩĩ liêu logic v vât lý K hi dó D khôno thẻ tà cun c iTonQ c o s a đ ù Hõu louic r a v Ihậni chi cỏ m ôi Iro ch a iogic irong doạii c B ây g íờ ch ú n g la hay xem m ột vi dụ \Q cách khai b áo nv-\ sơ dử itộu logic V i du ; C ho hai c sơ liôu v ât lý đ ợ c chì irong hinh ^ có the cấu trú c m ọt c sớ d ữ liệu logic m thự c ch ất giồng nlur hình ^ ,1 MỘI phác ứ iao cu a c sở d ữ liệu logic Iià> d ợ c chi irong lìinh 21 DBD N A M E = L O G -S A C C E S S = L O G IC A L SEGM NAM E = s , SOƯRCE = (S, S-DB) SEG M N A M E = Q M EM PA REN T - s, S O U R C E = ((Q S‘ D B ) (P P -D B )) H ìn h P h c th ả o đ ịn h n g h ĩa dối v ó i rn ộ t c s (lũ’ Hộu logic C sở liệu đ ợ c định nghĩa o n g hiiih 9.21 d ợ c chi r a hiiiii 22 Đ o ạn Q M E M lổ hợ p c u a đoạn Q tù c sơ liêu v ậl lý S -D B đ o ạn p từ P-D B C ần phài n hớ rằ n g doạn Q M E M không tồn lại n h vạy N cu IM S d ợ c y cu cầu tim kiểm m ộl đoạn kiểu nảv tim \ u ấ i hiộn doạn Q p d ó i (phicii b an đ ợ c hinh tlìàiilì hinh 9.21 cho IM S b iél cách lim ch ú n g n ) v lim kiếm truòiig T rư c liôn p # k h o g h cp đầy đu c u a p đo p gốc củ a P -D B nên klìố g h ép dầy đủ n ày chi ch ứ a m ột tru n g H tru iìg Q -N O v Q T Y lấy lừ Q: Irường n ày hinh Ihàiilì đ ữ liệu giao N ăm 284 tm n g lại Pii, PN A M K (X )L O R W b:iG H T C IT Y , lấy lừ p C hú ý rằng, p# xiiấl hni lần T u \ nhicn sụ dư tlùra n à\ llụrc klìỏtìg tồn lại doạii Ọ M H M clií tồn kli! clúing dược lim kiéni K lìòng gian \'à Uiời g ian cằn ihiél đc tạo hni ban cun p# cỏ llìơ dược ho qun s (S # S N A M E S T A T U S C IT Y ) Ọ M E M {Pti Q -N O Ọ T Y ?u, P N A M E C O L O R W E IG H T C IT Y ) Hirih V.22- So (ỉồ OY so (iũ liệu íogic Biều diễn licn kct nhiều-nhicu S ức m ạnh c u a c c c sơ liộu logic IM S d u ợ c m inh h o bơi kiện ch ủ n g c ò ihc d ợ c sư dụng dó biêu diẻii nìộl liêti kểl ahiều-nhiều g iữ a hai lậ p ihự c thô A v B lư ng chung đư ợ c chi hinlì 9.23 dáy , ch ú n g ta th ấ\ hai c sơ d ữ iiộu v ật lý M ỏt sơ du liộii \ ẵ i lý b ao gồm m ột đoạn A mà (ntờní^ c u a lả c c thuộc línlì cu a iập thự c thẻ A N ó c ó m ột đoạn PTB clìi b ao gồ m m ộl Iro ch a logic dền doạn B N g u ợ c lại đoạn B biêu diễn tập ihự c ihó B c ó niộl doan với niỏi tro dểiì A A B V PTB \ / PTA Hình 23 B iêu (liền m ộ t licn kct nhiều-nhicu ĩiịữiì A B T c c c sơ d ữ liệu vật lý sư dụng phưcmg p h áp v a m ô la ch ủ n g ta có (hê cáu tríic hai c S0 liệu lỏuíc đư ợc chi tro n e hinh 9,24 M ột ch n g trinh ứ n g dụng cỏ tỉìc tiiao tác trcii khung nlìiii dong nhấl ca hai c s d ữ liêu logic nò>' sư dụng c sơ liệii logíc Irong hiiứì (a ) dê xác định c c B đ ợ c kếl h ợp \ i m ội A c sơ d ữ liệu logic lì inh 9.24{b) dê x c dỊiili c c A đ ợ c kếl h ọ p với m ội B C hú ý rằn g , d o ban ch ất phân cấp cua IM S kh ô n g m ột c s d liệu logic í đù dê biêu diễn liên kếi ih eo ca hai chiểu m ộl h hiộu qua 285 B B A (a) (b ) H ìn h H a i c s d ữ liệu io g ic có th ể c ấ u t r ú c d ợ c t h ìn h 9.23 B iế u d iễ n c c t ậ p D B T G M ột tập D B T G b iểu diễn m ọ t ánli xạ nhiồu-m ột m ột trư n g h ợ p đặc biẹt cúa m ột ánh x lửiiều-ixhièu D o vây, nẽu có m ột tậ p D B T G s với kiẻu chủ A kiều th àn h v iên B thi c ó th ẻ biốu diễn bờ i m ộ t c ặ p sớ liộu logic hinh 9.24, , o n g m ột c Sữ d liêu thự c m ồi x u ất đ o ạn B có nhiều m ột doạn A đổi vớ i c s liệu logic hìiilì (b ) T u v lìliiẽn, m ột chư ơiig irìiứx c ó thẻ c ầ n c hai sở d ữ liệu logic (a) (b) chi m ột c s liệu logic (a) k h ô n g ih ể lim chu cua m ộỉ x u ấ t B m ột h thích hợp N h yạ y\ m ột c sơ d ữ liệu m ạng có th ể đ u ợ c b iẻu diền bơi m ộ t íậ p sơ d ữ liệu logic IM S n h n g rõ ràn g h iệu quà N g ợ c lạ i, m ột sờ liệu plìân cấp m ột tn iờ n g h ợ p đặc b iệt c ủ a sờ liệu m ạng, d o , m ột sơ d ữ liộu IM S cũ n g đ ợ c b iển đổi thàiilì m ộ t c s d ữ liệu D B T G không phần hiệu N h vậy, m ô hiiứi m ạng v phân c ắ p ià tươiìg đưcnìg theo nghĩa it Iihất m ô hiỉih phân c a p có o h ữ n g đạc tn rn g c u a IMS 9.3 K ế t lu ận T ro n g c c p h ần u c c u a chư ơng, ch ú n g ta làni quen v i h cách tiép cận m ạng \ ’à p h ân c ấ p việc b iẻu diễn đối lư ợ n g d liộu đ ợ c lưu trữ c sơ đ liệu Ihao tá c dối tư ợ n g c ù a c sở d ữ liệu nàv.’ N h in chung, m ô hình m ạng D B T G v DIƠ hình p h ân c ấ p IM S b iể u diễn thực thé b i b ả n g h i v c c liên k ết m óc n ổ i h ay c c co n trỏ bản, c c m óc nối c ó kliả n ăn g biểu diễn c c liên kết k iểu m ộ t-n h iều v klìơng cỏ khà n àn g b iểu diễn trự c tiếp liên k ết k iều nhiều-nhiều M ô h in h m n g biểu diễn d ữ liệu bở i c c d an h sá c h m óc nối h ay cấu trú c d ữ liệu đ a d an h sá c h o n g m ô hiitli p h ân c ấ p b iểu diễn d ũ liệu bời c ấ u trú c c â y đơii g iã n M ò hìiili m ạng c ó c ấ u trú c tổ n g q u t hơ n so v ới m ô hinh phân c ấ p bờ i vi m ộ t x u ấ t ghi đ cho có th ể có m ộ t số bất k-ỳ c c p h ần từ b ậ c trê n trụ c tiế p cũ n g nliư m ột số b ất kỳ c c p h ần tù phụ thuộc trự c tiếp C ách tiếp c ậ n m ạng ch o p h ép biểu 286 diễn liên k ết nhiều-nhiều irư c liếp so vớ i cách liếp cận p h án cấp c ấ u trú c nôi củ a m ô h in h ĩĩiạiìg phứ c tạ p hơ n m h in h phán cấp n h u n g m ô hinh m ạng lạ i đổi x ứ n g h ơn m ỏ hinh phân cấp T u y nhièii, tro n g cách nhin d ữ liộu theo kiểu phân c ấ p b ời c ấ u trú c cây, m ọi x u ấ t b àn ghi dã cho chì m ang ý ng h ĩa đ ầy dù d ợ c xem x ét m ột ngữ cành, T h ậ t vậy, m ột x u ấl bán ghi phụ thuộc k h ô n g thể tổn cấu trú c câv khỏng có phần tứ bậc ê n B ởi v ậy , m ô hinh phân cấp đư ng tự n h iên dê mô hình hố cấ u trú c ihư c p h ân c ấ p cù a giớ i thự c m ỏ h in h m ạng rắt g ầ n với cẩu trú c lưu trữ thự c củ a d ữ liệu th iết bị n h thứ c ấ p v cá hai mơ hình d ểu cố gắng b iểu diễn cảc ngữ n g h ĩa cù a giới thự c vào c sở liệu theo cách tiếp c ậ n riên g c ú a C ng la c ó thơ m rộng phát trièn m ộ t số đặc cm ng vè cáclỉ biêu a iln n g ữ n g h ĩa c ủ a th c giới thự c va cách th ao tảc tỉê ii đối tư ợng dũ liệu írong c c hệ c sờ liệu m ạn g phân cấp m ội h ệ c sờ liệu h ó n g đối lượng Đ iểm bất lợi ch ú y ếu c ủ a c c h tiếp cận s ự phứ c tạ p dáng b àn thân m ô h in h th ao tác x ù lý liệu m hình Các hộ c s đ ữ liệu m ạn g hay phân c ấ p k h ô n g cu n g cấp m ột m ô hinh trừ u tượng hoá c a o v độc lập vớ i m ứ c v t lý , v ới cài đ ặi cụ thé trẽn c c ih iết bi lưu trữ D o đó, m hinh m ạng v ả phân cấp khó đàm b áo d ợ c tính độc lậ p g iữ a liệu v i ch n g trình ứ n g dụng, khó có Ihề cim g c ấ p ngơn n g ữ thao tác d liệu b ậ c cao, dễ sử d ụ n g có ửiể ch u ẳn hoá D o vậy, ngư ời sừ dụng th n g phái có n h ữ n g ư*ì thứ c đinh vè tin học v đ ặ c b iệt phái b iế t chi liết n h ất đ ịn h v ề cách b iểu diễn d ữ liệu, cách tồ ch ứ c lưu irữ c c liệu tro n g c sở liệu m i lẳn theo c c danh sách m óc nối h ay c c đường dẫn tro n g để lấ y đ u ợ c c c th ô ng tin cần th iết sờ d ữ liệu K hi làm viẹc trẽ n hệ c RỜ d ữ liệu m ạng hay phân cấp , n h n g người sìr dụng vả lập trinh v íẻn phải h ao tồn n h iều thời g ian v công sứ c vào gỉ ải quyét n h ữ n g vẩn dể n áy sinh việc viểt, hiệu chinh v bào trì chư ơng in h V ới lất c â c c lý đo , m hình quan hệ đ ợ c đ ản h g iá !à u v iệt h ơn hai m ô hinh m ạng p h ân c ấ p v ngày , h ầu h ết h ệ q u àn trị sớ d ữ liệu x u ất trẽ n thị trưcm g phẩn m em c c hệ quản trị c s d ữ liệu quan hệ hẳii h ết c c hệ c sờ d ữ liệu đ ợ c th iế t kố x ây d ự n g theo m ỏ h in h quan hẽ 287 l ẢI LIỆi: I HAM KHAO Ị 1> AlìO A v Y S agiv and J D U llnian (1 9 ) ‘*l:qun alcncc o f rclau o n al oxprcssions** SỈAM J.Compuìt’ S:2 p p i K - 246 !2 i AỈU) A Y S aai\ and D U ilm an (1 9 ; '*F:nìcicnl o p tim i/a lio n oP a c l i i s s of r o l n L ỉ o n a Ì c x p r c s s ì o n s :\( \\ I r a n s o n D a i a b a s c S \ s i c m s -i i ỵvì 4“^’' - 4.^4 '''• A lìo A V C lìccri ã ] \ d JI)lJÌlman **Thc l i K o n * o f ỊOins in rcialiOnal d n iab ascs" A C M Traiìs on D atab asc S \s le in s p p 314 U| A n n ^lro n e \v w O ^ - Ị ) rclauon^hip??" Proc *‘DcpciHlerK‘> sin iclu rcs o\' d aiab asc 1974 IFIP C oncrcss pp 580 - S ? N orlh HoHnnd Amslcrcinni ‘\slcins 1:2 pp -1 \o ị A sirahan M M c( aí *'S\slcni-R i n í U i a i i c n i c n i s y s i c m \ ( o m p u l c r 12 p p Ì'^Ị Bnclìinatì c a rciatioiial d alab asc - 48 \V (1 j " D a ia S laiciurc diagranr* D ala H asc I pp.4 - M) 8j B ccn c m cm bcrship p roblcm fo r futiclional and m uldvaliỉcđ dcnpcndcncỉcs" AC!M TrniìẴ on D aiab a sc S yslcm pp 241 - 259 [91 B ccri c and p A R crnsicin (1 9 ) ‘*Compuiational p rohlcm s rclatcd to the dcsign o f norm al f o m rclation schcm cs’' A C M T ran s on D atab asc Systems 4:1 pp - 5^^ ii)| H ccn c p A B crnstcin and N G oodm an (1 S ) **A s o p h isũ c a tc 's iniroduliou lo dald b asc n o n rtali/alio n Ihcorv Proi AC’M ỉnll C oní.otì Vcr> L arg c D ata B ascs pp 11? - 124 IIỊ B ccri axioinalixalion c for R rucliOỉ>a! and Fagin and inullivaUicd dcpcndcn< 5Ì c s '\ S IG M O D inil C onf.on M anagem ent o íD a la pp 288 J.H H o \v ard -6 (1^)77) A CM **A com 112| B ccn R l\ií 4i n c D MiUcr and J.[).U !lm an ( 1983), **0n Ihc dcsirabilii>' oracN clic d alnbasc schcins ’ J A C M :3 p p - 13 |Ì Ị n c m slc in , P.A ( h n ỏ ) **S\'iUhcsỉ/iiig ih ìrd norm al rorni rcíalío n s íVoni fijnctional d c p c n d c n c ic s A C M T ran on D aiab a sc S \‘s(cm s pp 7 -298 114| B cnislcin P.A and tiornial form N ,G oodm an (1 S ) **Whal d o cs B o \c c -C o d d Proc A C M Inll C o n í ori Vcr> L arg c D ala íỉa s c s PP.24Í-259 I !5 | B iskup J (1 ) *‘Infcrcaccs o f niullivaiucd d cp cn d cn cies m Hxcd an d undclcrm incd u iii\c rsc s " T lìcorclical C om piìlcr S cicncc 10; I pp 93 - \6 \ B iskup J and H H Brug.?cmann **Uni\crsa) rclatio n s \ICVVS a p rag m a lic a p p m ach " Proc A C M [uli C o iiro n V c n L arg c D ata fìascs pp !7 - 185, 17Ị B iskưp J l) indcpciìdcni D ayal and d atab ase P.A B crn stcin schcm as" ACM (1 9 ) “ S y n lh e s i/in g S IG M O D Inll.Coní* on M anag em en t o f D aia pp 143 - 152 |i | Bo>cc R F D D C h ain b erlin W F K in g and M M H am m er (1 ) ‘ S p ccity in g q u crícs as rclatíonal cx p rcssio n s: Tiìc S Q U A R ÍỈ d a ia s u b la iig u a g c C o m in A C M IS i pp 621 - 62S |I Ị C asanoN a M A R Kagin and C H P ap ad im iln o u Ị1 | **lnclusion dcpcndcỉìcics and tlìcir inlcraclioĩi \viili funcíional depcĩidcncics** J.C o m p u lcr and S\'stcm Scicnccs 28 I p p - 59 20| C h am b crlin D D c ( al (1 ) ‘*SEỌ U EL-2: a uniTicd approaclì lo d ala dciin itio n m aiiipiilalion and co n iro i" IBM J.R c sc a rc h and Dc^•clopm cnl 20:6 pp.5()0 - 575 |211 C h an d A (1 8 ) " T lìc o n ' o f d aiab asc q u c n c s " , Proc S c \c n lh A (;M s> m p on P n n cip lcs o f D alab asc S \ slcnis pp 1-9 22Ị C h an d ra, A K atìd D H arcl ('1 ), *‘C o m p u lab lc q u erics fo r rclalio n al d aiab asc s \ slcm s‘\ C om puter and S\'slcni S cicnccs 21:2, pp 15 -1 7X ?! [24] C h an d A K atìd H arcl (1 ) 'i í o r n c la u sc g c n c lỉ/a tio n s " J Logic progranimiiiG L pp -15 C lìand A K and P M M c rlin (1 ) q u crics and ‘O ptim al im plcm cntalion o f co n ju n c ti\‘c qucrics n\ rclalional dalabasc** Proc N in th A nnuaỉ A C M Sym p.on thc Tlicon* o f C om puling pp 77 -90 25] C hen, E P F (1 ), ưnions o f ch asc jo in O piim a! com putation o f lo lal prọỊCCtions w ilh exprcssion*' ACM S IG M O D Intl.C onf on M an ag cm cn i o f D aia pp 149 - 163 289 f26Ị C h an g , C L (1 ), “ R inding m issing jdWis for incom plcte querics in la tio n a l d a ta b a se s” RJ 2145, IB M , San, Jose, Calif 27] C o d d , E F (1 ), “ A relational m odel for larg e sh ared d a ta b an k s” , C om m , A C M 13-6^ pp 7 - 387 28] C o d d , E F (1 a ), '■ P urther norm alÌ7.ation o f the d a ta b a s e relational m o d el” , m D ata B ase System s (R R u stin , ed.) P ren tice - H all, E n g lew o o d C liíĩs , N ew Jersey pp 33 - 64 29] C odd, E ,F (I9 b ), “ R clational com pleteness of d atab ase su b la n g u a g e s” , Ibid, pp.65 - 98 [30] C o d d , E F (1 9 ), “ E xtending the d ata b a se relatio n al m odeỉ to captiư e m o re m ean in g ”, A C M Trans on D atab a se S ystem s 4, pp • 434 31] C o đd, E.F (1 8 ), “ U n iv erasal relatio n fails to rep lace relatio n al m o d e l” , IE E E S oftw are, ju n e , i988 32] D ate C J ( 1976), “ A n Introduction to d atab ase S v stem s” , tw o volxưnes A d d iso n - W esley , read in g M ass [33] D a y a l, u and P.A B em stein (1 ), “ T h e u p d atab ility o f relational v iew s” , P ro c, Intl Conf 011 V ery L arg e D a ta B ases, pp 368 - 7 [34] D a y a l, u an d P A , B em stein (1 ), “ O n the c o e c t tra n sla tio n o f u p d ate o p eratio n s on relational vievvs” , A C M Trans o n D atab a se S ystem s ;3 , pp 381 - 416 5] D e lo b e l, c (1 ), “ N o rm alizatio n and h ierarch ical d ep en d en cies in th e rela tio n a l d a ta m odel” , A C M T rans on D atab a se S y stem s 3:3, pp 201 [36] - 222 D elo b el, c and R c , C asey (1 ), “ D ccom position o f a d a ta b a s e and the th eo ry o f b o o tean sw ilching fu nctions” , IB M J.R es D ev el 17:5, pp - 386 [37] D em etro v ics, J and V D T hi (1 8 ), “ Som e resu lts a b o u t fim ctional d ep en d en cies” , A c ta C y b em etica V IIl/3 , pp 273 ' 278 [38] D em etro v ics, J an d V D T hi (1 8 ), “ R elatio n s and m in im al k ey s” , A cta C v b im e tic a V IlI/3 , pp - 285 [39] D em etro v ics, J and V D T hi (1 9 ), “ Som e p roblem s c o n c e m in g keys fo r rela tio n schem as and relatio n s in the relatio n al d a ta m o d e l” , ln fo rm at! 0n P ro cessin g Letters , pp 179 - 184 [40] F ag in , R (1 7 ), “ M ultivalued d ependencies and n ew n o rm al fo r reia tio n a l d a ta b a se s” , A C M T rans on D atab a se S ystem s :3 , p p 287 290 |4 ) F ag m , R (1978)^ ‘'O n an au th o rizatío n m echanism ” , A C M T ran s.o n d atab ase S ystem s :3 , pp - 319 2] F agin R ( 1981), “ A norm al form fo r relatio n al d a ta b a se s th at is b a se d on m ain s and k ey s'’, A C M T rans on D atab a se S ystem s :3 , pp, 415 3] F agin, R (1 ), “ H o m d a u s e s and d atab ase d ep en d en cies” , J.A C M ;4 , p p - 983 4] F ag m , R (1 ), ‘'D e g re e o f acyclicity fo r h y p erg rap h s an d rela tio n a l d a la b a s e s c h e m e s ” , J A C M : , pp - 5 5] F ag in , K., A o M en d elzo n and J.D , U llm an (1 ), ' ‘A sim p lified unìViirsal n iliito A assumptioH anc iti; p ro p erties’\ A C M '^rai.s or D a ta b a se S ystem s 7:3, pp 343 '3 [46] F ag in , R and M Y V ard i (1 ), ‘‘T he theory o f d ata d ep en d en cies - a siư v ey ” , in M ath em atics o f Inform aíion P rocessing (M A n sh el an d W G e w ìrts, e d s.), S ym posia in A p p lied M ath em atics , pp, 19 - 72 [47] Fred, R , M c P ad d en t and J.A H o ffer (1 9 ), ‘‘M o d em d a ta b a se m a n a g e m e n r', T h e B en jam in / C um m ings P ublishing C om pany, IN C [48] G oodm an, N and O S hm ueli (1 ), ‘T r e e queries: a sim p lc c la ss o f rela tio n a l q u eric s’', A C M Trans on D a ta b a se S ystem s 7:4, p p - 7 [49] G rah am , M H (1 9 ), “ O n the im íversal relatio n ” , tech n ical re p o rt, U niv o f T o ro n to , T o ro n lo , O n t., C anada 50] G rah am , M H sch em as” , 511 an d M Y an nak ak is (1 ), “ In dependent d a ta b a s e C om puter and System S ciences :1 , p p 121- 141 Ha!!, P.A V (1 ), ‘‘O p tim itatio n o f a sin g le rela tio n a l ex p ressio n in a rela tio n a i d a la b a se ’\ IB M J.R e se a rc h an d D ev elo p m en t :3 , pp 4 257 (52) H a n /J (1 8 ), '"Selcction o f P rocessing s ữ a te g ie s fb r d iíĩe re n t recu rsiv e q u e rie s'’, P ro c, T h írd Intl C oinf, on D a ta and ỈCnow ledge B ases, ie n is a le m , Israel |5 ] H oney m an , p R E L adner, and M Y an n ak ak is (1 ), “ T e stin g the im iv ersal in sta n ce assum ption” , In ío rm atio n P ro cessin g L etters 10:1, pp 14-19 54] Im ielinski, T- (1986)» “ Q u ery P ro cessin g in ded u ctiv e d a ta b a se sy stem s vvith in com plete inTormatiorì’’, ACM S IG M O D Intl C onf, on M an ag em en t o f D ata, pp -2 551 Im ielinski, T and W L ip sk i Jr (1 ), ‘in c o m p le te in fo rm atio n in reỉa tio n a l d a la b a se ’', J,A C M 31:4, pp 761 - 791 291 \ 56] Jnrkc M and ! K och (1 ) **Qucr\’ o p líim /alỉo n in d atab asc s>