设计
61索引
表libraria
readerbook
copyloa
historyaccou
t
type
建立索引的列ididisb
copy_idcopy_idreader_idcopy_idreader_ididreader_idtype_
o
aho
事务
defgkm
rstu
bcigqpvcjq
emst
emst
f
sv
tu
tu
p
原因搜索条件搜索条件搜索条件分组搜索条件搜索条件搜索条件搜索条件排序搜索条件搜索条件
62视图
1该系统需经常查询某个读者当前借阅书刊的详细信息，为简化多表查询，故建立视图O
loa
View该视图定义如下：
CREATEviewO
loa
Viewasselectbookisb
titleauthorpublishere
terreader_idout_datedue_datefrombookcopyloa
10
fwherebookisb
copyisb
a
dcopycopy_idloa
copy_id
2该系统需经常查询某个读者历史借阅的详细信息，为简化多表查询，故建立视图HistoryView该视图定义如下：
CREATEviewHistoryViewasselectbookisb
titleauthorreader_idout_datei
_datefrombookcopyhistorywherebookisb
copyisb
a
dhistorycopy_idcopycopy_id
63安全机制
1系统安全并没有给每个数据库用户分配一个认证标识，均使用超级用户sa连接数据库，数据库用户所能做的操作在应用程序中加以控制，来保证系统安全。2数据安全基本上没有用户对基本表和视图操作的权限控制，这些均在应用程序中加以控制，来保证数据安全。
64触发器
1当有读者借阅书刊时，应向表loa
中插入一个新元祖，同时还应及时更新其他相关表中的某些数据，包括更新表book相应元祖的可借副本数减一，更新读者信息表中该读者当前借阅量加一，更新表copy相应副本的状态为借出。触发器定义如下：
CREATEtriggerLoa
I
serto
loa
11
ffori
sertasupdatecopyseto
_loa
0fromcopyci
erjoi
i
sertedio
ccopy_idicopy_idupdatebookseti
_copyi
_copy1frombookcopyi
sertedwherebookisb
copyisb
a
dcopycopy_idi
sertedcopy_idupdatereadersetcur_
ocur_
o1fromreaderri
erjoi
i
sertedio
ridireader_id
2当某本书刊有新的副本入馆时，应向表copy中插入一个新元组，同时应及时更新表book中副本数加一，在馆副本数加一。触发器定义如下：
CREATEtriggercopy_i
serto
copyfori
sertasupdatebooksetcopycopy1frombookbi
erjoi
i
sertedio
bisb
iisb
updatebookseti
_copyi
_copy1frombookbi
erjoi
i
sertedio
bisb
iisb
七、应用程序设计
71功能模块
711管理员业务模块
12
f管理员业务模块
系
读
借
统
者
书
管
管
业
理
理
务
模
模
模
块
块
块
还
库
统
书
存
计
业
管
报
务
理
表
模
模
模
块
块
块
1系统管理模块。功能包括查看，修改管理员个人信息；添加，删除管理员信息；修改个人密码；退出
系统。添加新管理r