Chương 7: Phép tính quan hệ ppsx

PHÉP TÍNH QUAN HỆ PHÉP TÍNH QUAN HỆ   Nội dung Nội dung         !  Mở đầu Mở đầu  "#$%&'()%%*%+, -./0 #$%**#1!2  3. #4 &'     # 5  + 6%%2&'(&7%8+,+#9%:#;<%   = >:*?@./0A&< !2B5+, -%,2!2!:*%C2+A8+,A8 8A2A%A%A  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  "+8A2AA8+%;DE%?F 95A6+@  +8A2A%A%A:5%;D E% !F 95<GH  I&EJK8+,LA:G%*%!%%-%,G %%-E'MN  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  O182@+@<<%#J B2:1<G%DM.P0QR !.SQRO+G%.TU M'%VW:1)%D:1!,?%X %YA%*%AG1E'MU Z'  %1 +2[8% ( :1 ) %X %Y A %.T\  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  O182@J  @]!%%-.T2%2^B 6%,( !.!2;%;%'].T !%;]E'T A!M\  @5)?#+ _%?%*%&'\  Phép tính quan hệ Phép tính quan hệ  0!B`*%DA2% 7a+8&%8A2%  "#$%&'+2.0&#9M&J  A8+8A2A%A%Ab  2+8A2A%A%Ab   Phép tính quan hệ bộ - TRC Phép tính quan hệ bộ - TRC  *%8+,+2%;&J cd2&2e +8%f1A8 +A8  I&EJ@-%)5%*%5V%#$%&,+2' Mggh { T | TEACHING(T) AND T.Semester = ‘F2007’} .R0RijkRlSQOm nSRR\.888+opjMgghq  ./0A!B1( >%r*%D    FROM !"#$%&''(WHERE  FROM !"#$%&''(WHERE Cú pháp của condition Cú pháp của condition ;(A!B+2%*%&J  JA!G !A!1\#$%&'( :(+%;% ,:5  l28+.3 928+A!2*s2*\ !.A!1 ?l !3A!%*%%  \l28+%2\#H<#+G##$%2* 9t  *%  : +G #$% V A!  : ,G  2%%2&2 ) Điều kiện phức Điều kiện phức (Complex condition) (Complex condition)  *%:f%#$%K`,&<%*%,# J  A!B:%D8+,1;A!B:,G   O1B !MA!:%D8+,@BlOM? BkM !OkB%uA!:%D8+,  O1A!:%D8+,?A!G !A! 1@∀∈ ! ∃∈%uA! :8+, ' [...]... true” 19 Phép tính quan hệ miền Domain relational calculus (DRC)  Là cơ sở cho ngôn ngữ truy vấn trực quan như MS Access, IBM QBE, Borland Paradox  DRC tương tự như TRC, chỉ khác nhau là DRC sử dụng biến miền (Domain variable) thay cho biến bộ (Tuple variable) 20 Domain variable   Biến miền sẽ nhận giá trị từ miền giá trị (domain) của 1 thuộc tính nào đó Ví dụ: quan hệ TEACHING có thuộc tính ProfId... PROFESSOR.Id ∃D ∈ PROFESSOR.DeptId (PROFESSOR(I,D,N) AND ∃S ∈ TEACHING (I, MGT123, S)))} 29 Mối quan hệ giữa đại số quan hệ, phép tính quan hệ TRC, DRC  Cả 3 ngôn ngữ đều có khả năng diễn đạt mạnh như nhau: các query được viết bằng ngôn ngữ này có thể được viết bằng ngôn ngữ khác 30 Tương đương của 3 ngôn ngữ  Phép chọn (selection) (R) • Algebra: σ • TRC: {T|R(T) AND Condition1} • DRC: {X1,…,Xn|R(X1,…,Xn)... X1=X2 AND X3=d 31 Tương đương của 3 ngôn ngữ Giả sử R có 5 attribute với A,B,C là 3 thuộc tính đầu được dùng trong phép chiếu  Phép chiếu (Projection) • Algebra: ΠA,B,C(R) • TRC: {T.A, T.B, T.C| R(T)} • DRC: {X,Y,Z| ∃V∃W R(X,Y,Z,V,W)} 32 Tương đương của 3 ngôn ngữ Giả sử R có 3 thuộc tính A,B,C và S có 2 thuộc tính D,E  Tích Descartes • Algebra: R x S • TRC: {T.A, T.B, T.C, V.D, V.E| R(T) AND S(V)}... query thì C1 AND C2, C1 OR C2 và NOT C1 cũng là điều kiện của query • Nếu C là điều kiện của query, R là tên của quan hệ và X là biến miền thì ∀X ∈ R.A (C) và ∃X ∈ R.A (C) cũng là điều kiện của query 25 Lượng từ và biến miền  ∀X ∈ R.A (C) đọc là “ với mọi giá trị xảy ra trong cột A của quan hệ R thì điều kiện C phải đúng  và ∃X ∈ R.A (C) đọc là “ có ít nhất một giá trị x trong cột R.A sao cho C trở... DRC query  Kết quả của DRC query cũng là 1 quan hệ và có dạng chung sau: Biến miền {X1,…,Xn| Condition} Target  Ví dụ: TRC và DRC query tương đương nhau: {Pid, Code | TEACHING (Pid, Code, F2007)} {T | TEACHING(T) AND T.Semester=‘F2007’} DRC query đơn giản hơn, loại trừ được phép so sánh T.Semester=‘F2007’ 22 DRC và TRC   DRC và TRC tương tự nhau Nhiều tính năng, kỹ thuật giống nhau Các quy tắc... biến buộc của DRC tương tự như TRC • Các biến đích ( target variable) chỉ được phép là tự do trong biểu thức điều kiện • Cho phép các hằng số (constant) xuất hiện trong phần target (đích) 23 Điều kiện cơ bản Atomic condition  Cú pháp của atomic Condition (điều kiện cơ bản) của DRC QUERY: • P(X1,…,Xn) với P là tên quan hệ và X1,…, Xn là biến miền • X oper Y với oper là toán tử so sánh, X và Y là biến...Lượng từ  Lượng từ tồn tại (existential quantifier): ∃T ∈ R (C)  tồn tại 1 bộ t∈r sao cho C trở nên đúng sau khi t được thay thế bởi T  Lượng từ phổ quát (universal quantifier): ∀T ∈ R (C)  với mọi bộ t ∈ r, C trở nên đúng nếu t được thay thế bởi biến T 11 Biến (variable)  Nếu biến bộ đứng sau 1 lượng... biểu trên có thể được gán giá trị TRUE/FALSE tại bất kỳ 1 thời điểm nào đó của database 13 So sánh biến buộc và biến tự do trong TRC   Biến buộc (Bound variable) được dùng để đánh giá các bộ trong 1 quan hệ (được dùng trong condition) Biến tự do (Free variable) được dùng cho các bộ được trả về bởi truy vấn (được dùng trong target) • Khi 1 giá trị được thay thế cho biến S thì điều kiện sẽ trở nên true . -%,2!2!:*%C2+A8+,A8 8A2A%A%A  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  "+8A2AA8+%;DE%?F . 95<GH  I&EJK8+,LA:G%*%!%%-%,G %%-E'MN  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  O182@+@<<%#J B2:1<G%DM.P0QR . ( :1 ) %X %Y A %.T  So sánh đại số quan hệ và phép So sánh đại số quan hệ và phép tính quan hệ tính quan hệ  O182@J  @]!%%-.T2%2^B