Kiểm tra ràng buộc toàn vẹn thời gian trong cơ sở dữ liệu thời gian - Phan Văn, Chung (2014)