Download miễn phí Đồ án Quản lý hoạt động kinh doanh của công ty Phong Vũ





Mục Lục
Chương I : khảo sát hiện trạng 3.
1. Giới thiệu công ty Phong Vũ . . .3.
2. Các hoạt động nghiệp vụ của công ty .3.
3. Các yêu cầu đặt ra .5.
Chương II: Xây Dựng Cơ Sở Dữ Liệu .10.
1. Các đối tượng cần quản lý .10.
2. Mối liên hệ giữa các đối tượng .10.
3 Mô hình thực thể và mối kết hợp .12.
4. Mô hình Codd .14.
5. Mô tả chi tiết các đối tượng và các mối kết hợp 14.
Chương III: Ràng Buộc Toàn Vẹn 19.
1. Ràng buộc trên một quan hệ .19.
2. Ràng buộc trên nhiều quan hệ .20.
Chương IV: Giải Pháp Bằng SQL 25.
4.1 Yêu cầu về quản lý nhân sự 25.
4.2 Yêu cầu quản lý khách hàng, nhà cung cấp .27.
4.3 Yều cầu từ các nghiệp vụ bán hàng 30.
4.4 Yêu cầu từ các nghiệp vụ nhập hàng 35.
4.5 Yêu cầu từ nghiệp vụ quản lý kho hàng 39.
4.6 Yêu cầu từ nghiệp vụ quản lý tài chính . 40.
4.7 Yêu cầu từ nghiệp vụ quản lý công nợ .42.
4.8 Yêu cầu đến từ nghiệp vụ bảo hành .43.
4.9 Yêu cầu ra quyết định .45.
Chương V: Giao Diện Hóa Cho Chương IV 49.
Chương VI: Chuẩn Hóa Cơ Sở Dữ Liệu .61.
 



Để tải bản Đầy Đủ của tài liệu, xin Trả lời bài viết này, Mods sẽ gửi Link download cho bạn sớm nhất qua hòm tin nhắn.
Ai cần download tài liệu gì mà không tìm thấy ở đây, thì đăng yêu cầu down tại đây nhé:
Nhận download tài liệu miễn phí

Tóm tắt nội dung tài liệu:

