Zapis dowodowy metody
Database Normalization
Database normalization is a systematic process for organizing relational database schemas to eliminate redundancy and enforce data integrity. Introduced by Edgar Codd in 1970-1971 as part of the relational database model, it defines a series of normal forms (1NF through BCNF) that progressively eliminate different types of data anomalies.
Zapis źródłowy
Cytaty skopiowane dosłownie z zapisu źródłowego metody. Nie należy z nich wywnioskować weryfikacji na poziomie twierdzenia.
Relational Database Normalization
Taksonomiczny zapis metody · process-pipeline / information-systems
- Codd, E. F. (1970). A relational model of data for large shared data banks. Communications of the ACM, 13(6), 377-387. · DOI 10.1145/362384.362685
- Codd, E. F. (1971). Further normalization of the data base relational model. IBM Research Report RJ892. · URL
- Boyce, R. F., Chamberlin, D. D., King, W. F., & Hammer, M. M. (1975). Specifying and enforcing integrity constraints in SQL. SIGMOD Record, 5(4), 70-77. · URL
Wyselekcjonowane twierdzenia
Twierdzenia utrwalone w rejestrze dowodowym, każde z własną oceną.
Brak wyselekcjonowanych twierdzeń
Ten widok nie tworzy oceny twierdzenia, jeśli rejestr jej nie zawiera.
Powiązane metody
Wygenerowane z grafu metod i pokazane jako sugerowane przez maszynę powiązania — nie należy z nich wywnioskować twierdzenia dowodowego.