-68- Thể hiệntrithứcquacácđiềukiệntoànvẹn của hệ quảntrịcơsởdữ liệu Tri thức của con người đã được biết đến từ lâu, đặc biệt là vai trò của nó đối với cuộc sống của con người. Trong tất cả các lĩnh vực ta đều thấy vai trò to lớn của tri thức. Đặc biệt trong lĩnh vực công nghệ thông tin thì trithức được áp dụng rất nhiều. Khoá luận này nghiên cứu một phần trong việc ứng dụng của trithức đối v ới việc điều khiển, kiểm tra dữ liệu của hệquảntrịcơsởdữ liệu thông quacácđiềukiệntoàn vẹn. Cơsởdữ liệu có tác dụng lưu trữ thông tin cho xử lí. Cáccơsởdữ liệu được hoạt động thông qua cá hệ quảntrịcơsởdữ liệu. Các hệquảntrịcơsởdữ liệu sẽ thựchiệncác hoạt động chèn, xoá, sửa thông tin trongcơsởdữ liệu. Có rất nhiều hệquảntrịcơsởdữ liệu được phát triển bởi các công ty phát triển phần mềm khác nhau. Nhưng tất cả cáchệquảntrịcơsở đều có một cấu trúc chung nhất. Trong các hệquảntrịcơsởdữ liệu có một phần được gọi là dữ liệu meta hay từ điển dữ liệu. Nó chứa các cấu trúc để điều khiển cơsởdữ liệu. Các ràng buộc toànvẹn giúp kiểm tra cácdữ liệu được nhập vào, kiểm tra tính đúng của dữ liệu đã lưu trongcơsởdữ liệu. Nó có vai trò rất lớn cho các nhà phát triển phần mềm và những người sử dụng bình thườ ng bởi cơ chế tự động của nó. Do các ràng buộc được xây dựng lên dựa trên tri thức. Trithứccó nhiều loại đó là: 1. Trithức thủ tục. 2. Trithức mô tả. 3. Trithức meta. 4. Trithức may rủi. 5. Trithức cấu trúc. Chúng được thể hiện với nhiều cách khác nhau. 1. Thể hiệntrithức bằng cặp ba: đối tượng- thuộc tính- giá tr ị. 2. Thể hiệntrithức bằng sự kiện không chắc chắn. 3. Thể hiệntrithức bằng các luật. Sinh viên : Nguyễn văn Tần. Giáo viên hướng dẫn: PGS.TS Đỗ Trung Tuấn -69- 4. Thể hiệntrithức bằng các mạng ngữ nghĩa. 5. Thể hiệntrithức bằng bảng đen. 6. Thể hiệntrithức bằng các khung. 7. Thể hiệntrithức bằng các SCRIPTS. 8. Thể hiệntrithức bằng logic mệnh đề. Các loại trithức trên với các cách thể hiện khác nhau đã và đang giữ vai trò rất quantrọngtronghệ qu ản trịcơsởdữ liệu. Nhờ cócác tác động của trithức mà hệquảntrịcơsởdữ liệu có thể đảm bảo tính toànvẹntrongcơsởdữ liệu. Tính toànvẹn của dữ liệu trongcơsởdữ liệu là rất quantrọng nó liên quan đến việc lưu trữ và xử lí dữ liệu. Do đó cácdữ liệu nhập vào cơ s ở dữ liệu cần thoả mãn cácđiều kiện. Cácđiềukiện mà dữ liệu cần thoả mãn được phát biểu dưới dạng các ràng buộc về tính toàn vẹn. Trongcácquanhệ thì các ràng buộc sẽ được định nghĩa, liên kết với nó và các ràng buộc toànvẹn được lưu trong từ điển dữ liệu như một phần của sở đồ mức logic. Các ràng buộc này dẽ dàng được lưu trongcơsởdữ liệu dưới dạng các metadata. Khi nói đến các ràng buộc ta cần quan tâm đến khái niệm như khoá chính đảm bảo cho toànvẹnthực thể, khoá phụ đảm bảo cho toànvẹn tham chiếu, các phục thuộc hàm, các ràng buộc check, ràng buộc unique, các Assertion, các Trigger. Ta có thể tổng kết tác động của cácđiềukiệntrongđiều khiển dữ liệu nhập vào đó là: Các ràng buộc cho dữ li ệu nhập vào đặc tả một tập các giá trịcó thể được kết hợp với một thuộc tính. Nó buộc dữ liệu nhập vào phải thoả mãn điềukiện nào đó Các ràng buộc như vậy cũng sẽ cấm các giá trị nhập vào là NULL. Các phụ thuộc hàm là sự tổng quát của phụ thuôc khoá. Chúng yêu cầu rằng giá trị đối với một tập các thuộc tính nhấ t định xác định duy nhất giá trị đối với một tập các thuộc tính khác.Các ràng buộc tham chiếu đảm bảo rằng dữ liệu xuất hiệntrong một quanhệ đã cho sẽ xuất hiệntrongquanhệ đuợc tham chiếu với nó.Các trigger và các Assertion là những tác nhân giúp cho việc kiểm tra dữ liệu nhập vào cũng như theo dõi, điều khiển quá trình nhập dữ liệu. Chúng giúp cho thựchiệncác đ iều kiện phức tạp hơn. Các Assertion là các biểu thưc khai báo chỉ định các vị từ mà chúng ta yêu cầu luôn thoả mãn. Các Trigger là các thủ tục đuợc thựchiện khi các sự kiện nhất định xảy ra.Có một số nhược điểm khi sử dụng các ràng buộc đó là sử dụng chúng rất “đắt”. Tốn kém -70- tài nguyên cho việc thực thi các ràng buộc. Các ràng buộc toànvẹn đó đều đựoc xây dựng dựa trên công nghệ tri thức. Qua đó phần nào ta thấy được vai trò của trithứctronghệquảntrịcơsởdữ liệu. Với tiềm năng ứng dụng rất lớn, công nghệ trithức đã và đang được các chuyên gia tin học quan tâm nghiên cứu để xây dựng lên những sản phẩm có ích nhất cho cu ộc sống, chẳng hạn như cáchệ chuyên gia, phục vụ đắc lực cho con nguời. Để từng bước nâng cao chất lượng cuộc sống. Cuối khoá luận là một ứng dụng nhỏ cho phép lưu trữ và quản lí thông tin mượn, trả đồ án của sinh viên. Ứng dụng được xây dựng là một ví dụ để làm rõ hơn vai trò của cácđiềukiệntoànvẹntrong việc điề u khiển dữ liệu nhập vào cơsởdữ liệu và kiểm tra tính hợp lệ của cácdữ liệu đã được lưu trongcơsởdữ liệu. Chúng ta sẽ có ba thao tác chính tác động với cơsởdữ liệu đó là chèn, xóa, sửa. Chúng ta có thể điều khiển được cácđiềukiện đi kèm với các trường trongcácquan hệ. Bằng cách xác lập hay hủy bỏ các đi ều kiện ràng buộc. Ứng dụng chính là một sản phẩm để thấy rõ hơn vai trò điều khiển dữ liệu dựa trên tri thức. . sở dữ liệu. Nhờ có các tác động của tri thức mà hệ quản trị cơ sở dữ liệu có thể đảm bảo tính toàn vẹn trong cơ sở dữ liệu. Tính toàn vẹn của dữ liệu trong. thông tin cho xử lí. Các cơ sở dữ liệu được hoạt động thông qua cá hệ quản trị cơ sở dữ liệu. Các hệ quản trị cơ sở dữ liệu sẽ thực hiện các hoạt động chèn,