a
Sửa
CongNoBan
+
-
+(SoTien)
R4 : trên quan hệ CongNoNhap thuộc tính SoTien phải là số nguyên lớn hơn 0.
" t Î CongNoNhap, t.SoTien Î N* .
Bảng tầm ảnh hưởng.
R4
Thêm
Xóa
Sửa
CongNoNhap
+
-
+(SoTien)
R5 : trên quan hệ HangHoa thuộc tính SoLuong va DonGia phải là những số tự nhiên lớn hơn 0.
" t Î HangHoa , t.SoLuong Î N* ^ t.DonGia Î N*.
Bảng tầm ảnh huởng.
R5
Thêm
Xóa
Sửa
HangHoa
+
-
+(SoLuong,DonGia)
R6 :trên quan hệ HoaDon thuộc tính TongGiaTri phải là số nguyên lớn hơn 0.(đơn vị của TonhGiaTri là đồng)
" t Î HoaDon, t.TongGiaTri Î N* .
Bảng tầm ảnh hưởng :
R6
Thêm
Xóa
Sửa
HoaDon
+
-
+(TongGiaTri)
R7 : trên quan hệ PhieuChi thuộc tính SoTien phài là số nguyên lớn hơn 0.
" t Î PhieuChi, t.SoTien Î N* .
Bảng tầm ảnh hưởng.
R7
Thêm
Xóa
Sửa
PhieuChi
+
-
+(SoTien)
R8 : trên quan hệ PhieuNhapHang thuộc tính TongGiaTri phải là số nguyên lớn hơn 0.
" t Î PhieuNhapHang, t.TongGiaTri Î N* .
Bảng tầm ảnh hưởng.
R8
Thêm
Xóa
Sửa
PhieuNhapHang
+
-
+(TongGiaTri)
R9 : trên quan hệ PhieuThu thuộc tính SoTien phải là số nguyên lớn hơn 0.
" t Î PhieuThu, t.SoTien Î N* .
Bảng tầm ảnh hưởng.
R9
Thêm
Xóa
Sửa
PhieuThu
+
-
+(SoTien)
Ràng buộc trên nhiều quan hệ.
2.1 Ràng buộc phụ thuộc tồn tại:
R10: Trong mô hình thực thề và mối kết hợp ở trên nếu 2 đối tượng có liên hệ 1---∞ thì luôn tồn tại 1 ràng buộc phụ thuộc tồn tại là ràng buộc khóa ngoại. Ràng buộc này được mô tả là:
Gọi q1 là quan hệ của lược đồ quan hệ Q mô tả thông tin về đối tượng ở nhánh 1 , q2 là quan hệ của lược đồ quan hệ S mô tả thông tin về đối tượng ở nhánh ∞, K là khóa chính của lược đồ quan hệ Q, thì trong S sẽ tồn tại khóa ngoại là K. Khi đó với giá trị k của mỗi dòng trong quan hệ q2 phải tương ứng tồn tại trong quan hệ q1.
Đặc tả bằng ngôn ngữ hình thức:
" t Î q2 , $t’Î q1 : t.K = t’.K.
Bảng tầm ảnh hưởng.
R10
Thêm
Xóa
Sửa
q1
-
+
-
q2
+
-
+(K)
R11 : Khi 2 đối tượng trong mô hình thực thể và mối kết hợp có liên hệ ∞----∞ với nhau thông qua mối kết hợp thì cũng tồn tại ràng buộc phụ thuộc tồn tại giữa mối kết hợp với 2 đối tượng. Ràng buộc này được mô tả.
Gọi q1 là quan hệ của lược đồ quan hệ Q mô tả thông tin về đối tượng 1, q2 là quan hệ của lược đồ quan hệ S mô tả thông tin về đối tượng 2, q3 là quan hệ của lược đồ quan hệ P mô tả thông tin về mối kết hợp, K là khóa chính của lược đồ quan hệ Q, K’ là khóa chính trong lược đồ quan hệ S thì trong P sẽ tồn tại khóa ngoại là K và K’. Khi đó với giá trị K và K’ của mỗi dòng trong quan hệ q2 phải tương ứng tồn tại trong quan hệ q1 và q2.
Đặc tả bằng ngôn ngữ hình thức:
" tÎ q3, $ t1’Î q1, t2’Î q2 : t.K=t1’.K ^ t.K’=t2’.K’.
Bảng tầm ảnh hưởng
R11
Thêm
Xóa
Sửa
q1
-
+
-
q2
-
+
-
q3
+
-
+(K)
+(K’)
R12 : Trên quan hệ NhanVien và LyLich, với mỗi giá trị MaNV trong quan hệ NhanVien phải tồn tại duy nhất 1 giá trị MaNV trong quan hệ LyLich và ngược lại.
Đặc tả bằng ngôn nhữ hình thức.
" tÎ NhanVien, $! t’ÎLyLich: t.MaNV=t’.MaNV.
" tÎ LyLich, $! t’ÎNhanVien: t.MaNV=t’.MaNV.
Bảng tầm ảnh hưởng
R12
Thêm
Xóa
Sửa
NhanVien
+
+
-
LyLich
+
+
-
Ràng buộc liên thuộc tính – liên quan hệ.
R13 : Trên quan hệ HoaDon và CongNoBan thuộc tính NgayLap trong quan hệ HoaDon phải có giá trị nhỏ hơn thuộc tính NgayHen trong quan hệ CongNoBan và thuộc tính TongGiaTri trong quan hệ HoaDon phải có giá trị lơn hơn hoặc bằng thuộc tính SoTien trong quan hệ CongNoBan trên cùng một giá tri MaHD.
"tÎHoaDon,t’Î CongNoBan
t.MaHD = t’.MaHD ® t.NgayLap = t’.SoTien.
Bảng tầm ảnh hưởng.
R13
Thêm
Xóa
Sửa
HoaDon
+
-
+(NgayLap, TongGiaTri)
ConNoBan
+
-
+(NgayHen,SoTien)
R14 : Trên quan hệ HoaDon và PhieuThu thuộc tính NgayLap trong quan hệ HoaDon phải có gái trị nhỏ hơn hoặc bằng thuộc tính NgayThu trong quan hệ PhieuThu và thuộc tính TongGiaTri trong quan hệ HoaDon phải có giá trị lơn hơn hoặc bằng thuộc tính SoTien trong quan hệ PhieuThu trên cùng một giá tri MaHD.
"tÎHoaDon,t’Î PhieuThu
t.MaHD = t’.MaHD ® t.NgayLap = t’.SoTien.
Bảng tầm ảnh hưởng.
R14
Thêm
Xóa
Sửa
HoaDon
+
-
+(NgayLap. TongGiaTri)
PhieuThu
+
-
+(NgayThu,SoTien)
R15 : Trên quan hệ PhieuNhapHang và CongNoNhap thuộc tính NgayLap trong quan hệ PhieuNhapHang phải có giá trị nhỏ thuộc tính NgayHen trong quan hệ CongNoNhap và thuộc tính TongGiaTri trong quan hệ PhieuNhapHang phải có giá trị lơn hơn hoặc bằng thuộc tính SoTien trong quan hệ CongNoNhap trên cùng một giá tri MaPN.
"tÎPhieuNhapHang,t’Î CongNoNhap
t.MaPN= t’.MaPN ® t.NgayLap = t’.SoTien.
Bảng tầm ảnh hưởng.
R15
Thêm
Xóa
Sửa
PhieuNhapHang
+
-
+(NgayLap, TongGiaTri)
CongNoNhap
+
-
+(NgayHen,SoTien)
R16 : Trên quan hệ PhieuNhapHang và PhieuChi thuộc tính NgayLap trong quan hệ PhieuNhapHang phải có giá trị nhỏ hơn hoặc bằng thuộc tính NgayChi trong quan hệ PhieuChi và thuộc tính TongGiaTri trong quan hệ PhieuNhapHang phải có giá trị lơn hơn hoặc bằng thuộc tính SoTien trong quan hệ PhieuChi trên cùng một giá tri MaPN.
"tÎPhieuNhapHang, t’Î PhieuChi
t.MaPN = t’.MaPN ® t.NgayLap = t’.SoTien.
Bảng tầm ảnh hưởng.
R16
Thêm
Xóa
Sửa
PhieuNhaphang
+
-
+(NgayLap,
TongGiaTri)
PhieuChi
+
-
+(NgayChi.SoTien)
R17 : Trên quan hệ HoaDon và BaoHanh thuộc tính NgayLap trong quan hệ HoaDon phải nhỏ thuộc tính NgayBH trong quan hệ BaoHanh trên cùng một giá tri MaHD.
"tÎHoaDon, t’Î BaoHanh
t.MaHD= t’.MaHD ® t.NgayLap < t’.NgayBH.
Bảng tầm ảnh hưởng.
R17
Thêm
Xóa
Sửa
HoaDon
+
-
+(NgayLap)
BaoHanh
+
-
+(NgayBH)
Ràng buộc liên bộ – liên quan hệ.
R18 : Trên quan hệ HoaDon, PhieuThu, CongNoBan nếu giá trị MaHD ở bảng HoaDon.
Không tồn tại giá trị tương ứng ở quan hệ CongNoBan thì sẽ tốn tại giá trị tương ứng ở quan hệ PhieuThu sao cho tổng giá trị ở thuộc tính SoTien trong quan hệ PhieuThu có MaHD tương ứng với MaHD ở quan hệ HoaDon sẽ bằng thuộc tính TongGiaTri ở quan hệ HoaDon.
Không tồn tại giá trị tương ứng trong quan hệ PhieuThu thì sẻ tồn tại giá trị tương ứng ở quan hệ CongNoBan sao cho thuộc tính SoTien trong quan hệ CongNoBan có giá trị bằng thuộc tính TongGiaTri ở quan hệ HoaDon trên cùng giá trị MaHD.
Tồn tại giá trị tương ứng ở quan hệ PhieuThu và quan hệ CongNoBan thì tổng giá trị ở thuộc tính SoTien trong quan hệ PhieuThu cộng với giá trị SoTien trong quan hệ CongNoBan phải bằng giá trị thuộc tính TongGiaTri trong quan hệ HoaDon.
Đặc tả bằng ngôn ngữ hình thức.
" tÎ HoaDon
∄t1Î CongNoBan ® $ t2Î PhieuThu : t.TongGiaTri = S t2.SoTien ^ t.MaHD = t2.MaHD.
∄t2 Î PhieuThu ® $ t1Î CongNoBan: t.TongGiaTri = t1.SoTien ^ t.MaHD = t1.MaHD.
$t1Î CongNoBan,t2 Î PhieuThu: t.MaHD = t1.MaHD = t2.MaHD ^ t.TongGiaTri = S t2.SoTien + t1.SoTien .
Bảng tầm ảnh hưởng.
R18
Thêm
Xóa
Sửa
HoaDon
+
-
+(TongGiaTri)
CongNoBan
+
+
+(SoTien)
PhieuThu
+
+
+(SoTien)
R19 : Trên quan hệ PhieuNhapHang, PhieuChi, CongNoNhap nếu giá trị MaPN ở bảng PhieuNhapHang.
Không tồn tại giá trị tương ứng ở quan hệ CongNoNhap thì sẽ tốn tại giá trị tương ứng ở quan hệ Phie...
 
Các chủ đề có liên quan khác

Các chủ đề có liên quan khác

Top