1. Trang chủ
  2. » Công Nghệ Thông Tin

Ôn tập môn cơ sở dữ liệu nâng cao

29 971 1

Đang tải... (xem toàn văn)

Tài liệu hạn chế xem trước, để xem đầy đủ mời bạn chọn Tải xuống

THÔNG TIN TÀI LIỆU

Thông tin cơ bản

Định dạng
Số trang 29
Dung lượng 659,82 KB

Nội dung

GIAOVIEN MON giang hoten tenmon tuoi id_m sotiet id_gv (1,n) (1,n) GIAOVIEN KHOA giang hoten tenkhoa tuoi id_k sodienthoai id_gv tongsotiet (1,n) (1,n) NGUOI Sinh id hoten tuoi con (0,n) cha, me (1,1) Ôn tập: 1. Các qui tắc ECA (Event-Condition-Action rules) 2. Các vấn đề cần xem xét khi thiết kế và cài đặt CSDL tích cực 3. Phân biệt Valid time, transaction time, bitemporal time trong CSDL thời gian 4. Mô hình và thao tác trên CSDL suy diễn 5. Mô hình cơ sở dữ liệu đối tượng 6. Chuyển đổi từ mô hình đối tượng sang mô hình quan hệ 7. Chuyển đổi từ mô hình ER sang mô hình quan hệ 8. Truy vấn trong cơ sở dữ liệu hướng đối tượng và ODMG 3.0 9. Phân mảnh trong CSDL phân tán 10. Xử lý truy vấn trong CSDL phân tán 11. Lịch tuần tự, khả tuần tự của các giao tác 12. Thuật toán khóa 2 pha 13. Deadlock và Starvation 14. Tiếp cận thời nhãn và ma trận tương thích Bài làm 1. Các qui tắc ECA (Event-Condition-Action rules) : có tác dụng đảm bảo tính toàn vẹn trong CSDL. Một qui tác được cấu thành từ 3 thành phần (trong CSDL tích cực)  Qui tắc sự kiện (event): là các sự kiện luôn áp dụng cho cập nhật dữ liệu, gắn với CSDL. Chúng cũng có thể là sự kiện thời gian hoặc một kiểu sự kiện mở rộng khác.  Qui tắc điều kiện (condition): Điều kiện là lựa chọn. Nếu không có điều kiện nào được xác định thì hành động sẽ được thực hiện khi sự kiện xảy ra. Nếu điều kiện được xác định thì hành động chỉ xảy ra khi sự kiện là đúng.  Qui tắc hành động chiếm giữ (action rule): hành động thường là một câu truy vấn (SQL), một thực hiện CSDL hoặc một chương trình mở rộng được thực hiện một cách tự động.  CSDL tích cực nâng cao: nâng cao chức năng CSDL truyền thống với đầy đủ các quy tắc - khả năng xử lý.  CSDL tích cực cung cấp một máy có khả năng và hoạt động tương tự như bất kỳ ứng dụng hệ thống CSDL như: + Tích hợp ràng buộc + Khung nhìn + Thống kê kết quả + Giám sát hoặc thông báo,… • TrongcơsởdữliệuquanhệcácquytắctíchcựcđượcviếtdướidạngcácTrigger.Vídụ: Với hai bảng: o DonVi (MaDV, TenDV,TongLuong, MaNQL) 1 o NhanVien (MaNV, TenNV, NgaySinh, GioiTinh,Luong, MaDV) Một quytắcsẽ có dạngnhư sau: o Event:Hành động Insert một bản ghi trongbảng NhanVien. o Condition:  GiátrịcủaMaDVđượcthêmvàokhôngcótrongtậpgiátrịhiệncótrong bảng DonVi.  NếuMaDVđượcthêmvàolàđãcótrongbảngDonViTổnglươngcủa đơn vị đó cần được thay đổi. o Action:  Sửađổi sai sótdo sự kiện gâyra.  Thôngbáo lỗicho người dùng. 2. Các vấn đề cần xem xét khi thiết kế và cài đặt CSDL tích cực:  Nguyên tắc 1: Hoạt động, ngừng hoạt động và nhóm qui tắc: Một hệ thống CSDL tích cực sẽ cho phép người sử dụng hoạt động, ngừng hoạt động và hủy các quy tắc bởi tên của quy tắc.  Nguyên tắc 2: Hành động gây ra sẽ xảy ra trước, sau hoặc đồng thời với lúc bắt đầu sự kiện.  Nguyên tắc 3: Hành động xảy ra hiện tại được suy xét như một sự thực hiện rời rạc hoặc là một phần của một thực hiện tương tự gây ra qui tắc. o Có 3 khả năng chính đối với qui tắc suy xét:  1. Suy xét trực tiếp: Điều kiện được ước lượng là một phần của thực hiện tương tự khi bắt đầu sự kiện, và được ước lượng trực tiếp. Có 3 lựa chọn: + Ước lượng điều kiện trước khi sự kiện bắt đầu. + Ước lượng điều kiện sau khi sự kiện bắt đầu. + Ước lượng điều kiện thay thế việc thực hiện khi sự kiện bắt đầu.  2. Trì hoãn sự suy xét: Điều kiện được ước lượng vào cuối của sự thực hiện bao gồm sự kiện bắt đầu.  3. Suy xét tách rời: Điều kiện được ước lượng như một thực hiện rời rạc, được tái tạo từ lúc bắt đầu thực hiện. 3. Phân biệt Valid time, transaction time, bitemporal time trong CSDL thời gian:  Valid time (VT): thời gian sự kiện xảy ra, thông tin cập nhật dữ liệu lấy kiểu thời gian thực. 2  Transaction time (TT): thời gian thực hiện cập nhật vào CSDL (thời gian hệ thống).  Bitemporal time (BT): bao gồm cả VT và BT.  user-define time: do tùy người sử dụng. 4. Mô hình và thao tác trên CSDL suy diễn: 4.1 Mô hình CSDL suy diễn:  Kí pháp toán học để mô tả hình thức dữ liệu và các quan hệ.  Kỹ thuật để xử lý dữ liệu như trả lời các câu hỏi, kiểm tra điều kiện toàn vẹn.  Logic bậc một được dùng như kí pháp toán học để mô tả dữ liệu trong mô hình CSDL suy diễn và dữ liệu được xử lý trong các mô hình như vậy nhờ việc đánh giá công thức logic.  Tuy nhiên để dễ biểu diễn hình thức các khái niệm về CSDL suy diễn, người ta thường dùng phép toán vị từ, tức logic vị từ bậc nhất. Logic vị từ bậc nhất là ngôn ngữ hình thức dùng để thể hiện các quan hệ giữa các đối tượng và để suy diễn ra quan hệ mới.  Các định nghĩa: o Định nghĩa 1: Mỗi một hằng số, một biến số hay một hàm số áp lên các tên là một hạng thức (term) Hàm n ngôi f(x1,x2, ,xn); xi | i = 1,2, ,n là một hạng thức thì f(x1,x2,…,xn) là một term. o Định nghĩa 2: Công thức nguyên tố (công thức nhỏ nhất) là kết quả của việc ứng dụng một vị từ trên các tham số của term dưới dạng P(t1, t2,…, tn). Nếu P là vị từ có n ngôi và ti | i=1,2, ,n là một hạng thức(term). o Định nghĩa 3: (Literal) Dãy các công thức nguyên tố hay phủ định của công thức nguyên tố đã được phân tách qua các liên kết logic (∧, ∨, →, ↔, ¬, ∀, ∃) thì công thức đó được thiết lập đúng đắn.  Nhận xét: • i) Một công thức nguyên tố là công thức thiết lập đúng đắn. • ii) F, G là công thức thiết lập đúng đắn => F ∧ G, F ∨ G, F → G, F ↔ G, F ,G cũng là các công thức thiết lập đúng đắn. • iii) Nếu F là công thức thiết lập đúng đắn, mà x là một biến tự do trong F => (∀x)F và (∃x)F cũng là các công thức thiết lập đúng đắn ( ∀x, ∃x trong F ). • Ví dụ 1: Cho quan hệ R(A1, A2,…, An) với n bậc (tức n thuộc tính) => là một vị từ n ngôi. Nếu 3 r∈R (r bộ của R) => (r.A1, r.A2,…, r.An ) => R(A1, A2, , An) nhận giá trị đúng. Nếu r∉R (r bộ của R) => gán (r.A1, r.A2,…, r.An ) => R(A1, A2, , An) nhận giá trị sai. o Định nghĩa 4: Câu(Clause) Công thức có dạng P1 ∧ P2 ∧ …. ∧ Pn → Q1 ∧ Q2 ∧ …. ∧ Qn Trong đó: Pi và Qj (i,j=1,2,…,n) là các Literal dương Trong hệ thống logic, Literal dương có dạng nguyên tố, nhỏ nhất, trái với Literal âm là phủ định của nguyên tố. o Định nghĩa 5: Câu Horn (Horn clause) là câu có dạng P1 ∧ P2 ∧ …. ∧ Pn → Q1 o Định nghĩa 6: CSDL suy diễn tổng quát (General deductive database) CSDL suy diễn tổng quát, hay CSDL suy diễn được xác định như cặp (D,L), trong đó D là tập hữu hạn của các câu CSDL và L là ngôn ngữ bậc một. Giả sử L có ít nhất hai ký hiệu, một là ký hiệu hằng số và một ký kiệu vị từ. + Một CSDL xác định (hay CSDL chuẩn) là CSDL suy diễn(D,L) mà D chỉ chứa các câu xác định(câu chuẩn). + Một CSDL quan hệ là CSDL suy diễn (D,L) mà D chỉ chứa các sự kiện xác định . 4.2 Thao tác trên CSDL suy diễn: 4.2.1 Định nghĩa 1:Giao tác (Transaction) Một giao tác trong CSDL suy diễn là một một xâu hữu hạn của các phép toán, hay các hành động bổ sung, loại bỏ hay cập nhật các câu. Vì một CSDL suy diễn được xem như tập các câu, tức là theo quan điểm lý thuyết mô hình, không một phép loại bỏ hay cập nhật nào được phép thực hiện trên sự kiện. Các sự kiện là ngầm có trong CSDL. 4.2.2 Định nghĩa 2: Khẳng định (Commit) Một giao tác được gọi là được khẳng định tốt nếu toàn bộ xâu các phép toán tạo nên kết quả tốt của giao tác. Lý do chính của việc không đảm bảo hoàn thành tốt một giao tác là sự vi phạm điều kiện toàn vẹn khi thực hiện các phép toán trong giao tác, hay hư hỏng hệ thống, tính toán vô hạn. 5. Mô hình cơ sở dữ liệu đối tượng: 5.1 Khái niệm: Thông tin được biểu diễn thành các đối tượng giống như các đối tượng trong lập trình hướng đối tượng. – Dữ liệu thuộc tính mô tả các đặc trưng của các thực thể (đối tượng) – Các phương thức mô tả hành vi ứng xử của đối tượng – Mối quan hệ giữa các lớp với nhau. 4 – Thuộc tính khoá có thể được sử dụng để xác định các bộ dữ liệu ở những bảng khác được gọi là khoá ngoại (foreign key). Mỗi đối tượng (thực thể) có một định danh ID để xác định duy nhất trong CSDL. Các CSDLĐT được thiết kế để làm việc tốt đối với những ngôn ngữ lập trình như Java, C++, C#, Smalltalk, v.v. Mục đích của CSDLHĐT là để quản trị hiệu quả những kiểu dữ liệu phức hợp như âm thanh, hình ảnh, dữ liệu đa phương tiện, v.v., nhằm khắc phục những hạn chế của CSDL quan hệ. 5.2 Kiến trúc của CSDL đối tượng: CSDL đối tượng được tối ưu hóa cho truy cập điều hướng và điều phối các đối tượng giữa các máy chủ cơ sở dữ liệu Server và Client. Client-server architecture of an ODBMS 6. Chuyển đổi từ mô hình đối tượng sang mô hình quan hệ: Có một số cách thức thực hiện:  Một trong các cách sử dụng phổ biến là là định nghĩa một bảng cho mỗi lớp, trong đó mỗi cột trong bảng đại diện cho một thuộc tính của lớp (attri đơn trị, hoặc đa trị) Employee_Table • Tất cả các thuộc tính của Employee được lưu trong bảng Employee • Những thuộc tính trên cùng với các thuộc tính bổ sung của HourlyEmployee sẽ được copy để lưu bảng HourlyEmployee. 5 Tương tự đối với bảng SalariedEmployee. Nhận xét: – Việc chuyển mô hình đối tượng về quan hệ khi có kế thừa sẽ phải copy các thuộc tính của lớp cha sang lưu vào lớp con nên không bảo đảm được các dạng chuẩn dữ liệu. – Một khi các sơ đồ cần thiết đã được định nghĩa mã chuyển đổi từ đối tượng sang quan hệ được ghi. Mã này là cần thiết để có một đối tượng, khi nó được tạo ra và xử lý trong các ngôn ngữ lập trình và loại bỏ cấu trúc (deconstruct) để biểu diễn chúng theo yêu cầu của cơ sở dữ liệu. – Ngoài ra khi cần tìm các đối tượng HourlyEmployee trong CSDL thì phải kết nối các bảng HourlyEmployee và Employee. Như vậy sẽ tốn kém thời gian. – Vấn đề quan trọng nữa là khi cập nhật thông tin, vì có nhiều mối quan hệ giữa các bảng thực thể nên độ phức tạp sẽ càng tăng. 7. Chuyển đổi từ mô hình ER sang mô hình quan hệ:  Mỗi tập thực thể của mô hình ER chuyển đổi thành 1 lớp đối tượng có cùng tên và cùng tập thuộc tính. Các thuộc tính đa trị và phức hợp của mô hình ER được chuyển thành các thuộc tính đa trị (sử dụng từ khóa set) và phức hợp (sử dụng từ khóa tuple) cảu mô hình hướng đối tượng.  Việc xác định các phương thức cho mỗi lớp đối tượng được thực hiện sau đó bởi người thiết kế hệ thống CSDL.  Các qui tắc: o Qui tắc chuyển đổi mối quan hệ is-a: nếu tập thực thể A là có mối quan hệ is –a với tập thực thể B thì lớp A sẽ kế thừa tất cả các thuộc tính trong lớp B (tức: lớp A là lớp con của lớp B). Ví dụ: NGUOI NHANVIEN is-a id hoten luong tuoi 6 Mô hình hướng đối tượng Class NGUOI properties Id: String; Hoten: String; Tuoi: Integer; End NGUOI. Class NHANVIEN inherits:NGUOI; properties Luong: Integer; End NHANVIEN. M« hình quan hÖ NGUOI(id, hoten, tuoi) NHANVIEN(id, luong) o Qui tắc 2 (qui tắc chuyển đổi mối quan hệ nhị nguyên không có thuộc tính) : nếu 2 tập thực thể A và B có mối quan hệ R (R không có các thuộc tính đính kèm), thì mỗi lớp tương ứng A và B sẽ được bổ sung thêm thuộc tính mối quan hệ R (khai báo thuộc tính đa trị/đơn trị là tùy thuộc vào bản số liên quan). Cụ thể: Xét 2 trường hợp sau:  Trường hợp 1: Nếu chỉ số cực đại của cung nối A và R là 1 thì thuộc tính R trong lớp A được khai báo : <Tên thuộc tính R> : <Lớp B>;  Trường hợp 2: Nếu chỉ số cực đại của cung nối A và R là n thì thuộc tính R trong lớp A được khai báo : <Tên thuộc tính R> : set (<Lớp B>); Ví dụ : mối quan hệ 1-1 Mô hình hướng đối tượng Class TRUONGKHOA properties Id_tk: String; Hoten: String; Tuoi: Integer; Quanly: KHOA; End TRUONGKHOA. Class KHOA properties Id_k: String; Tenkhoa: String; Sodienthoai: String; Quanly: TRUONGKHOA; End KHOA. Mô hình quan hệ TRUONGKHOA(id_tk, hoten, tuoi) KHOA(id_k, tenkhoa, sodienthoai, id_tk) TRUONGKHOA KHOA 7 quanly Id_tk id_tk hoten tenkhoa tuoii tuoi (1,1) 8 Ví dụ: (Mối quan hệ 1 – nhiều) Mô hình hướng đối tượng Class GIAOVIEN properties Id_gv: String; Hoten: String; Tuoi: Integer; Giang: set(MON); End GIAOVIEN. Class MON properties Id_m: String; Tenmon: String; Sotiet: Integer; Giang: set(GIAOVIEN); End MON. Mô hình quan hệ GIAOVIEN(id_gv, hoten, tuoi) MON(id_m, tenmon, sotiet) GIANG(id_gv, id_m) Ví dụ : (Mối quan hệ nhiều – nhiều) 9 GIAOVIEN KHOA thuoc id_gv hoten tenkhoa tuoi id_k sodienthoai M« h×nh thùc thÓ - mèi quan hÖ (1,1) (1,n) Mô hình hướng đối tượng Class GIAOVIEN properties Id_gv: String; Hoten: String; Tuoi: Integer; Thuoc: KHOA; End GIAOVIEN. Class KHOA properties Id_k: String; Tenkhoa: String; Sodienthoai: String; Thuoc: set(GIAOVIEN); End KHOA. Mô hình quan hệ GIAOVIEN(id_gv, hoten, tuoi, id_k) KHOA(id_k, tenkhoa, sodienthoai) o Qui tắc 3: Quy tắc chuyển đổi mối quan hệ nhị nguyên n-n có kèm thuộc tính  Nếu mối quan hệ R của 2 tập thực thể A1 và A2 có kèm thuộc tính, khi đó, ngoài 2 lớp A1 và A2 tương ứng, ta cần bổ sung 1 lớp mới C đóng vai trò trung gian. Cụ thể, lớp C bao gồm các thuộc tính sau: • Các thuộc tính của mối quan hệ R. • Hai thuộc tính có khai báo: <Tên thuộc tính> : <Lớp A1> <Tên thuộc tính> : <Lớp A2> Ví dụ : (1,1) Mô hình quan hệ GIAOVIEN(id_gv, hoten, tuoi) KHOA(id_k, tenkhoa, sodienthoai) GVIEN_KHOA(id_gv, id_k, tongsotiet) Mô hình hướng đối tượng Class GIAOVIEN properties Id_gv: allID; Hoten: String; Tuoi: Integer; Giang1: set(GVIEN_KHOA); End GIAOVIEN. Class KHOA properties Id_k: allID; Tenkhoa: String; Sodienthoai: String; Giang2: set(GVIEN_KHOA); End KHOA. Class GVIEN_KHOA 10 [...]... (NW)vàcautiouswaiting(CW).VớiNW,nếumộtgiaodịchkhôngnhậnđượckhóanósẽlậptức bịbỏquavàkhởiđộng lạisaumộtkhoảng thờigiantrễmàkhông cầnkiểmtraDeadlockcóthậtsự xảyrahaykhông,nhưvậyNWcóthểbỏquacácgiaodịchkhôngcầnthiết(cácgiaodịchkhông raDeadlock).Đểgiảmsốlượngcácgiaodịchbịbỏquakhông sửTicốgắngkhóamụcdữliệuXnhưngkhông gây cầnthiếtCWđượcđềxuất.Giả đượcbởiXđangbịkhóabởiTjvớimộtkhóaxung đột.VớiCautious Waiting:NếuTjkhông bịchặn(Khôngđợikhóamộtmụcd liệu) thìTisẽđược... phépkhóa orgrowingphase):Trongphanày (read_lock,write_lock)trêncácmục dữliệunhưngkhông đượcphép mở khóa (unlock)bất cứmộtmục d liệu nào o Phathulại(shrinking phase):Trongphanày,giaodịchđượcphépmởkhóatrên cácmục dữ liệu nhưngkhôngđượcphép khóathêm bất kỳmộtmục d liệu nào 24 Hình4.2: Giao thứckhóa 2 pha • Ví dụ: Hình4.3: Giao dịchT1và T2 không tuântheo 2PLP Giao dịch T1’ và T2’tuântheo 2PLP • Cácbiến thể... viên của công ty TLUONG (CHUCVU, LUONG): quan hệ này chứa dữ liệu liên quan về lương và chức vụ của nhân viên DUAN (MADA, TENDA, NGANSACH): quan hệ này chứa dữ liệu về các dự án mà công ty đang thực hiện HOSO (MANV, MADA, NHIEMVU, THOIGIAN): quan hệ này chứa dữ liệu về hồ sơ của nhân viên được phân công thực hiện dự án) NHANVIEN(E) TENNV CHUCVU A1 Nam Phân tích HT A2 Trung Lập trình viên A3 Đông Phân... số quan hệ không đủ để diễn tả các chiến lược thực thi Nó phải được cung cấp thêm các phép toán trao đổi dữ liệu giữa các vị trí Bên cạnh việc chọn thứ tự cho các phép toán đại số quan hệ, thể xử lý vấn tin phân tán cũng phải chọn các vị trí tốt nhất để xử lý dữ liệu, và có thể cả cách biến đổi dữ liệu Ví dụ 2:Thí dụ này minh họa tầm quan trọng của việc chọn lựa vị trí và cách truyền dữ liệu của một...  Thông thường, mỗi phân đoạn của quan hệ R có được bằng cách tổ hợp toán tử SELECT−PROJECT, kí hiệu ΠL(σC(R)): o If C = TRUE and L ≠ ATTRS(R): phân đoạn dọc o If C ≠ TRUE and L = ATTRS(R): phân đoạn ngang o If C ≠ TRUE and L ≠ ATTRS(R): phân đoạn hỗn hợp o 14 • • • MANV Ví dụ: Xét cơ sở dữ liệu của một công ty phần mềm được tổ chức như sau: NHANVIEN (MANV, TENNV, CHUCVU): quan hệ này chứa dữ liệu. .. số nhằm hạ thấp chi phí trả lời câu vấn tin, độc lập với dữ liệu thực và cấu trúc vật lý của dữ liệu  Nhiệm vụ chính của thể xử lý vấn tin quan hệ là biến đổi câu vấn tin cấp cao thành một câu vấn tin tương đương ở cấp thấp hơn được diễn đạt bằng đại số quan hệ Việc biến đổi này phải đạt được cả tính đúng đắn lẫn tính hiệu quả Ví dụ 1:Xét một tập con của lược đồ CSDL đã được cho NV( MNV, TênNV, Chức... Thoigian: String; Giang: GIAOVIEN; Gomco: MONHOC; Botri: LOP; End LICHDAY 8 Truy vấn trong cơ sở dữ liệu hướng đối tượng và ODMG 3.0 : 9 Phân mảnh trong CSDL phân tán: Phân mảnh (theo chiều ngang, dọc, kết hợp), bản sao (replication), cấp phát trong CSDL phân tán:  Mô hình phân đoạn của một CSDL là việc định nghĩa tập các cách phân đoạn bao gồm các thuộc tính và tuple trong CSDL và việc thoả các điều... Conservative 2PLP:Yêucầugiaodịch phảikhóatấtcảcácmục d liệu cầntruy cậptrướckhithựcthigiaodịch,bằng cáchđưa racáctập:read-setvàwrite-set (Giaothứcnàycókhảnăngngănngừadeadlock–trìnhbàytrongcácslidekế tiếp) o Strict2PLP:Yêucầugiaodịchkhôngđượcgiảiphóngbấtkỳkhóađộcquyền nào (exclusivelock) chođến khi commit hoặc abort o Rigorous2PLP: Yêucầugiaodịchkhôngđượcgiảiphóngbấtkỳ khóanàocho đến khi commit hoặc... DeadlocklàhiệntượngxảyrakhimỗigiaodịchTtrongmộttậpS(gồmhaihay nhiềugiao dịch)đợi một số mục bị khóabởi cácgiao dịch kháctrongS • Ví dụ: Hai giao dịch đangtrongtrạngthái Deadlock: T1 T2 read_lock(Y) read_item(Y) read_lock(X) read_item(X) write_lock(X) write_lock(Y) TrongvídụnàygiaodịchT1đangđợikhóaghitrênmụcdữliệuXnhưngXlạiđangbị khóabởigiaodịchT2;còngiaodịchT2đangđợikhóaghitrênmụcdữliệuYnhưng Ylạiđangbị khóabởigiao... phân tán là ánh xạ câu truy vấn cấp cao trên một CSDL phân tán vào một chuỗi các thao tác của đại số quan hệ trên các mảnh, thể hiện các bước: o Câu truy vấn phải được phân rã thành một chuỗi các phép toán quan hệ được gọi là vấn tin đại số o Thứ hai, dữ liệu cần truy xuất phải được cục bộ hóa để các thao tác trên các quan hệ được chuyển thành các thao tác trên dữ liệu cục bộ (các mảnh) o Cuối cùng . các công thức nguyên tố hay phủ định của công thức nguyên tố đã được phân tách qua các liên kết logic (∧, ∨, →, ↔, ¬, ∀, ∃) thì công thức đó được thiết lập đúng đắn.  Nhận xét: • i) Một công. nguyên tố là công thức thiết lập đúng đắn. • ii) F, G là công thức thiết lập đúng đắn => F ∧ G, F ∨ G, F → G, F ↔ G, F ,G cũng là các công thức thiết lập đúng đắn. • iii) Nếu F là công thức. GiátrịcủaMaDVđượcthêmvàokhôngcótrongtậpgiátrịhiệncótrong bảng DonVi.  NếuMaDVđượcthêmvàolàđãcótrongbảngDonViTổnglươngcủa đơn vị đó cần được thay đổi. o Action:  Sửađổi sai sótdo sự kiện gâyra.  Thôngbáo lỗicho

Ngày đăng: 18/05/2015, 23:52

TỪ KHÓA LIÊN QUAN

TÀI LIỆU CÙNG NGƯỜI DÙNG

TÀI LIỆU LIÊN QUAN

w