Trình kiểm tra chuẩn hóa giản đồ cơ sở dữ liệu?

Question

Tôi quan tâm đến việc tìm hiểu về các công cụ hoạt động như thế này:

Đưa ra lược đồ cơ sở dữ liệu và một số dữ liệu, đề xuất xem lược đồ có thể được cấu trúc trong bất kỳ biểu mẫu bình thường cụ thể nào không. tạo ra sự bình thường hóa hơn nữa.

Về cơ bản, một công cụ phân tích tĩnh cho thiết kế lược đồ cơ sở dữ liệu. Giống như các công cụ phân tích tĩnh khác, công cụ cơ sở dữ liệu như vậy không cần tạo ra kết quả hoàn hảo (tôi nghi ngờ một công cụ "hoàn hảo" có tính toán khả thi), hoặc áp dụng cho tất cả các hệ thống cơ sở dữ liệu, hoặc nguồn mở/miễn phí. Công cụ này không cần phải độc lập; nó có thể được đóng gói như một số tính năng IDE tinh vi. Tôi chỉ tự hỏi có gì ở ngoài kia.

Answer 1

Có thể thực hiện và có ít nhất 2 công cụ có sẵn đặc biệt có thể làm bình thường cho bạn: GeneXus và DeKlarit. Họ sử dụng quy trình có tên là NormalizationBySynthesis

Answer 2

Không thể thực hiện được.

Normalization được định nghĩa về phụ thuộc hàm mà

1. Không thể được thể hiện trong SQL
2. Không thể được suy ra từ các dữ liệu

Bạn có thể nhìn vào một bảng như

A | B 
--+-- 
1 | 1 
1 | 2 

và suy ra rằng B là không phải là phụ thuộc vào A (bởi vì nó có hai giá trị riêng biệt cho một giá trị A), nhưng bạn không bao giờ có thể suy ra rằng phụ thuộc không tồn tại, ví dụ: A có thể hoặc không thể phụ thuộc vào B.

Answer 3

Tôi nghĩ rằng rất khó thực hiện.

Giống như, một bảng

Id | Name | Surname | SSN 

là ở 1NF, và

Id | Name | Surname | Mobile 

là không, nhưng bạn có thể nói nó không phải từ việc thiết kế cũng không từ dữ liệu, chỉ từ tên trường.

Tôi đã từng thấy một cơ sở dữ liệu về siêu âm thực sự có cả hai GENDER và LMP (kỳ kinh nguyệt cuối cùng) trong một bảng.

Answer 4

Một công cụ như bạn mô tả, mà cố gắng để phân tích dữ liệu và siêu dữ liệu của bạn và tư vấn cho bạn về những thể cấu trúc không bình thường, sẽ cung cấp cho gợi ý sai nên thường xuyên rằng nó sẽ làm cho Clippy, trợ lý của Microsoft có vẻ như một không thể thiếu của nhà văn viện trợ.

Quá trình chuẩn hóa liên quan đến việc ánh xạ các yêu cầu phần mềm đến mô hình dữ liệu lôgic. Công cụ phân tích không thể biết yêu cầu dữ liệu của bạn tốt hơn bạn. Vì vậy, nó không thể suy ra từ một thiết kế cơ sở dữ liệu không chính xác mà các bộ phận của nó là sai.

Tôi hiểu rằng bạn đã đủ điều kiện cho câu hỏi và bạn có kỳ vọng giới hạn về khả năng của công cụ.Nhưng bạn sẽ muốn nó hữu ích cho các công việc thường ngày, nhưng nó sẽ không đáng tin cậy ngay cả đối với những trường hợp đơn giản nhất.

So sánh với công cụ phân tích mã tĩnh. Giả sử bạn viết một ứng dụng và gửi nó cho khách hàng của bạn, và khách hàng nói "tại sao tôi không thể gửi email từ ứng dụng này?" Công cụ phân tích mã tĩnh sẽ cho bạn biết rằng bạn đã bỏ qua một tính năng mong muốn như thế nào? Nó không thể biết những yêu cầu đó. Tương tự như vậy, công cụ phân tích chuẩn hóa cơ sở dữ liệu sẽ biết liệu nó có phù hợp với bảng UserAccount để có một thuộc tính MobilePhoneNumber hay không, hoặc nếu thích hợp hơn để tách số điện thoại thành một bảng khác để một người dùng có thể có nhiều điện thoại liệt kê?

Answer 5

Tôi cũng đã nghĩ về vấn đề này. Đó là lý thuyết có thể và có một số tài liệu nghiên cứu về chủ đề này. có sử dụng công cụ khá thú vị tại www.dbtools.cs.cornell.edu. Điều này được phát triển bởi tác giả nổi tiếng Raghu Ramakrishnan. Ông hiện đang ở Yahoo Research. Bạn có thể tham khảo các giấy tờ sau để biết thêm thông tin

1. Diederich, T. và Miton, J., (1988), "Phương pháp mới và thuật toán nhanh để chuẩn hóa cơ sở dữ liệu", Giao dịch ACM trên hệ thống cơ sở dữ liệu, 13 (3), 339-365.
2. Bernstein, P. A. (1986), "Tổng hợp quan hệ biểu mẫu thông thường thứ ba từ các phụ thuộc chức năng", các giao dịch ACM trên các hệ thống cơ sở dữ liệu, tập 1. Số 4, trang 277-298.
3. JMathNorm: Công cụ chuẩn hóa cơ sở dữ liệu sử dụng Mathematica, Bài giảng trong Khoa học máy tính; Vol. 4488, Kỷ yếu Hội nghị quốc tế lần thứ 7 về Khoa học Máy tính, Phần II, Ali Yazici, Ziya Karakaya

Liên kết thứ ba rất thú vị. Dưới đây là tóm tắt của bài báo:

Bài viết này là về thiết kế một công cụ tương tác hoàn chỉnh , tên JMathNorm, cho cơ sở dữ liệu quan hệ (RDB) bình thường sử dụng Mathematica. Nó là một phần mở rộng của nguyên mẫu phát triển bởi các tác giả cùng [1] với sự bao gồm của Form Second Bình thường (2NF), và Boyce Codd-Normal Form (BCNF) ngoài các hiện Form bình thường thứ ba (3NF) mô-đun. Công cụ được phát triển trong nghiên cứu này là hoàn chỉnh và có thể được sử dụng cho thời gian thực thiết kế cơ sở dữ liệu cũng như trợ giúp trong các khái niệm cơ bản về chuẩn hóa cho sinh viên có giới hạn nền toán học. JMathNorm cũng hỗ trợ sử dụng tương tác của mô-đun cho thực hiện thí điểm hoạt động thiết lập nền tảng như đóng cửa, và toàn đóng cửa cùng với mô-đun để có được tối thiểu bìa của sự phụ thuộc chức năng thiết lập và thử nghiệm một thuộc tính cho một chìa khóa ứng cử viên. Giao diện GUI của JMathNorm được viết bằng Java và sử dụng cơ sở JLink của Mathematica để điều khiển hạt nhân Mathematica.

Tôi cũng rất quan tâm đến câu trả lời cho câu hỏi này. Nếu có ai đó gặp một công cụ, xin vui lòng cho chúng tôi biết!

Answer 6

Công cụ nguồn mở SchemaSpy phát hiện một số "dị thường", như "Bảng không có chỉ mục" hoặc "Cột được gắn cờ là cả 'không thể' và 'phải là duy nhất'". Một trong những bất thường là "Bàn với incrementing tên cột, có khả năng chỉ ra denormalization"

http://schemaspy.sourceforge.net/