Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Sức khỏe - Y tế
Văn bản luật
Nông Lâm Ngư
Kỹ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Giới thiệu
Đăng ký
Đăng nhập
Tìm
Danh mục
Kinh doanh - Marketing
Kinh tế quản lý
Biểu mẫu - Văn bản
Tài chính - Ngân hàng
Công nghệ thông tin
Tiếng anh ngoại ngữ
Kĩ thuật công nghệ
Khoa học tự nhiên
Khoa học xã hội
Văn hóa nghệ thuật
Y tế sức khỏe
Văn bản luật
Nông lâm ngư
Kĩ năng mềm
Luận văn - Báo cáo
Giải trí - Thư giãn
Tài liệu phổ thông
Văn mẫu
Thông tin
Điều khoản sử dụng
Quy định bảo mật
Quy chế hoạt động
Chính sách bản quyền
Giới thiệu
Đăng ký
Đăng nhập
0
Trang chủ
Công Nghệ Thông Tin
Kỹ thuật lập trình
Biểu diễn mô hình TimeER bằng logic mô tả
Đang chuẩn bị liên kết để tải về tài liệu:
Biểu diễn mô hình TimeER bằng logic mô tả
Nhật Quân
102
10
pdf
Đang chuẩn bị nút TẢI XUỐNG, xin hãy chờ
Tải xuống
Bài viết Biểu diễn mô hình TimeER bằng logic mô tả ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, bài viết muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả. | Kỷ yếu Hội nghị Quốc gia lần thứ VIII về Nghiên cứu cơ bản và ứng dụng Công nghệ thông tin (FAIR); Hà Nội, ngày 9-10/7/2015 DOI: 10.15625/vap.2015.000136 BIỂU DIỄN MÔ HÌNH TIME-ER BẰNG LOGIC MÔ TẢ Nguyễn Viết Chánh, Hoàng Quang Trường Đại học Khoa học, Đại học Huế chanhkhmt@gmail.com, hquang@hueuni.edu.vn TÓM TẮT - Mối quan hệ giữa logic mô tả và cơ sở dữ liệu (CSDL) là khá khăng khít. Thực tế cho thấy nhu cầu của việc xây dựng các hệ thống vừa có khả năng biểu diễn tri thức, vừa cho phép quản trị CSDL là thật sự cần thiết. Hệ biểu diễn cơ sở tri thức logic mô tả ngoài việc cho phép quản lý các tri thức nội hàm, còn cung cấp một khung chuẩn được xem là gần gũi với các ngôn ngữ được dùng để biểu diễn mô hình thực thể - mối quan hệ (mô hình ER). Mặt khác, mô hình ER thời gian được dùng để mô hình hóa các khía cạnh thời gian của lược đồ CSDL mức khái niệm. Vì vậy, việc sử dụng logic mô tả để biểu diễn các mô hình ER thời gian là thật sự hữu ích trong việc hình thức hóa các mô hình dữ liệu mức khái niệm. Dựa vào logic mô tả có yếu tố thời gian, Alessandro Artale và các cộng sự (2011) đã biểu diễn các lược đồ ER thời gian và các ràng buộc toàn vẹn bằng cách hình thức hóa các phụ thuộc bao hàm bởi các tiên đề bao hàm. Nghiên cứu này, ngoài việc giới thiệu một phương pháp biểu diễn của các tác giả trên, bổ sung vào đó, chúng tôi muốn đề xuất việc biểu diễn các thuộc tính đa trị trên các mô hình ER thời gian bằng logic mô tả. Ứng dụng logic mô tả vào mô hình hóa mô hình TimeER. Từ khóa - Mô hình ER, Mô hình ER thời gian, Logic mô tả, Logic mô tả có yếu tố thời gian. I. GIỚI THIỆU Trong những năm gần đây, người ta thường nhắc đến logic mô tả (Description Logic) như là một phương thức biểu diễn tri thức hiệu quả. Lĩnh vực ứng dụng của logic mô tả rất đa dạng, logic mô tả được xem như là những ngôn ngữ với mục đích biểu diễn tri thức và suy luận [7][9]. Trong những ứng dụng cụ thể có sử dụng logic mô tả, tri thức của miền ứng dụng được đặc tả bằng các khái niệm và các mối
TÀI LIỆU LIÊN QUAN
Biểu diễn mô hình TimeER bằng logic mô tả
Đề xuất giải pháp biểu diễn cơ sở dữ liệu thời gian bằng mô hình thực thể quan hệ (ER) truyền thống
Tìm hiểu mô hình OSI
Nghiên cứu Didactic về khái niệm hình và hình vẽ biểu diễn trong hình học
Một thuật toán rút gọn bề mặt biểu diễn mô hình 3D
Bài giảng Đồ họa máy tính: Biểu diễn vật thể 3D
Mô hình đáp ứng giá điện cho phân tích biểu giá TOU (Time of Use)
Đề xuất tập đặc trưng trong phân lớp mô hình 3D
Bài giảng Biểu diễn tri thức và giải toán tự động: Phần 1 - Hoàng Kiếm & Đỗ văn Nhơn
Phát triển nội dung dạy học dựa trên mô hình biểu diễn tri thức Knowledge Graph
crossorigin="anonymous">
Đã phát hiện trình chặn quảng cáo AdBlock
Trang web này phụ thuộc vào doanh thu từ số lần hiển thị quảng cáo để tồn tại. Vui lòng tắt trình chặn quảng cáo của bạn hoặc tạm dừng tính năng chặn quảng cáo cho trang web này.