Metodes pierādījumu reģistrs
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.
Avota reģistrs
Atsauces kopētas tieši no metodes avota reģistra. Tās nenozīmē nekādu apgalvojumu līmeņa verifikāciju.
Relational Database Normalization
Taksonomiskās metodes reģistrs · 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
Kurēti apgalvojumi
Apgalvojumi saglabāti pierādījumu reģistrā, katram ar savu novērtējumu.
Vēl nav kurētu apgalvojumu
Šis skatījums neizgudro apgalvojumu novērtējumu, ja reģistrā tā nav.
Saistītās metodes
Ģenerēts no metodes grafika un parādīts kā mašīnas ieteiktas attiecības — netiek izvirzīts neviens pierādījumu apgalvojums.