- Rút quyền (REVOKE): Quy tắc rút quyền là nế uA bị rút quyền mà A đã uỷ quyền cho B thì B cũng bị rút quyền nếu B khơng bị nơi khác uỷ quyền vào thời điểm trước
5.3.2 Mơ đun chương trình
a. Định nghĩa: Mơ đun chương trình trong các lược đồ cấu trúc có thể hiểu dưới các dạng sau :
- Là chương trình con dạng phổ biến Procedure, Function, Subroutine... - là cụm câu lệnh trong chương trình khơng có chương trình con
- hoặc là những nhóm mơ đun chương trình (phương thức) tập hợp xung quanh một cấu trúc dữ liệu trong ngơn ngữ lập trình hướng đối tượng có dùng các UNIT, CLASS, OBJECT
b. Các thuộc tính của mơ đun chương trình: Mỗi mơ đun chương trình bao gồm 4 thuộc tính cơ bản xác định bản chất của mô đun. Các thuộc tính này nằm trong 2 đặc trưng là đặc trưng trong và đặc trưng ngồi. Các thuộc tính của mơ đun:
- Vào/ra của mô đun: thông tin vào từ CT gọi nó, thơng tin ra trả lại cho CT gọi - Chức năng: hàm biến đổi từ cái vào thành cái ra
- Cơ chế: Phương thức cụ thể để thực hiện chức năng biến đổi trên
- Dữ liệu cục bộ : Các biến nhớ, hay cấu trúc dữ liệu cục bộ dùng riêng cho nó Đặc trưng ngồi bao gồm các thuộc tính vào/ra và chức năng. Đặc trưng ngồi diễn tả tổng qt về mơ đun có nghĩa là cái vào của mơ đun là gì?, mơ đun này làm gì ?, và đầu ra của mơ đun là gì?. Người sử dụng các mô đun chỉ cần biết đặc trưng này để gọi thực hiện.
Đặc trưng trong bao gồm các thuộc tính cơ chế và dữ liệu cục bộ. Đặc trưng trong diễn tả chi tiết về mơ đun, nó thể mơ đun này làm việc như thế nào và các dữ liệu cục bộ bên trong mô đun. Đặc trưng trong thể hiện sự cài đặt của mơ đun đó Việc tách đặc trưng ngồi và đặc trưng trong để tạo độc lập cho sự cài đặt mơ đun đối với những mơ đun ngồi nó.
c. Các loại chương trình thường có trong hệ thống quản lý:
- Chương trình đơn chọn (menu program)
- Chương trình nhập dữ liệu (data entry program)
- Chương trình biên tập kiểm tra dữ liệu vào (edit program) - Chương trình cập nhật dữ liệu (update program)
- Chương trình tính tốn (compute program) - Chương trình in (print program)