Thư viện tri thức trực tuyến
Kho tài liệu với 50,000+ tài liệu học thuật
© 2023 Siêu thị PDF - Kho tài liệu học thuật hàng đầu Việt Nam
Kiểm tra sự ràng buộc toàn vẹn của dữ liệu trong cơ sở dữ liệu trong cơ sở dữ liệu hướng thời gian
Nội dung xem thử
Mô tả chi tiết
Trường ĐHCN Tp. HCM – Hội nghị Khoa học Công nghệ & Đào tạo lần thứ II 31
KIỂM TRA SỰ RÀNG BUỘC TOÀN VẸN
CỦA DỮ LIỆU TRONG
CƠ SỞ DỮ LIỆU HƢỚNG THỜI GIAN
Phạm Văn Chung
Khoa Công nghệ Thông tin,
Trường ĐH Công nghiệp Tp.HCM
Tóm tắt
Dữ liệu về những đối tượng trong thế giới thực luôn thay đổi
theo thời gian. Việc cập nhật cơ sở dữ liệu hướng thời gian
yêu cầu phải kiểm tra được sự ràng buộc toàn vẹn của dữ liệu
theo thời gian. Dựa trên việc mở rộng automat hữu hạn đơn
định thành một automat chuyển thái, tác giả đề nghị một
phương pháp kiểm tra ràng buộc toàn vẹn của dữ liệu theo
thời gian; xây dựng thủ tục kiểm tra dữ liệu theo thời gian và
cài đặt ứng dụng cho cơ sở dữ liệu của một bệnh viện.