Tìm hiểu một số bài toán đệ quy trong datalog
➤ Gửi thông báo lỗi ⚠️ Báo cáo tài liệu vi phạmNội dung chi tiết: Tìm hiểu một số bài toán đệ quy trong datalog
Tìm hiểu một số bài toán đệ quy trong datalog
Tìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM H Tìm hiểu một số bài toán đệ quy trong datalog HIỂUMỘT só BÀI TOÁN ĐỆ QUY TRONG DATALOGGVHD: ThS. CAO THANH SONSVTH : LÊ ANH TUẤNCHU VÃN TRÀLỚP : 47K-CNTTNGHỆ AN-05/20111Tìm hiên một số bài toán đệ quy trong DataỉugLÒI CẢM ƠNChúng em xin chân thành câm ơn khoa Công Nghệ Thòng Tin. trường Đại Học Vinh đà tạo điều kiện tốt cho chúng em hoàn thành Tìm hiểu một số bài toán đệ quy trong datalog đồ án tốt nghiệp của minh.Chúng em xin được cảm ơn thầy giáo ThS. Cao Thanh Sơn đà tận tình hướng dần, chì bao chúng em trong suốt thời gian làm đồ ánTìm hiểu một số bài toán đệ quy trong datalog
.Chúng em xin được chân thành cam ơn quý thầy cô trong khoa đà tận tinh giang dạy, trang bị chơ chúng em những kiến thức quỷ báu trong suốt những năm Tìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM H Tìm hiểu một số bài toán đệ quy trong datalog nh chị và bạn bè đà úng hộ. giúp đờ và động viên chủng em trong thời gian học tập và nghiên cứu.Mặc dù đà hết sức cố gắng hoàn thành đồ án trong phạm vi và kha nâng cho phép nhưng chẩc chán sè không tránh khôi những thiếu sót. Chúng em kính mong nhận được sự câm thông và đóng góp ý kiến tận tinh của Tìm hiểu một số bài toán đệ quy trong datalog quý thầy cô và các bạn.Nghệ An .... Tháng 5 năm 2011.Sinh viên2Tìm hiên một sổ bài toán đệ quy trong DataỉugLÒI .XÓI DẢI íCác hệ quán (rị cư sờ dử liTìm hiểu một số bài toán đệ quy trong datalog
eu (QTCSDL) quan hệ, được xây dựng (heo mò hình dừ liệu quan hệ do E.F. Codd đề xuất vào nam 1970. đà thu được nhùng (hành lựu lo lớn về ca phương diệTìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM H Tìm hiểu một số bài toán đệ quy trong datalog và hiệu quả. Chúng có các thuật loan lim kiem. sap xếp vả đâm bâo loàn vẹn dừ liệu, quan lý truy cập dồng thời với nhiều người dũng khác nhau. 1 lơn nữa, vần dể quan trọng nhất cua một hệ QTCSDL phai có là kha năng tra lời các câu truy vấn có hiệu quá. Bên cạnh đó CSDL quan hệ đà cung cấp rất nhiều Tìm hiểu một số bài toán đệ quy trong datalog kỳ thuật liên lien đe đánh giá các biểu thức quan hệ phức tạp.Theo Codd: Một ngôn ngữ truy vấn CSDL là đầy dù (complete) nếu nó sinh ra các phép toánTìm hiểu một số bài toán đệ quy trong datalog
quan hệ.Tóm lại. sự thành công cua mô hình dừ liệu quan hệ là vô cùng to lớn. một minh chứng cụ thể là mô hình này đà được sử trong các hệ quân (rị tTìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM H Tìm hiểu một số bài toán đệ quy trong datalog được quan hệ ngừ nghĩa giừa các thuộc tính.Hiện nay, dã cò nhiều cách tiếp cận dể giai quyết vấn dề trên như: Data mining, Deductive database,... Các nghiên cứu VC Deductive Database được bat đầu lừ nliừng năm 70 cua thể kỷ tiước và dược thê hiện trong quyến sách Logic and Databases cua nhóm tác gia Tìm hiểu một số bài toán đệ quy trong datalog Gallairc và Minker. Từ khi ra dời, các nghiên cứu trong lình vực này có 2 xu hướng chính:J MỘI là. mong muon lích hợp giừa CSDL và (rí tuệ nhân lạo,Tìm hiểu một số bài toán đệ quy trong datalog
mớ rộng hệ thống CSDL và cung cấp một chức năng như hệ chuyên gia, gọi là hệ cơ sơ tri thức.3Tìm hiên một số bài toán đệ quy trong DatalugJ Hai là, moTìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM H Tìm hiểu một số bài toán đệ quy trong datalog tiếp cận trên có tinh kha thi cao vì có sự tương đồng giừa lập trình logic và phép toán quan hệ đó là chủng có chung mò hình toán học cơ bân: logic vị từ bậc nhất (first-order-logic). Tìm hiểu một số bài toán đệ quy trong datalog Tìm hiên một sổ bài toán đệ quy trong DataìugTR NG IH c VINHKHOA c NGNGH TH NG TIN---hy. ---ĐÓ ÁN TÓT NGHIỆP ĐẠI HỌCNGÀNH: K s c NG NGH TH NG TINTÌM HGọi ngay
Chat zalo
Facebook