BIỂU DIỄN MÔ HÌNH TIME-ER BẰNG LOGIC MÔ TẢ

Abstract

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.