H 3.12 Tất cả các khóa của lược đồ
3.2.1.3 Lưu dữ liệu
Ngoài ra hệ thống còn cho phép lưu dữ liệu dưới dạng file *.txt. Khi nhập thông tin trực tiếp từ bàn phím bạn có thể lưu lại các thông tin của phụ thuộc hàm đó bằng cách chọn chức năng Lưu file trên menu tạo mới.
3.2.1.4 In Lời giải
Sau khi nhập vào lược đồ quan hệ và thực hiện yêu cầu bài toán thì hệ thống sẽ đưa ra lời giải cũng như kết quả trên text box, nếu bạn muốn in lời giải trên Menu chọn TẠO MỚI-> In lời giải khi đó lời giải sẽ được in ra và nếu như bạn kết nối với thiết bị in ấn thì có thế in lời giải ra paper.
3.2.2 Tìm bao đóng
3.2.2.1 Bao đóng tập thuộc tính
Mô tả chung: Chức năng này cho phép bạn tìm bao đóng của thuộc tính của lược đồ quan hệ.
Mô tả chức năng:
Đầu vào: Lược đồ quan hệ α= <U,F> và thuộc tính để tính bao đóng X.
Xử lý: Sau khi đã nhập các thông tin đầu vào, lựa chọn chức năng Bao Đóng-> Thuộc Tính trên Menu.
Đầu ra: Kết quả trả ra là bao đóng của thuộc tính. Giao diện:
3.2.2.2 Bao đóng phụ thuộc hàm
Mô tả chung: Chức năng này cho phép bạn tính bao đóng của tập phụ thuộc hàm của lược đồ quan hệ.
Mô tả chức năng
Đầu vào: Lược đồ quan hệ α =<U,F>.
Xử lý: Sau khi đã nhập các thông tin đầu vào lựa chọn chức năng BaoĐóng-> Phụ Thuộc Hàm.
Đầu ra: Kết quả trả ra là bao đóng của tập phụ thuộc hàm sẽ được hiển thị trên textbox .
Giao diện:
3.2.3 Khóa
3.2.3.1. Khóa bất kỳ
Mô tả chung: Với chức năng này chương trình cho phép bạn tìm khóa bất kỳ của lược đồ quan hệ.
Mô tả chức năng
Đầu vào: lược đồ quan hệ α =<U,F>.
Xử lý: Nhập thông tin đầu vào chọn chức năng Khóa-> Khóa trên menu.
Đầu ra: Kết quả trả ra được hiển thị trên textbox bao gồm lời giải và khóa bất kỳ của lược đồ quan hệ.
Giao diện:
3.2.3.2. Tất cả các khóa
Mô tả chung: Với chức năng này chương trình cho phép bạn tìm tất cả các khóa của lược đồ quan hệ.
Mô tả chức năng:
Đầu vào: lược đồ quan hệ α =<U,F>
Xử lý: Nhập thông tin đầu vào chọn chức năng Khóa-> Tất Cả Các Khóa trên menu.
Đầu ra: Kết quả trả ra được hiển thị trên textbox bao gồm lời giải và khóa bất kỳ của lược đồ quan hệ.
Giao diện:
3.2.4 Phụ thuộc hàm