tailieunhanh - Biểu diễn mô hình TimeER bằng logic mô tả

Bài viết Biểu diễn mô hình TimeER bằng logic mô tả ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, bài viết muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả. | Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR); Hà Nội, ngày 9-10/7/2015 DOI: BIỂU DIỄN MÔ HÌNH TIME-ER BẰNG LOGIC MÔ TẢ Nguyễn Viết Chánh, Hoàng Quang Trường Đại học Khoa học, Đại học Huế chanhkhmt@, hquang@ TÓM TẮT - Mối quan hệ giữa logic mô tả và cơ sở dữ liệu (CSDL) là khá khăng khít. Thực tế cho thấy nhu cầu của việc xây dựng các hệ thống vừa có khả năng biểu diễn tri thức, vừa cho phép quản trị CSDL là thật sự cần thiết. Hệ biểu diễn cơ sở tri thức logic mô tả ngoài việc cho phép quản lý các tri thức nội hàm, còn cung cấp một khung chuẩn được xem là gần gũi với các ngôn ngữ được dùng để biểu diễn mô hình thực thể - mối quan hệ (mô hình ER). Mặt khác, mô hình ER thời gian được dùng để mô hình hóa các khía cạnh thời gian của lược đồ CSDL mức khái niệm. Vì vậy, việc sử dụng logic mô tả để biểu diễn các mô hình ER thời gian là thật sự hữu ích trong việc hình thức hóa các mô hình dữ liệu mức khái niệm. Dựa vào logic mô tả có yếu tố thời gian, Alessandro Artale và các cộng sự (2011) đã biểu diễn các lược đồ ER thời gian và các ràng buộc toàn vẹn bằng cách hình thức hóa các phụ thuộc bao hàm bởi các tiên đề bao hàm. Nghiên cứu này, ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, chúng tôi muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả. Ứng dụng logic mô tả vào mô hình hóa mô hình TimeER. Từ khóa - Mô hình ER, Mô hình ER thời gian, Logic mô tả, Logic mô tả có yếu tố thời gian. I. GIỚI THIỆU Trong những năm gần đây, người ta thường nhắc đến logic mô tả (Description Logic) như là một phương thức biểu diễn tri thức hiệu quả. Lĩnh vực ứng dụng của logic mô tả rất đa dạng, logic mô tả được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy luận [7][9]. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối