Запис о доказима методе
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.
Изворни запис
Цитирани радови су копирани дословно из изворног записа методе. Из њих се не изводи верификација на нивоу тврдње.
Relational Database Normalization
Таксономски запис методе · 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
Куроване тврдње
Тврдње су сачуване у регистру доказа, свака са својом проценом.
Још увек нема курованих тврдњи
Овај приказ не измишља процену тврдње када регистар нема ниједну.
Сродне методе
Генерисано из графа метода и приказано као машински предложене везе — не изводи се тврдња доказа.