... if(((a-1)*(b-1)/4)%2==0) return +jacobi(b,a); else return -jacobi(b,a); if(gcd(a,b)==1) if(((a-1)*(b-1)/4)%2==0) return +jacobi(b,a); else return -jacobi(b,a); factor2(a,&a1,&a2); return jacobi(a1,b) * jacobi(a2,b); ... đoạn mã định lý phần d trung hoa ngôn ngữ C : Int chinese remainder(size t r, int *m, int *u) { size t i; int modulus; int n; modulus = 1; for ( i=0; i
... thu n, làm t ng chi phí qu n lý Song song ó c ng t n t i m t s v n v b o m t Ví d nh m t ng i không làm vi c cho company n a ngày cu i l i company c ng ngày ma account c a ph i b xoá s tránh b ... c a Smart Cards Gi ng nh credit card, smart card m t thi t b ph n c ng, có b nh vi x lý ch c cb ib c smart card t i v trí c a client Smart card có nh ng ti n ích: L I ÍCH MÔ T T ng tính Smart ... uy tín, th m quy n cung c p khoá ( Xem ch ng PKI ) Secure Socket Layer Protocol Giao th c Secure Socket Layer – SSL Protocol, Netscape Corporation phát tri n, m t chu n công nghi p c ch p nh n...
... Standardization IV Initialization Vector MAC Mandatory Access Control MD RBAC Message-Digest Procedural Language/Structured Query Language Role-Based Access Control RC Rivest Cipher SA Security Administrator ... DBMS chạy máy mainframes, minicomputers, PC's (portable codebase) Phiên Oracle thể làm việc theo "transactional" Oracle v3 viết C - 1983 Relational Software Inc đỗi tên thành Oracle Corporation ... DES Data Encryption Standard DML Data Manipulation Language ECB Electronic Codebook FW Firewall HSM Hardware Security Module IDS Intrusion Detection System ISO International Organization for Standardization...
... Hơng Khoa ĐT-VT ĐHBK-HN 11/2004 123 phụ thuộc hàm tồn khoá ứng cử, có Boyce Codd xem xét phụ thuộc hàm khoá ứng cử quan hệ đa định nghĩa mà đợc gọi dạng chuẩn Boyce-Codd (Boyce-Codd Normal Form ... hoá dạng chuẩn thứ (1NF: First Normal Form) Một số quan hệ 1NF dạng chuẩn thứ hai (2NF: Second Normal Form) số quan hệ 2NF dạng chuẩn thứ ba (3NF: Third Normal Form) Sau đó, Fagin định nghĩa ... tơng ứng với giá trị quan hệ gốc SECOND hình 3.7 Một lần nữa, trình thuận nghịch SECOND kết nối SC CS Rõ ràng cấu trúc giải tất vấn đề phép toán lu trữ So sánh hình 3.8 3.6, thấy ảnh hởng...
... đương Phụ thuộc hàm tối thiểu Các dạng chuẩn Thiết kế CSDL Một lược đồ quan hệ dạng chuẩn Boyce-Codd (BCNF) phụ thuộc hàm X → A thỏa mãn R X siêu khóa R Bài giảng sởliệu - Nguyễn Hải Châu 42...
... THANH THONG TIN CONG NGHE COSODULIEU THONG TIN DIEN TU VI XULY 4 Chú ý ràng xét dạng chuẩn, ta không nói thêm, ta hiểu dạng chuẩn xét đạt dạng chuẩn ii Dạng Chuẩn (Second Normal Form) Một lược ... lược đồ CSDL Kehoach(NGAY,GIO,PHONG,MONHOC,GIAOVIEN) F={NGAY,GIO,PHONG→MONHOC MONHOC,NGAY→GIAOVIEN NGAY,GIO,PHONG→GIAOVIEN MONHOC→GIAOVIEN} a) Xác đònh dạng chuẩn cao Kehoach b) Nếu Kehoach chưa ... đạt dạng chuẩn 3, phân rã Kehoach thành lược đồ CSDL dạng chuẩn vừa bảo toàn phụ thuộc hàm vừa bảo toàn thông tin c) Nếu Kehoach chưa đạt dạng chuẩn BC, phân rã KeHoach thành lược đồ CSDL dạng...
... (Data Manipulation Language), DDL (Data Definition Language) capture apply procedure hệ thống Nghĩa thay đổi liệu từ CSDL cấp tỉnh cập nhật lên CSDL cấp huyện ngược lại Streams cung cấp ba module ... truyền thông: Tăng ứng dụng cục làm giảm chi phí truyền thông - Nâng cao hiệu suất: Có chế xử lý song song phân mảnh liệu theo ứng dụng làm cực đại hóa tính cục ứng dụng 35 HỘI THẢO ỨNG DỤNG GIS ... phân tán hướng dẫn cụ thể tài liệu “Oracle Streams Concepts and Administration, 11g Release” Oracle cung cấp website http://www.oracle-base.com/articles/11g KẾT QUẢ THỰC NGHIỆM TẠI ĐỒNG NAI Mô...
... (Invoice Number (PK), Product Number (PK), Product Description, Quantity, Unit Price, Extended Amount) Ta thấy có phụ thuộc hàm vào phần khóa sau {Product Number} -> {Product Description, Unit ... Unit Price} Quan hệ tách thành quan hệ sau: PRODUCT (Product Number,Product Description, Unit Price) INVOICE LINE ITEM (Invoice Number (PK), Product Number (PK), Quantity, ExtAmount) Slide -Chuẩn ... Zip Code, Customer Phone, Terms, Ship Via, Order Date, Total Order Amount INVOICE LINE ITEM: Invoice Number (PK), Product Number (PK), Quantity, Sale Unit Price, Extended Amount PRODUCT: Product...
... Q(MaHS,HoTen,DiemTB,MaLop,TenLop), F = {MaHSHoTen,DiemTB,MaLop,TenLop ; MaLopTenLop } Nhận xét : MaHS khóa Q Q không đạt dạng chuẩn (có phụ thuộc bắc cầu MaHSMaLopTenLop) Tách Q thành Q1(MaHS,HoTen,DiemTB,MaLop) ... chuẩn (có phụ thuộc bắc cầu MaHSMaLopTenLop) Tách Q thành Q1(MaHS,HoTen,DiemTB,MaLop) Q2(MaLop,TenLop) với X = {MaLop} Nhận xét : Q1, Q2 đạt dạng chuẩn BC Phép tách kết nối (p.8) Tính chất – ... hệ (Normal Form) Định nghĩa : Dạng chuẩn tập tiêu chuẩn để đánh giá độ tốt & xấu (của lược đồ Quan hệ) Phân loại : Có mức dạng chuẩn : Dạng chuẩn Dạng chuẩn Dạng chuẩn Dạng chuẩn Boyce-Codd (BC)...
... quan hệ phổ quát Co( Q,F), giả sử phân rã thành lược đồ CSDL C ={} C bảo toàn thông tin Co tồn quan hệ Qj ∈ C cho khóa Qj khóa Q Điều kiện bảo toàn phụ thuộc hàm Co C gọi bảo toàn ... (lúc số j ký hiệu phải giống nhau) Chú ý bước lặp lại (cho phụ thuộc hàm) không áp dụng (nghĩa lần duyệt qua tất phụ thuộc hàm F mà bảng thay đổi (3)Xét bảng kết quả, thấy bảng có hàng chứa toàn ... Quá trình phân rã trình lặp lại quan hệ đánh giá phân rã *PHÂN RÃ MỘT LƯỢC ĐỒ Q THÀNH CÁC LƯỢC ĐỒ CON DẠNG chuẩn BCK VA BẢO TOÀN THÔNG TIN CơSở Lý Thuyết Bổ đề 1: Giả sử Q lược đồ quan hệ với...
... Trư ng ĐH Bách Khoa HN Email: virces931511@yahoo.com Website: http://cntt.tv Xin giành b n d ch t ng anh em l p ĐT12.K49 nói riêng, bà khoa Đi n t Vi n thông K49 trư ng ĐH Bách Khoa HN nói riêng ... Analysis, by Dr Art Langer, devotes considerable space to normalization Springer-Verlag Telos (January 15, 1997) ISBN: 0387949720 Báo cáo khoa h c năm 1969 c a Dr Codd's v chu n hóa CSDL: www.acm.org/classics/nov95 ... ng m i Chúng ta s g i b ng m i order_items (xem Hình D) Edited by Foxit Reader Copyright(C) by Foxit Software Company,2005-2008 For 11 Evaluation Only Các thu c tính l i – g m thu c tính ch...
... NHANVIEN Ten MaNV f.k NgSinh DChi f.k DUAN TrPhong Ten MaPhong p.k PHONGBAN Ten MaPB MaDA p.k Ph thu c hàm Diadiem p.k p.k TRUSO_PHONG f.k f.k MaPB Truso f.k THAMGIA f.k f.k MaNV MaDA p.k SoGio PhongQly ... NVIEN_DUAN MaNV MaDA SoGio TenNV TenDA Diadiem FD1 PTH b ph n FD2 FD3 Ph thu c hàm D ng chu n theo khóa (2) NVIEN_DUAN MaNV MaDA SoGio TenNV TenDA Diadiem FD1 FD2 FD3 NV_DA1 NV_DA2 MaNV MaDA SoGio ... thu c hàm NHANVIEN_DUAN1 MaNV MaDA SoGio TenDA Diadiem p.k Phát sinh b th c (2) NHANVIEN_DIADIEM TenNV Diadiem Hung Tan Binh Hung Thu Duc Nghia Thu Duc NHANVIEN_DUAN1 MaNV MaDA SoGio TenDA Diadiem...
... 900>, < i16, worksIn, i33>, } > } C= { < i40, PersonClass, {< i41, age, ( the code of the method age } >, < i50, EmpClass, { < i51, changeSal, ( the code of the method changeSal )>, } > } R={i1, ... Nội dung trình bày Đặt vấn đề Mô hình AS Tiếp cận ngôn ngữ lập trình Kết luận Đặt vấn đề • • Sau giải thể Object Data Management Group (ODMG) vào năm 2001, nỗ ... Một đối tượng thuộc lớp Person có việc làm có vai trò đối tượng thuộc lớp Employee!!! Mô hình AS (Abstract Store) Mô hình AS2 (Abstract Store 2) Khi đối tượng Person đòi hỏi vai trò Employees,...
... lý ISO 19117 Geographic Information – Portrayal Chuẩn hệ quy chiếu tọa độ ISO 19111 Geographic Information – Spatial Referencing by Coordinates 10 Chuẩn mãhóaliệu ISO 19118 Geographic Information ... reference model) - ISO19101 – Mô hình quy chiếu - ISO19102 – Tổng quan (đã bị xóa) - ISO19103 – Ngôn ngữ lược đồ khái niệm - ISO19104 – Các thuật ngữ - ISO19105 – Sự thích ứng kiểm tra - ISO/TR 19121 ... Group 9: Quản lý thông tin (Information management) - ISO/TS 19127 – Các thông sốmã đo đạc - ISO19131 – Đặc tả sản phẩm liệu - ISO 19135 – Thủ tục đăng ký mục - ISO19138 – Các phép đo chất lượng...
... thuộc hàm đầy đủcó A → C Cơsởliệu - Khoa CNTT - CĐ KTCN ĐN I Dạng chuẩn 1: Lược đồ quan hệ Q gọi đạt dạng chuẩn (1NF) toàn thuộc tính Q mang giá trị đơn MASV HOTEN MONHOC DIEM CDTH0845 Nguyễn ... Thu Hà Kỹ Thuật Lập Trình Lược đồ không đạt chuẩn Cơsởliệu - Khoa CNTT - CĐ KTCN ĐN Dạng chuẩn 1: (tt) Lược đồ đạt chuẩn MASV HOTEN MONHOC DIEM CDTH0845 Nguyễn Văn A Kỹ Thuật Lập Trình CDTH0845 ... siêu khoá M → P có vế phải thuộc tính khoá Nên Q đạt chuẩn Cơsởliệu - Khoa CNTT - CĐ KTCN ĐN 16 IV Dạng chuẩn BC: (Boyce Codd) Lược đồ Q dạng chuẩn BC phụ thuộc hàm X→A ∈ F+ với A ∉ X có X siêu...