I HC QUC GIA THNH PH H CH MINH

I HC CNG NGH THNG TIN

CC H C S TRI THC

Ti: H T Vn Xe Bus Thng Minh

Bo co tin ln 4- Thit k CSTT - M hnh tri
thc (version 2) + T chc lu tr CSTT
Ging vin hng dn: ThS. Hunh Th Thanh Thng
Nhm sinh vin thc hin: - 12520653 ng Minh Ngc
- 12520656 Hong nh Nguyn
- 12520682 Bi Minh Qun

1. Phn tch cc thnh phn tri thc v m hnh ha

chng:
Sau khi phn tch yu cu ca ti v tin hnh thu thp tri
thc, ti bc tin hnh v m hnh ha tri thc thu thp th
nhm nhn ra thiu st bi bo co tin ln trc l trong
cc thnh phn tri thc lin quan ti ti l Ngi v
ng. V vy, cc thnh phn tri thc cn biu din cho
ti s bao gm: {Ngi, Xe, ng, Trm}. thun tin
cho vic lu tr trn my tnh th ta s xy dng m hnh biu
din tri thc cho ti. V vi yu cu ca ti ny th ta s
s dng m hnh vi b 3 thnh phn:
(C, Rela, Rule)
Trong :
-

Tp C: tp cc khi nim lin quan n yu cu ca ti

C = {nguoi, xe, duong, tram, dia danh}
Cc thnh phn trong tp C c biu din bi b ba:
(Attr, Const, Ru)
Tp Attr : bao gm cc thuc tnh ca cc i tng.
Tp Const : tp cc iu kin rng buc trn thuc tnh ca
i tng, c dng :
<thuc tnh> < ton t rng buc> <gi
tr>
Tp Ru : tp cc lut suy din da trn cc s kin lin quan
n thuc tnh ca i tng, c dng :
{<tp cc s kin gi thit>} => {<tp cc s
kin kt lun>}

Vi i tng Ngi :
Nguoi.Attr={loai, dd_di, dd_den}
Loai : phn loi hnh khch, hs/sv hoc khch bnh
thng
Dd_di v dd_den : a im i v n ca khch

