ngôn ngữ truy vấn dựa trên phép tính quan hê

       !∀#∃ %!∃&        Gii thiu  Phép tính quan h trên b  Phép tính quan h trên min C s d liu - Khoa CNTT - H KHTN TPHCM 2   Là ngôn ng truy vn hình thc  Do Codd  ngh vào nm 1972, “Data Base Systems”, Prentice Hall, p33-98 C s d liu - Khoa CNTT - H KHTN TPHCM 3  c im - Phi th tc - Da vào lý thuyt logic tân t (v t) bc 1: xem mi quan h là mt tân t bc 1 - Rút trích cái gì (what) ≠ rút trích nh th nào (how) - Kh nng din t tng ng vi SQH   Có 2 loi - Phép tính quan h trên b (Tuple Rational Calculus)  SQL - Phép tính quan h trên min (Domain Rational Calculus)  QBE (Query By Example) C s d liu - Khoa CNTT - H KHTN TPHCM 4   Gii thiu  Phép tính quan h trên b  Phép tính quan h trên min C s d liu - Khoa CNTT - H KHTN TPHCM 5   Biu thc phép tính quan h trên b có dng - t là bin b  Bin nhn giá tr là mt b ca quan h trong CSDL  t.A là giá tr ca thuc tính A trong b t { t.A | P(t) } C s d liu - Khoa CNTT - H KHTN TPHCM 6 - P là công thc có liên quan n t  P(t) có giá tr ÚNG hoc SAI ph thuc vào t - Kt qu tr v là tp giá tr ca thuc tính A trong các b t sao cho P(t) úng - Mi quan h Qi ca lc  CSDL là mt v t; mi quan h có mt bin qi tng ng; mi b thuc mt th hin ca quan h Qi là mt tr ca bin qi  !∀#∃%&∋    C s d liu - Khoa CNTT - H KHTN TPHCM 7     (∋)  Tìm các nhân viên có lng trên 30000:  ∧ ∧∧ ∧ !∀#∃∃∃∃% & ∋  C s d liu - Khoa CNTT - H KHTN TPHCM 8 - NHANVIEN(t) úng  Nu t là mt b ca quan h NHANVIEN - t.LUONG > 30000 úng  Nu thuc tính LUONG ca t có giá tr trên 30000  (∋∗  Cho bit mã và tên nhân viên có lng trên 30000 - Tìm nhng b t thuc NHANVIEN có thuc tính lng ln hn 30000 - Ly ra các giá tr ti thuc tính MANV và TENNV C s d liu - Khoa CNTT - H KHTN TPHCM 9 - Tp các MANV và TENNV ca nhng b t sao cho t là mt b ca NHANVIEN và t có giá tr ln hn 30000 ti thuc tính LUONG !! ∧ ∧∧ ∧ !∀#∃∃∃∃% (∋+  Cho bit các nhân viên (MANV) làm vic  phòng ‘Nghien cuu’ (∈ ∈∈ ∈ ∧ ∧∧ ∧ (!= == = )∗+,−.//0% ! ∧ ∧∧ ∧ C s d liu - Khoa CNTT - H KHTN TPHCM 10 - Ly ra nhng b t ca quan h NHANVIEN - So sánh t vi mt b s nào ó  tìm ra nhng nhân viên làm vic  phòng ‘Nghien cuu’ - Cu trúc “tn ti” ca phép toán logic ∃ ∃∃ ∃∧ ∧∧ ∧  .1,&23(45+567832394:/4.+;+<4=>?=7=>?≅.∗ [...]... Calculus) SQL - Phép tính quan h trên mi n (Domain Rational Calculus) QBE (Query By Example) C s d li u - Khoa CNTT - H KHTN TPHCM 4   Gi i thi u Phép tính quan h trên b Phép tính quan h trên mi n C s d li u - Khoa CNTT - H KHTN TPHCM 5         Biu th c phép tính quan h trên b có dng { t.A | P(t) } - t là bin b Bin nhn giá tr là m t b ca quan h trong CSDL t.A là giá tr ca thu c tính A...    Là ngôn ng truy v n hình th c Do Codd  ngh vào n m 1972, “Data Base Systems”, Prentice Hall, p33-98 c im - Phi th tc - Da vào lý thuyt logic tân t (v t) bc 1: xem mi quan h là m t tân t bc 1 - Rút trích cái gì (what) ≠ rút trích nh th nào (how) - Kh n ng din t t ng  ng v i C s d li u - Khoa CNTT - H KHTN TPHCM SQH 3     Có 2 loi - Phép tính quan h trên b (Tuple... h trong CSDL t.A là giá tr ca thu c tính A trong b t - P là công th c có liên quan n t P(t) có giá tr ÚNG hoc SAI ph thu c vào t - Kt qu tr v là tp giá tr ca thu c tính A trong các b t sao cho P(t) úng - Mi quan h Qi ca lc  CSDL là m t v t; mi quan h có m t bin qi t ng ng; mi b thu c m t th hi n ca quan h Qi là m t tr ca bin qi C s d li u - Khoa CNTT - H KHTN TPHCM 6   . !∀#∃ %!∃&        Gii thiu  Phép tính quan h trên b  Phép tính quan h trên min C s d liu - Khoa CNTT - H KHTN TPHCM 2   Là ngôn ng truy vn hình thc  Do Codd . Phép tính quan h trên min (Domain Rational Calculus)  QBE (Query By Example) C s d liu - Khoa CNTT - H KHTN TPHCM 4   Gii thiu  Phép tính quan h trên b  Phép tính. tính quan h trên min C s d liu - Khoa CNTT - H KHTN TPHCM 5   Biu thc phép tính quan h trên b có dng - t là bin b  Bin nhn giá tr là mt b ca quan