NGHIÊN CỨU VIỆC SỬ DỤNG LOGIC MÔ TẢ ĐỂ MÔ HÌNH HÓA MÔ HÌNH THỰC THỂ - MỐI QUAN HỆ THỜI GIAN LIÊN QUAN ĐẾN THỜI GIAN GIAO TÁC

Abstract

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ừacho 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|iviệ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ầngũ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ờigian 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ựav|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{clượ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 baoh|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ểudiễ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ộctính đa trị trên c{c mô hình ER thời gian bằng logic mô tả.

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.