B GIÁO DỤC VÀ ĐÀO TẠO
VIN HÀN LÂM KHOA HC
VÀ CÔNG NGH VIT NAM
HC VIN KHOA HC VÀ CÔNG NGH
-----------------------------
TRƢƠNG ĐỨC PHƢƠNG
PHÁT HIN LUT KT HP VÀ LUT CHUI M TRONG
CƠ SỞ D LIỆU ĐỊNH LƢỢNG CÓ YU T THI GIAN
LUN ÁN TIẾN SĨ MÁY TÍNH
HÀ NI 2021
VIN HÀN LÂM KHOA HC VÀ CÔNG NGH VIT NAM
HC VIN KHOA HC VÀ CÔNG NGH
……..….***………
TRƢƠNG ĐỨC PHƢƠNG
PHÁT HIN LUT KT HP VÀ LUT CHUI M TRONG
CƠ S D LIU ĐNH LƯNG CÓ YU T THI GIAN
LUN ÁN TIẾN SĨ MÁY TÍNH
Chuyên ngành : H thng thông tin
Mã s: 9 48 01 04
Ngƣời hƣớng dn khoa hc:
1. PGS.TS. Đỗ Văn Thành
2. PGS.TS. Nguyễn Đức Dũng
Hà Ni 2021
i
LỜI CAM ĐOAN
Tôi xin cam đoan đây công trình nghiên cu ca riêng tôi. Các kết
qu đưc viết chung vi các tác gi khác đều được s đồng ý của các đồng tác
gi trước khi đưa vào lun án. Các kết qu nêu trong lun án trung thc
chưa từng được công b trong các công trình nào khác.
Luận án được hoàn thành trong thi gian tôi làm Nghiên cu sinh ti
Hc vin Khoa hc Công ngh, Vin Hàn lâm Khoa hc Công ngh
Vit Nam.
Tác gi lun án
NCS. Trƣơng Đức Phƣơng
ii
LI CẢM ƠN
Lun án Tiến s Phát hin lut kết hp lut chui m trong sở
d liệu định ng yếu t thi gianđược thc hiện dưới s ng dn
khoa hc của PGS.TS. Đỗ Văn Thành và PGS.TS. Nguyễn Đức Dũng.
Trước tiên tôi xin được bày t lòng biết ơn sâu sc ti các thầy hướng
dẫn PGS. TS. Đỗ Văn Thành và PGS.TS. Nguyễn Đức Dũng. Trong quá trình
thc hin lun án, nghiên cứu sinh đã nhận được nhiều định hướng khoa hc,
nhng bài hc qbáu, s ng dn nhit tình t các thầy hướng dn. Các
thầy cũng đã luôn tận tâm động viên, khuyến khích và ch dẫn giúp đ nghiên
cứu sinh hoàn thành được bn lun án này.
Tôi xin chân thành cm ơn các thy Hc vin Khoa hc Công
ngh đã tạo điều kin thun li cho tôi trong sut quá trình nghiên cu
thc hin lun án.
Tôi xin cảm ơn Ban Giám hiệu, tp th cán b, ging viên khoa Khoa
hc T nhiên Công ngh, trường Đại hc Th đô Nội đã tạo điu kin
giúp đỡ tôi trong sut thi gian hc tp và nghiên cu.
Nhân dịp này, tôi cũng xin bày t lòng biết ơn sâu sắc tới gia đình
bạn đã cho tôi đim ta vng chc, tạo động lực để tôi hoàn thành lun án
này.
Tác gi
NCS. Trương Đức Phương
1
MC LC
DANH MC HÌNH V .................................................................................. 4
DANH MC BNG BIU ............................................................................. 6
DANH MC CÁC T VIT TT ................................................................ 8
M ĐẦU .......................................................................................................... 9
CHƯƠNG 1. TNG QUAN V LUT KT HP MU CHUI,
LUT CHUI CHUNG ................................................................................. 18
1.1. Lut kết hp ........................................................................................ 18
1.1.1. Phát hin lut kết hp trong các CSDL giao dch .............................. 18
1.1.2. Phát hin lut kết hp trong các CSDL định lượng ........................... 21
1.1.3. Phát hin lut kết hp tính đến khong cách thi gian xy ra ca các
giao dch trong các CSDL có yếu t thi gian ................................................ 23
1.2. Mu chui ........................................................................................... 25
1.2.1. Phát hin mu chui trong các CSDL chui giao dch ...................... 25
1.2.2. Phát hin mu chui trong các CSDL chuỗi định lượng .................... 29
1.2.3. Phát hin mu chui tính đến khong cách thi gian xy ra ca các
giao dch trong các CSDL chui có yếu t thi gian ..................................... 31
1.3. Lut chui chung ................................................................................ 34
1.3.1. Khái nim lut chui chung ................................................................ 34
1.3.2. Phát hin lut chui chung ................................................................. 34
Kết luận Chương 1 .......................................................................................... 38
CHƯƠNG 2. PHÁT HIN LUT KT HỢP TÍNH ĐẾN KHONG
CÁCH THỜI GIAN TRONG CÁC CSDL ĐỊNH LƯỢNG YU T
THI GIAN ............................................................................................... 42
2.1. Gii thiu ............................................................................................ 42
2.2. Mt s khái niệm cơ bản .................................................................... 44
2.3. Thut toán phát hin lut kết hp m vi khong cách thi gian m 52
2.3.1. Bài toán đặt ra ..................................................................................... 52
2.3.2. Ý tưởng thut toán .............................................................................. 53
2.3.3. Thut toán FTQ .................................................................................. 54
2.3.4. Tính đúng đắn và tính đầy đủ ca thut toán ..................................... 58
2.3.5. Độ phc tp thut toán........................................................................ 60