Phân tích và thiết kế chƣơng trình thử nghiệm

Một phần của tài liệu (LUẬN văn THẠC sĩ) phép dịch chuyển lược đồ khối trong mô hình dữ liệu dạng khối (Trang 67 - 68)

CHƢƠNG 3 CHƢƠNG TRÌNH THỬ NGHIỆM

3.2. Phân tích và thiết kế chƣơng trình thử nghiệm

3.2.1. Thủ tục dịch chuyển

Trong chƣơng 2 của luận văn, tác giả đã giới thiệu 2 thuật toán dịch chuyển lƣợc đồ khối. Cả 2 thủ tục này đều có thông tin vào là lƣợc đồ khối = (R, Fh) và tập thuộc tính chỉ số X, thông tin ra là lƣợc đồ dịch chuyển theo tập thuộc tính chỉ số X của : = \ X = (V,G) với V = R\X, G = F\X.

Xác định V: Ở cả 2 thủ tục dịch chuyển, việc xác định tập V:=R\X đều giống nhau, nghĩa là V thu đƣợc từ việc loại bỏ khỏi R các thuộc tính trong X

Việc xác định tập FTH G: Đối với thủ tục dịch chuyển sử dụng thuật toán 2.1, ta sẽ tiến hành thực hiện trực tiếp trên các FTH của khối ban đầu. Còn thủ tục dịch chuyển sử dụng thuật toán 2.2, ta sẽ tiến hành thực hiện trên các lát cắt.

Việc thực hiện thao tác G:= Rutgon(G) ta thực hiện 2 việc: + Loại bỏ các PTH tầm thƣờng (dạng X Y, X Y) + Loại bỏ bớt các PTH trùng nhau.

3.2.2. Biểu diễn khóa qua phép dịch chuyển

Theo mệnh đề 2.26, việc xác định khóa của lƣợc đồ khối α có thể đƣợc thực hiện thông qua việc tìm khóa của lƣợc đồ β = α\X với X U0; Việc xác định khóa của lƣợc đồ khối β có thể đƣợc thực hiện thông qua việc tìm khóa Kxcủa lát cắt βx, x id, mỗi lát cắt lại có thể coi là một LĐQH. Vậy, việc tìm khóa của lƣợc đồ khối lại trở thành việc tìm khóa của LĐQH.

3.2.3. Thiết kế chương trình

Chƣơng trình cần có một số chức năng chính sau:

+ Nhập dữ liệu: cho phép ngƣời sử dụng nhập các lƣợc đồ khối, các phụ thuộc hàm và các thuộc tính chỉ số. Việc nhập dữ liệu có thể đƣợc thực hiện thông qua tệp hoặc nhập trực tiếp.

+ Thực hiện thủ tục dịch chuyển lƣợc đồ khối: Cho phép ngƣời sử dụng lựa chọn áp dụng một trong 2 thuật toán dịch chuyển lƣợc đồ khối đầu vào, hiển thị kết quả ra màn hình.

+ Biểu diễn khóa qua phép dịch chuyển

Một phần của tài liệu (LUẬN văn THẠC sĩ) phép dịch chuyển lược đồ khối trong mô hình dữ liệu dạng khối (Trang 67 - 68)

Tải bản đầy đủ (PDF)

(77 trang)