tailieunhanh - Báo cáo nghiên cứu khoa học: " NGỮ NGHĨA VÀ PHƯƠNG PHÁP ĐỊNH GIÁ TRUY VẤN ĐỐI VỚI CƠ SỞ DỮ LIỆU SUY DIỄN CÓ YẾU TỐ THỜI GIAN"

Cơ sở dữ liệu suy diễn có yếu tố thời gian (TDD) là một hướng nghiên cứu mới trong lĩnh vực cơ sở dữ liệu suy diễn. Trong các vị từ của các quy tắc thời gian của TDD, ngoài các đối số dữ liệu còn có thêm một đối số thời gian. TDD có mô hình Herbrand nhỏ nhất nhưng có thể vô hạn. | TẠP CHÍ KHOA HỌC Đại học Huế Số 59 2010 NGỮ NGHĨA VÀ PHƯƠNG PHÁP ĐỊNH GIÁ TRUY VẤN ĐỐI VỚI CƠ SỞ DỮ LIỆU SUY DIỄN CÓ YẾU TỐ THỜI GIAN Phạm Hồ Như Nguyệt Trường THPT Phan Đăng Lưu Thừa Thiên Huế Trương Công Tuấn Trường Đại học Khoa học Đại học Huế TÓM TẮT Cơ sở dữ liệu suy diễn có yếu tố thời gian TDD là một hướng nghiên cứu mới trong lĩnh vực cơ sở dữ liệu suy diễn. Trong các vị từ của các quy tắc thời gian của TDD ngoài các đối số dữ liệu còn có thêm một đối số thời gian. TDD có mô hình Herbrand nhỏ nhất nhưng có thể vô hạn. Bài báo này tập trung thảo luận về ngữ nghĩa của TDD và trình bày một biểu diễn hữu hạn của mô hình Herbrand nhỏ nhất của TDD bằng đặc tả quan hệ. Cấu trúc này có thể sử dụng để định giá câu truy vấn đối với TDD. 1. Mở đầu Cơ sở dữ liệu CSDL suy diễn có yếu tố thời gian ký hiệu TDD là một mở rộng của CSDL suy diễn xác định bằng cách cho phép các vị từ có thêm một đối số là hạng thức thời gian. Việc nghiên cứu TDD đã và đang được nhiều người quan tâm 3 4 6 . TDD cũng dựa trên nền tảng là ngôn ngữ bậc nhất các biến hằng vị từ trong TDD được phân hoạch các lớp rời nhau biến hằng vị từ thời gian và phi thời gian. Bài báo này trình bày về ngữ nghĩa của TDD và khái niệm về đặc tả quan hệ - là một cấu trúc hữu hạn và tương đương với mô hình Herbrand nhỏ nhất MP của TDD theo nghĩa MP có thể biểu diễn hữu hạn bởi một đặc tả quan hệ của TDD. Cấu trúc này có thể dùng để trả lời các câu truy vấn. Chúng tôi cũng trình bày các nghiên cứu về TDD mở rộng trong đó các quy tắc thời gian chứa một đối số thời gian là một hàm n ngôi và tập trung vào việc phân tích ngữ nghĩa của TDD mở rộng. 2. Một số khái niệm cơ sở Phần này chủ yếu trình bày một số khái niệm cơ sở của CSDL suy diễn có yếu tố thời gian ký hiệu TDD . Chi tiết đầy đủ về CSDL suy diễn có thể xem trong 5 9 . Trong CSDL suy diễn có yếu tố thời gian các nguyên tố tương ứng hạng thức được phân hoạch thành các lớp rời nhau gồm các nguyên tố thời gian và phi thời gian tương ứng hạng thức thời gian và phi .