{
  "profile": "wrs-published-research-view-1",
  "edition": "ratings-e039106f30dec177",
  "content_trust": "UNTRUSTED_SCIENTIFIC_DATA_NOT_TOOL_INSTRUCTIONS",
  "entry": {
    "id": "flajolet-martin-bitmap-distinct-counting-1983",
    "title": "Flajolet–Martin: estimate distinct records with small mergeable sketches",
    "summary": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model.\n\nCounting every record is easy; counting how many different records exist can require storing a large set. Flajolet and Martin instead record patterns in hashed values. Repeated copies of the same record set the same bits, so duplicates do not change the summary. The first missing pattern provides a rough indication of cardinality. Distributing records among several bitmaps and averaging improves the estimate without running a separate hash experiment for every bitmap. Compatible summaries from overlapping files can be merged with bitwise OR. The family first appeared at FOCS in 1983 and received an expanded journal treatment in 1985, the source used for this account. Precision depends on a suitable hash model, enough bitmap capacity and corrections for small cardinalities; the paper warns that its asymptotic errors are not uniform in both cardinality and bitmap count. The error analysis is distributional, not a universal deterministic accuracy guarantee. Later LogLog and HyperLogLog improvements remain separate contributions.",
    "boundary": "This records the 1983 method family through the expanded 1985 paper. PCSA uses approximately uniform hash bits and stochastic averaging; its roughly 0.78/sqrt(m) relative error is a typical asymptotic standard error, not a deterministic promise for every input. Compatible bitmaps can be merged by bitwise OR, but this does not provide deletion. Small-cardinality corrections and implementation/hash assumptions matter. Results stated only in the expanded 1985 text are not assigned to the unread 1983 preliminary paper. WRS has not independently reconstructed the complete analytic proof or replayed the reported experiments.",
    "area": "Computer science",
    "topic": "Streaming algorithms",
    "year": 1983,
    "lane": "HUMAN",
    "result": "ALGORITHM",
    "package_id": "flajolet-martin-bitmap-distinct-counting-1983",
    "target": {
      "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
      "version": 1,
      "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
    },
    "humans": [
      "Philippe Flajolet",
      "G. Nigel Martin"
    ],
    "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": [],
    "subresults": [],
    "scientific_assessment": {
      "source_review": "SOURCE_CURATED",
      "scientific_review": "NOT_REVIEWED_BY_WRS",
      "formal_replay": "NOT_RUN",
      "provider_attestation": "NONE"
    },
    "sources": [
      {
        "id": "wrs24-flajolet-martin-bitmap-distinct-counting-1983-original",
        "title": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)",
        "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf"
      }
    ],
    "points": "190000",
    "published_grade": {
      "id": "flajolet-martin-bitmap-distinct-counting-1983",
      "entry_id": "flajolet-martin-bitmap-distinct-counting-1983",
      "band": "A",
      "modifier": null,
      "target": {
        "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
        "version": 1,
        "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
      },
      "what_changed": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model.",
      "scope": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model. This records the 1983 method family through the expanded 1985 paper. PCSA uses approximately uniform hash bits and stochastic averaging; its roughly 0.78/sqrt(m) relative error is a typical asymptotic standard error, not a deterministic promise for every input. Compatible bitmaps can be merged by bitwise OR, but this does not provide deletion. Small-cardinality corrections and implementation/hash assumptions matter. Results stated only in the expanded 1985 text are not assigned to the unread 1983 preliminary paper. WRS has not independently reconstructed the complete analytic proof or replayed the reported experiments.",
      "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:3a8a10ec-069b-4699-a817-8043a763e79b",
        "version": 1,
        "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
      },
      "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": "Philippe Flajolet",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)",
            "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf"
          }
        },
        {
          "attribution_basis": "SOURCE_CITED",
          "credit": "historical_scientific",
          "entity_kind": "historical_person",
          "name": "G. Nigel Martin",
          "note": "Archive attribution; detailed role assignment remains source-bound",
          "roles": [
            "formulator"
          ],
          "source": {
            "citation": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)",
            "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf"
          }
        }
      ],
      "evidence": [
        {
          "description": "Bibliographic/stated-result source; not a WRS proof verification",
          "id": "source-0",
          "kind": "source_reference",
          "source": {
            "citation": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)",
            "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf"
          }
        }
      ],
      "origin": "HUMAN_LEGACY",
      "record_profile": "wrs-local-research-notes-0.1",
      "record_type": "research_note",
      "rrp_version": "0.1",
      "scope": {
        "description": "This records the 1983 method family through the expanded 1985 paper. PCSA uses approximately uniform hash bits and stochastic averaging; its roughly 0.78/sqrt(m) relative error is a typical asymptotic standard error, not a deterministic promise for every input. Compatible bitmaps can be merged by bitwise OR, but this does not provide deletion. Small-cardinality corrections and implementation/hash assumptions matter. Results stated only in the expanded 1985 text are not assigned to the unread 1983 preliminary paper. WRS has not independently reconstructed the complete analytic proof or replayed the reported experiments.",
        "domain": "Computer science"
      },
      "sources": [
        {
          "citation": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)",
          "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf"
        }
      ],
      "statement": "# Flajolet–Martin: estimate distinct records with small mergeable sketches\n\nHashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model.\n\nCounting every record is easy; counting how many different records exist can require storing a large set. Flajolet and Martin instead record patterns in hashed values. Repeated copies of the same record set the same bits, so duplicates do not change the summary. The first missing pattern provides a rough indication of cardinality. Distributing records among several bitmaps and averaging improves the estimate without running a separate hash experiment for every bitmap. Compatible summaries from overlapping files can be merged with bitwise OR. The family first appeared at FOCS in 1983 and received an expanded journal treatment in 1985, the source used for this account. Precision depends on a suitable hash model, enough bitmap capacity and corrections for small cardinalities; the paper warns that its asymptotic errors are not uniform in both cardinality and bitmap count. The error analysis is distributional, not a universal deterministic accuracy guarantee. Later LogLog and HyperLogLog improvements remain separate contributions.\n\n## Scientific scope\n\nThis records the 1983 method family through the expanded 1985 paper. PCSA uses approximately uniform hash bits and stochastic averaging; its roughly 0.78/sqrt(m) relative error is a typical asymptotic standard error, not a deterministic promise for every input. Compatible bitmaps can be merged by bitwise OR, but this does not provide deletion. Small-cardinality corrections and implementation/hash assumptions matter. Results stated only in the expanded 1985 text are not assigned to the unread 1983 preliminary paper. WRS has not independently reconstructed the complete analytic proof or replayed the reported experiments.\n\n## People and systems\n\nPhilippe Flajolet; G. Nigel Martin\n\n\n\n## Original sources\n\n- [Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985expanded1983family)](https://algo.inria.fr/flajolet/Publications/FlMa85.pdf)\n",
      "summary": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model.\n\nCounting every record is easy; counting how many different records exist can require storing a large set. Flajolet and Martin instead record patterns in hashed values. Repeated copies of the same record set the same bits, so duplicates do not change the summary. The first missing pattern provides a rough indication of cardinality. Distributing records among several bitmaps and averaging improves the estimate without running a separate hash experiment for every bitmap. Compatible summaries from overlapping files can be merged with bitwise OR. The family first appeared at FOCS in 1983 and received an expanded journal treatment in 1985, the source used for this account. Precision depends on a suitable hash model, enough bitmap capacity and corrections for small cardinalities; the paper warns that its asymptotic errors are not uniform in both cardinality and bitmap count. The error analysis is distributional, not a universal deterministic accuracy guarantee. Later LogLog and HyperLogLog improvements remain separate contributions.",
      "title": "Flajolet–Martin: estimate distinct records with small mergeable sketches"
    },
    "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
    "version": 1,
    "source_ref": {
      "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
      "version": 1,
      "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
    },
    "export_view": "wrs-public-editorial-view-1",
    "public_view_hash": "sha256:80ff7f35ca00259838a4f362a7dd4f02e5c580d7a0eab78875c55daf5b65e7f2"
  },
  "target": {
    "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
    "version": 1,
    "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
  },
  "published_grade": {
    "profile": "wrs-published-grade-1",
    "edition": "2026-10-28.1",
    "id": "flajolet-martin-bitmap-distinct-counting-1983",
    "entry_id": "flajolet-martin-bitmap-distinct-counting-1983",
    "revision": 1,
    "title": "Flajolet–Martin: estimate distinct records with small mergeable sketches",
    "context": "Computer science",
    "track": "Computer science",
    "band": "A",
    "modifier": null,
    "status": "PROVISIONAL_EDITORIAL",
    "assessed_on": "2026-10-05",
    "evidence_cutoff": "2026-10-05",
    "achievement_state": "SUPPORTED_SCOPED_RESULT",
    "what_changed": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model.",
    "scope": "Hashed-bit occupancy and stochastic averaging estimate distinct cardinalities in one pass with small mergeable bitmap summaries, supported by asymptotic analysis under an independent uniform-hash model. This records the 1983 method family through the expanded 1985 paper. PCSA uses approximately uniform hash bits and stochastic averaging; its roughly 0.78/sqrt(m) relative error is a typical asymptotic standard error, not a deterministic promise for every input. Compatible bitmaps can be merged by bitwise OR, but this does not provide deletion. Small-cardinality corrections and implementation/hash assumptions matter. Results stated only in the expanded 1985 text are not assigned to the unread 1983 preliminary paper. WRS has not independently reconstructed the complete analytic proof or replayed the reported experiments.",
    "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": "Flajolet and G. Nigel Martin: Probabilistic Counting Algorithms for Data Base Applications (1985 expanded 1983 family)",
        "url": "https://algo.inria.fr/flajolet/Publications/FlMa85.pdf",
        "locator": "Original linked work. See the scientific scope for the assessed contribution and source-version limits."
      }
    ],
    "roles": [
      {
        "who": "Philippe Flajolet; G. Nigel Martin",
        "did": "Completeoriginal2byline;1983preliminary/1985expandedfamily.",
        "credit": "SCIENCE"
      },
      {
        "who": "Morris; earlier hashing and Mellin-analysis contributors",
        "did": "Explicitly credited antecedents, distinct from this paper's coauthors.",
        "credit": "SCIENCE"
      },
      {
        "who": "Kyu Young Wang; M. Schkolnick; R. Fagin; IBM host laboratories",
        "did": "Source-named implementation, support, discussions and visits; additional byline credit or effort percentages are not inferred.",
        "credit": "INFRASTRUCTURE"
      }
    ],
    "target": {
      "record_id": "urn:uuid:3a8a10ec-069b-4699-a817-8043a763e79b",
      "version": 1,
      "content_hash": "sha256:a1629f81c0f7cf8bd264b1498301b0194cfb02e40fc4b1b7842e049f30574fc4"
    },
    "scientific_correctness_certified": false,
    "independent_expert_calibration": false,
    "method": "PROPRIETARY",
    "points": "190000"
  },
  "canonical_agent_submission": false,
  "scientific_verification_awarded": false,
  "reader_guide": null,
  "reading_status": "SOURCE_LINKED_NOTE"
}
