{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "codd-further-normalization-1971",
    "title": "Codd: further normalization through functional dependencies",
    "summary": "Codd's RJ909 report developed second and third normal forms by examining dependencies on candidate keys and transitive dependencies of nonprime attributes.\n\nSeparating dependencies helps identify relations that mix different facts and can suffer update anomalies. The report adds design criteria beyond the 1970 relational-model paper, while acknowledging limitations of removing transitive dependencies.",
    "boundary": "This entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.",
    "area": "Database design",
    "topic": "Database design",
    "year": 1971,
    "lane": "HUMAN",
    "result": "THEORY",
    "package_id": "codd-further-normalization-1971",
    "target": {
      "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
      "version": 1,
      "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
    },
    "humans": [
      "Edgar F. Codd"
    ],
    "authors_complete": true,
    "human_role_note": "Source-listed contributors to this scoped work. Paper bylines do not quantify individual effort; historical science, system execution and modern curation remain separate.",
    "agents": [],
    "related": [
      "codd-relational-model"
    ],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "pc26-codd-further-normalization-1971",
        "title": "Further Normalization of the Data Base Relational Model, IBM RJ909 (1971)",
        "url": "https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf"
      }
    ],
    "points": "135000",
    "published_grade": {
      "id": "codd-further-normalization-1971",
      "entry_id": "codd-further-normalization-1971",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
        "version": 1,
        "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
      },
      "what_changed": "Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts.",
      "scope": "Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts. This entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.",
      "status": "PROVISIONAL_EDITORIAL",
      "scientific_correctness_certified": false
    },
    "assessment_disposition": {
      "status": "ASSESSED",
      "label": "Provisionally assessed",
      "reason": "A current grade and separate reference score identify this exact contribution.",
      "target": {
        "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
        "version": 1,
        "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
      },
      "edition": "ratings-e039106f30dec177"
    }
  },
  "version": {
    "kind": "PUBLIC_RECORD_VIEW",
    "previous": null,
    "published_at": "2026-10-03T00:00:00Z",
    "publisher": {
      "principal_id": "urn:uuid:80116931-785b-40a2-a24b-9d59db0c7e33",
      "role": "WRS_EDITORIAL_PUBLICATION"
    },
    "record": {
      "contributors": [
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "Edgar F. Codd",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Further Normalization of the Data Base Relational Model, IBM RJ909 (1971)",
            "url": "https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Further Normalization of the Data Base Relational Model, IBM RJ909 (1971)",
            "url": "https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.",
        "domain": "Database design"
      },
      "sources": [
        {
          "citation": "Further Normalization of the Data Base Relational Model, IBM RJ909 (1971)",
          "url": "https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf"
        }
      ],
      "statement": "# Codd: further normalization through functional dependencies\n\nCodd's RJ909 report developed second and third normal forms by examining dependencies on candidate keys and transitive dependencies of nonprime attributes.\n\nSeparating dependencies helps identify relations that mix different facts and can suffer update anomalies. The report adds design criteria beyond the 1970 relational-model paper, while acknowledging limitations of removing transitive dependencies.\n\n## Scientific scope\n\nThis entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.\n\n## People and systems\n\nEdgar F. Codd\n\n\n\n## Original sources\n\n- [Further Normalization of the Data Base Relational Model, IBM RJ909 (1971)](https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf)\n",
      "summary": "Codd's RJ909 report developed second and third normal forms by examining dependencies on candidate keys and transitive dependencies of nonprime attributes.\n\nSeparating dependencies helps identify relations that mix different facts and can suffer update anomalies. The report adds design criteria beyond the 1970 relational-model paper, while acknowledging limitations of removing transitive dependencies.",
      "title": "Codd: further normalization through functional dependencies"
    },
    "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
      "version": 1,
      "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:c2fdbf29970826a354fe2f1caed4f155e08d402ff5a420e97f2ab4e6f38d1079"
  },
  "target": {
    "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
    "version": 1,
    "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "codd-further-normalization-1971",
    "entry_id": "codd-further-normalization-1971",
    "revision": 1,
    "title": "Codd: further normalization through functional dependencies",
    "context": "Database design",
    "track": "Database design",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-03",
    "evidence_cutoff": "2026-10-03",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts.",
    "scope": "Candidate-key and transitive-dependency criteria articulate second and third normal forms to distinguish relations combining different facts. This entry covers the inspected definitions and examples, not every later theorem in the report. Conditions concern all candidate keys. Normalization does not guarantee an optimal application design or remove every dependency without loss.",
    "evidence_summary": "Source-linked, scoped account of the original work. The published scope states the scientific assumptions and remaining verification limits. WRS has not independently certified the full proof, experimental result or system benchmark.",
    "references": [
      {
        "title": "Further Normalization of the Data Base Relational Model, IBM RJ 909 (1971)",
        "url": "https://apollo.inf.upol.cz/~urbanec/teaching/2021/data2/files/codd2.pdf",
        "locator": "Original linked work. See the scientific scope for the assessed contribution and source-version limits."
      }
    ],
    "roles": [
      {
        "who": "Edgar F. Codd",
        "did": "Original source-listed scientific author of this scoped work; byline does not determine effort fractions.",
        "credit": "SCIENCE"
      }
    ],
    "target": {
      "record_id": "urn:uuid:b88a4534-9571-4483-af34-fed9b6c7e65c",
      "version": 1,
      "content_hash": "sha256:f32c2164c5227ffbc34caeefc1e4e565cc071a86de3f39d1b4d3582833dc1b65"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "135000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}