Phần Giới Thiệu Về Đề Tài:

Ngày nay, trong nhiều ứng dụng thực tế, bên cạnh những dữ liệu tĩnh- dữ liệu có

tính ổn định, còn có rất nhiều loại dữ liệu động- dữ liệu được truy xuất thay đổi

theo thời gian. Trong một số trường hợp, những dữ liệu động này có những quy

luật thay đổi nào đó. Vì vậy mô hình CSDL có tính thời gian(temporal

database) được đề xuất để nghiên cứu vấn đề trên.

Nhiều tác giả đã nghiên cứu về: mô hình dữ liệu có tính thời gian, và các dạng chuẩn có

tính thời gian. Có thể nêu một số những tên tuổi như: D.Dey đưa ra một số khái niệm về

đại số quan hệ cho mô hình dữ liệu thời gian; Z.M. Ozsoyoglu đề nghị mô hình quan hệ

lồng nhau; J. Wijsen, J. Vandenbulcke và H. Olive đề nghị một số khái niệm về các phụ

thuộc hàm có tính thời gian; và gần đây S. Y. Liao, H.Q. Wang, W.Y. Liu đưa ra khái

niệm về dạng chuẩn 3 có tính thời gian; E. Bertino, C. Bettini, E.Ferrari, P. Samarati đưa

ra khái niệm về điều khiển truy xuất trong mô hình có tính thời gian.

Trong đề tài này đề cập đến các khái niệm và một số kết quả về các vấn đề trong cơ sở

dữ liệu có tính thời gian như sau:

- Các khái niệm về cơ sở dữ liệu có tính thời gian: lược đồ quan hệ tính

thới gian và quan hệ tính thời gian.

- Các phép toán về đại số quan hệ trên CSDL có tính thời gian.

- Các khái niệm về phụ thuộc hàm và các dạng chuẩn có tính thời gian.

- Các ràng buộc ổn định có tính thời gian.

- Phân rã bảo toàn thông tin có tính thời gian