Запись доказательств метода
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
Курируемые утверждения
Утверждения сохранены в реестре доказательств, каждое со своей оценкой.
Курируемых утверждений еще нет
Этот вид не создает оценку утверждения, если в реестре ее нет.
Связанные методы
Сгенерировано из графа методов и показано как предложенные машиной связи — никаких выводов об утверждениях доказательств не делается.