TimTaiLieu.vn - Tài liệu, ebook, giáo trình, đồ án, luận văn

Một CSDL là một kho chứa dành cho các tập hợp dữ liệu hoặc sự kiện có liên quan trong một cấu trúc đặc trưng Ví dụ về một CSDL không được vi tính hóa là một danh bạ điện thoại

16 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2250 | Lượt tải: 0

Các hệ cơ sở dữ liệu (hệ CSDL) đầu tiên được xây dựng theo các mô hình phân cấp và mô hình mạng, đã xuất hiện vào những năm 1960, được xem là thế hệ thứ nhất của các hệ quản trị cơ sở dữ liệu (hệ QTCSDL). Tiếp theo là thế hệ thứ hai, các hệ QTCSDL quan hệ, được xây dựng theo mô hình dữ liệu quan hệ do E.F. Codd đề xuất vào năm 1970. Các hệ QTCSDL...

117 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3701 | Lượt tải: 3

Giáo trình giới thiệu khái niệm, cấu trúc của hệ thống quản lí cơ sở dữ liệu (CSDL) và hệ thống quản lí CSDL hệ thức. Đồng thời, giáo trình bàn luận các vấn đề về thiết kế, phác thảo trong quá trình thiết kế 1 CSDL và những vấn đề thiết yếu về ngôn ngữ truy nhập CSDL. Bên cạnh đó, giáo trình cũng đề cập đến nhứng khái niệm trong giao dịch và bảo mậ...

194 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2888 | Lượt tải: 4

Trong quá trình cài đặt nếy xảy ra sai xót hãy tìm các tập tin sau để thu thập thông tin mà có hàng động sửa chữa. C:\WINNT\sqlstp.log:Tập tin nhật ký ghi quá trình cài đặt theo thời gian cho từng hành động. C:\Program Files\Microsoft SQL Server\MSSQL\Install\*.Out":Thông báo rõ ràng hư hỏng chổ nào

10 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2339 | Lượt tải: 1

Dữ liệu (Data):Là tất cả thông tin khi lưu trữ vào máy tính (văn bản, âm thanh, hình ảnh. . .)
Cơ sở dữ liệu (DB-DataBase): Là các dữ liệu được được lưu trữ có hệ thống có tổ chức dưới dạng các bảng nhiều dòng, nhiều cột, mỗi cột 1 kiểu mô tả 1 thông tin cụ thể.

10 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2348 | Lượt tải: 3

Cấu trúc dữ liệu (CTDL) là một cách tổ chức dữ liệu của bài toán. CTDL có thể do ngôn ngữ lập trình định nghĩa trước hoặc có thể do người sử dụng định nghĩa. Cấu trúc dữ liệu tốt thì thuật toán xử lý bài toán mới tối ưu.

46 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2040 | Lượt tải: 2

Bổ đề - định lý nhỏ sử dụng như bước đệm để chứng minh định lý chính. Hệ quả - định lý nhỏ được chứng minh bằng cách suy luận dễ dàng từ định lý chính. Giả thuyết - khẳng định mà giá trị chân lý đúng của nó chưa được chứng minh. (Tuy nhiên, giả thuyết có thể được tin tưởng rộng rãi vào tính đúng đắn) Lý thuyết – tập tất cả các định lý mà được ch...

61 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3425 | Lượt tải: 3

Định nghĩa: Mệnh đề (ký hiệu p, q, r, ) đơn giản là: Một khẳng định (tức là, một câu tuyên bố) Với một ngữ nghĩa xác định (không nhập nhằng) Có giá trị chân lý là đúng true (T) hoặc sai false (F) Không khi nào hoặc cả hai hoặc nửa chừng!” Tuy nhiên bạn có thể chưa biết giá trị chân lý của nó, Và giá trị chân lý có thể phụ thuộc vào tình hu...

99 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2768 | Lượt tải: 3

Cơ sở của mọi quá trình xử lý thông tin kỹ thuật số là: Thao tác rời rạc của các cấu trúc rời rạc trong bộ nhớ. Là ngôn ngữ cơ bản và khái niệm cơ sở cho mọi thức khác của Khoa học máy tính. Các khái niệm toán rời rạc được dùng rộng rãi trong Toán học, Khoa học, Công nghệ, Kinh tế, Sinh học, Là công cụ có ích nói chung cho mọi suy nghĩ hợp lý!

18 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 2524 | Lượt tải: 1

(p  cond){S}q (p  ¬cond)→q∴ p{if cond then S}q VD: Chỉ ra rằng: T {if x>y then y:=x} y≥x. C/m: nếu ban đầu x>y, thì nếu thực hiện thân chương trình, đặt y=x, và sau đó hiển nhiên y≥x là đúng. Ngược lại, x≤y và vì vậy y≥x. Trong trường hợp này không làm gì và y≥x vẫn là đúng. Khi áp dụng qui tắc đó, các yêu cầu đều thỏa mãn.

14 trang | Chia sẻ: haohao89 | Ngày: 08/08/2013 | Lượt xem: 3430 | Lượt tải: 2