CSDL Bài trích Báo - Tạp chí
Phủ của tập phụ thuộc hàm và vấn đề tựa chuẩn hóa trong mô hình dữ liệu dạng khối
Tác giả: Trịnh Đình Vinh, Vũ Đức Thi
Số trang:
Tr. 312-320
Tên tạp chí:
Tin học và điều khiển học
Số phát hành:
Tập 26 số 4/2010
Kiểu tài liệu:
Tạp chí trong nước
Nơi lưu trữ:
Phòng Báo - Tạp chí(hủy)
Mã phân loại:
004
Ngôn ngữ:
Tiếng Việt
Từ khóa:
Mô hình dữ liệu dạng khối, phủ, tập phụ thuộc hàm
Tóm tắt:
Mô hình dữ liệu dạng khối là một mở rộng của mô hình dữ liệu quan hệ. Bài báo đưa ra các khái niệm mới về phủ của tập các phụ thuộc hàm, phủ không dư thừa, phủ tối thiểu…và vấn đề tựa chuẩn hóa một lược đồ khối trong mô hình dữ liệu dạng khối. Từ các khái niệm đưa ra, một số tính chất về phủ của tập phụ thuộc hàm và các thuật toán tựa chuẩn hóa được phát biểu và chứng minh.
Tạp chí liên quan
- Constrained optimization using swarm intelligence integrated with Deb’s feasibility rules developed in Python = Giải bài toán tối ưu hóa ràng buộc sử dụng trí tuệ bầy đàn kết hợp quy tắc khả thi của Deb được phát triển bằng Python
- Particle Swarm Optimization using ε constraint-handling method developed in Python = Thuật toán tối ưu hóa bầy đàn sử dụng phương pháp xử lý ràng buộc ε được phát triển với Python
- Solving constrained optimization tasks in civil engineering using ε- Differential Evolution developed with Visual C#. NET = Giải các bài toán tối ưu hóa có ràng buộc trong ngành xây dựng sử dụng thuật toán ε - tiến hóa vi phân được phát triển với ngôn ngữ
- Optimizing cantilever retaining wall design using feasibility rule-based evolutionary algorithm developed with Visual C# .NET = Tối ưu hóa thiết kế tường chắn đất sử dụng thuật toán tiến hóa được kết hợp quy tắc khả thi và phát triển với ngôn ngữ C# .NET
- IFC5 : kỳ vọng về cuộc cách mạng trao đổi thông tin trong xây dựng kỹ thuật số