- Qui tắc3: Trong bảng thực thể không chứa những thuộc tính mà không có phụ thuộc hàm trực tiếp vào thuộc tính tên gọ
5.5. Tra cứu thông tin
a. Tra cứu tài liệu
Việc tra cứu sách sẽ đợc thực hiện theo 2 cách:
- Tra cứu theo thông tin: theo cách này, hệ thống cung cấp danh sách toàn bộ tên tài liệu. Sau đó ngời sử dụng có thể chọn các thông tin về tác giả, thể loại, chủ đề, nhà xuất bản v.v để lọc bớt tài liệu trong danh sách ấy. Bên cạnh đo cho phép ngời sử dụng gõ tên tài liệu, hệ thống sẽ trỏ đến tài liệu có tên gần nhất so với tên tài liệu mà ngời dùng nhập vào.
- Tìm kiếm theo mã tài liệu: Đây là chức năng tìm kiếm đơn giản nhng thờng gặp. Hệ thống cung cấp danh sách toàn bộ mã tài liệu, ngời sử dụng có thể gõ mã tài liệu để danh sách ấy trỏ đến mã tài liệu gần giống nhất so với mã tài liệu ngời sử dụng gõ. Đến khi ngời dùng gõ đầy đủ hoặc chọn một mã sách trong danh sách ấy thì việc tìm kiếm kết thúc.
Kết thúc cả hai quá trình tìm kiếm trên, hệ thống sẽ cung cấp các thông tin đầy đủ về tài liệu ấy phục vụ cho việc mợn, trả và cập nhật thông tin.
c. Tra cứu bạn đọc
Việc tra cứu đợc tiến hành dựa trên mã độc giả mà ngời sử dụng nhập vào. theo đó hệ thống sẽ cung cấp thông tin đầy đủ của độc giả ấy, họ tên, đơn vị, trình độ đến những tài liệu mà ngời sử dụng đó đã, đang mợn.
Ngoài ra còn có chức năng tìm kiếm, thống kê độc giả theo từng đơn vị.
d. Tra cứu thông tin tổng hợp:
Hệ thống cung cấp một giao diện cho phép ngời sử dụng đa ra những thông tin cần tra cứu (từ tác giả, tài liệu, độc giả đến nhà xuất bản v.v) và thành lập các điều kiện để tra cứu. Chức nay này rất mềm dẻo, linh hoạt nhng đòi hỏi ngời sử dụng phải có một số kiến thức nhất định về các phép toán logic và kiến thức về cơ sở dữ liệu quan hệ.