Vi i tng Xe :
Xe.Attr={so, cu ly, so chuyen, tg_chuyen, gian cac5,
loai, trogia, gia_thuong, gia_hssv, tg_dauben1,
tg_dauben2, tg_cuoiben1, tg_cuoiben2}
|Xe.Attr |= 14
So: m s ca xe. Vd: 33, 32, 50, 18
Cu ly: qung ng xe chy 1 tuyn
So chuyen: s chuyn trong 1 ngy
Tg_chuyen: thi gian chy mi chuyn
Gian cach: thi gian gin cch gia mi chuyn
Loai: loi xe
Trogia: xe c tr gi hay khng
Tg_dauben*: thi gian chuyn u tin xut pht t
bn *
Tg_cuoiben*: thi gian chuyn cui cng xut pht t
bn *
Xe.Const = { So > 0,
CuLy > 0,
0 < Gia_thuong< 7.000,
Gia_hssv < gia_thuong,
Tg xut bn ln u = min(tg_dauben*),
Tg xut bn ln cui = max(tg_dauben*),

|Xe.const| = 11
Xe.Ru = {
r1={xe.attr.trogia=false}=>{xe.attr.gia_hssv=xe.at
tr.gia_thuong},
r2={ngi.attr.loi
=
hs/sv}
=>
{chn
xe.attr.trogia=true},

}
Duong.Attr={ten }
Ten: tn ng

 Tram.Attr={ten, dia chi}

Ten: tn trm. vd: trm Sui Tin, trm ch u mi
T,
Dia chi: a ch ca trm
Dia danh.Attr={ten, dia chi}
Ten: tn a danh, tp hp cc a danh ni ting m
mi ngi thng hay i
Dia chi: a ch ca a danh
-

Tp Rela: tp cc quan h gia cc i tng ca tp C

Rela={ r1={xe c i qua trm}

Vd : r1={(xe33, trm Sui Tin),(xe24, trm ng 5),}

r2={xe c i qua ng}
Vd : r2={(xe33, XLHN),(xe24, Quang Trung),}
r3={a danh nm trn ng}
Vd : r3={(Sui Tin, XLHN),(ST Vn Lang, Quang Trung),
(DH_TDT,Nguyn Hu Th),}
r4={trm nm trn ng}
Vd : r4={(trm ST, XLHN),(trm G Sao, QL1A),}
r5={trm nm gn a danh}

Vd : r5={(Tn Thi Hip, Metro HP),(Ng T ga, DH Vn Hin),

}
-

Tp Rule : l tp cha cc lut suy din lin quan n cc

i tng trong tp C.
Rule={ f1={ C.xe.attr.trogia = true, C.ngi.attr.loi = hs/sv
} => {C.xe.attr.giave=2000}
f2={(xe33,ST),(xe601,ST),xe33.attr.trogia=
true,
xe601.attr.trogia=false} => { u tin xe 33 c tr gi}
f3={diadanh_x.diachi=tram_y.diachi,
nguoi.dd_di=diadanh_x}=>{chn tram_y}
.}

2. T chc lu tr CSTT trn my :

-

Nhm d kin s t chc m hnh tri thc trn h CSDL SQL

nh sau :
Bng XE : lu tr thng tin ca cc Xe
Attr

Desc

type

KC

MASO

M s xe

Nchar(1
0)

CU_LY

C ly

Nchar(1
0)

SO_CHUYEN

S
chuyn Nchar(1
trong ngy
0)

TG_CHUYEN

Thi
chy
chuyn

GIAN_CACH

Tg gin cch

Nchar(1
0)

LOAI

Loi xe

Nchar(1
0)

TROGIA

Tr gi

Nchar(1
0)

GIA_THUON
G

Gi v thng

Nchar(1
0)

GIA_HSSV

Gi v hssv

Nchar(1
0)

TG_DAUBEN
1

Tg
chuyn Time
u tin xut
bn 1

TG_DAUBEN
2

Tg
chuyn time
u tin xut
bn 2

TG_CUOIBE
N1

Tg
chuyn time
cui xut bn
1

TG_CUOIBE

Tg

gian Nchar(1
mi 0)

chuyn time

KN nul
l

N2

cui xut bn
2

Bng TRAM lu tr thng tin ca cc Trm

Attr

Desc

type

MS_TRAM

M s ca trm

Nchar(10) X

TEN_TRAM Tn trm

KC

nvarchar(
50)
trn nchar(10)

KN

ID_DUON
Tram nm
G
ng no
Bng DUONG: lu tr thng tin ca ng

Attr

Desc

KN

ID_DUONG

ID
xc
ng
Tn ng

type
nh nchar(10)

KC

nul
l

nul
l

TEN_DUON
nvarchar(
G
50)
Bng DIADANH: lu tr thng tin ca cc a Danh
Attr
TEN_DD

Desc
Tn a danh

type
KC
nvarchar(
50)
ID_DUON a danh nm trn nchar(10)
G
ng c ID
ID_TRAM
a danh gn trm nchar(10)
c ID
Bng XETRAM: th hin quen h gia xe v

trm

Attr
MASO

KN
X

Desc
Ma s xe

ID_TRAM nh danh trm

type
nchar(1
0)
nchar(1
0)

KC

KN

null

X
X

null

LUOTDI1 Thu t cc trm nchar(1

lt i
0)
LUOTVE Th t cc trm nchar(1
2
lt v
0)
Bng DC_TRAM l bng gip lu tr a ch trm
d dng truy vn.
Attr

Desc

type

MS_TRAM
DC_TRAM
TEN_DUON
G

Ma s trm
a ch trm
Tn ng

nchar(10)
Int
nvarchar(
50)

KC

KN
X

nul
l