Paper Citation Record · LEDGER

Codd's Theorem for Databases over Semirings

As of 18 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2501.16543.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2501.16543 v2

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-10T12:40:03.665707Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

29 of 29 outbound references displayed

verified exact8
verified fuzzy12
unresolved9
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation ce588f29-a717-4403-bd6b-f1fce9f1fb69 · outbound

This paper cites F oundations of Databases, volume 1.

Codd's Theorem for Databases over Semirings F oundations of Databases, volume 1

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.844122Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 30cd35a3-3376-4108-8f38-04dddce7f03c · outbound

This paper cites Relational databases and Bell’s theor em.

Codd's Theorem for Databases over Semirings Relational databases and Bell’s theor em

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-10T12:40:03.525973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation eb9be08e-ffb9-4f4c-80d2-9f14f7eedd43 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-10T12:40:04.827120Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 71c8b2c1-0d72-40c5-b842-8fdb446f9a75 · outbound

This paper cites On the l imitations of provenance for queries with difference.

Codd's Theorem for Databases over Semirings On the l imitations of provenance for queries with difference

Reference 4

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.809358Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation a6f8651f-926d-443b-9d46-44f717183372 · outbound

This paper cites Kolaitis.

Codd's Theorem for Databases over Semirings Kolaitis

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.793073Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 7e55c11d-f978-4809-9395-5791d93426d8 · outbound

This paper cites Kolaitis.

Codd's Theorem for Databases over Semirings Kolaitis

Reference 6

Resolution: verified exact; doi, observed 2026-08-10T12:40:03.808687Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 3ca894a9-b7ad-449a-a371-42a7568051dc · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 7

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-10T12:40:04.551202Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1fbd93dc-5aed-4773-83a5-2459c3525086 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 8

Resolution: unresolved; raw_fallback, observed 2026-08-10T12:40:04.776305Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 31ecc2da-539b-47f5-9d14-5ff0d7cf0021 · outbound

This paper cites Dannert, Erich Gr¨ adel, Matthias Naaf, and V al Tannen.

Codd's Theorem for Databases over Semirings Dannert, Erich Gr¨ adel, Matthias Naaf, and V al Tannen

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-10T12:40:03.563404Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e151670-1576-4677-87b4-d054a6df98e1 · outbound

This paper cites On database query la nguages for K-relations.

Codd's Theorem for Databases over Semirings On database query la nguages for K-relations

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.759855Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 79953246-6e1c-4378-a4be-354271ba1d44 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 11

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-10T12:40:04.385821Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4757e201-8dd9-499d-a052-9a70b2fdd1e8 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 12

Resolution: unresolved; raw_fallback, observed 2026-08-10T12:40:04.744159Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation ff538124-bbf0-4d9a-bd14-5f004ddec164 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-10T12:40:04.727829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 38f944d0-c4c6-440b-b6d7-944e0da0e7dd · outbound

This paper cites Green, Grigoris Karvounarakis, and V al Tannen.

Codd's Theorem for Databases over Semirings Green, Grigoris Karvounarakis, and V al Tannen

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.711720Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 278ce817-c0e5-4be8-a460-87be1ecbb2d7 · outbound

This paper cites Semiring Provenance for First-Order Model Checking.

Codd's Theorem for Databases over Semirings Semiring Provenance for First-Order Model Checking

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-10T12:40:03.593813Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 88a122c0-3dbf-4c0a-ad9d-8a18ed931618 · outbound

This paper cites Provenance analysis and s emiring semantics for ﬁrst-order logic.

Codd's Theorem for Databases over Semirings Provenance analysis and s emiring semantics for ﬁrst-order logic

Reference 16

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.694470Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 4c197c89-5398-4668-873c-83edb0940868 · outbound

This paper cites Hajdinjak and A.

Codd's Theorem for Databases over Semirings Hajdinjak and A

Reference 17

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.677946Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 69176eed-dfb7-4b46-9d6c-e6ac1e06c106 · outbound

This paper cites Die formalen regeln der intuitionistis chen logik.

Codd's Theorem for Databases over Semirings Die formalen regeln der intuitionistis chen logik

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.662532Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 03ae71ae-32d7-4ab6-977f-e1632ba644a4 · outbound

This paper cites Ngo, Reinhard Pichler, Dan S uciu, and Yisu Remy Wang.

Codd's Theorem for Databases over Semirings Ngo, Reinhard Pichler, Dan S uciu, and Yisu Remy Wang

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-10T12:40:03.615452Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6749b930-d612-4ffc-85d2-c1b27b07cb34 · outbound

This paper cites Kostylev, Juan L.

Codd's Theorem for Databases over Semirings Kostylev, Juan L

Reference 20

Resolution: verified exact; doi, observed 2026-08-10T12:40:03.763701Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 014ac029-9527-4f20-8a7a-c3f974504a00 · outbound

This paper cites McKinsey.

Codd's Theorem for Databases over Semirings McKinsey

Reference 21

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.645421Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 97a0a36e-1be2-432c-800b-b941a21dc476 · outbound

This paper cites McKinsey and Alfred Tarski.

Codd's Theorem for Databases over Semirings McKinsey and Alfred Tarski

Reference 22

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.628327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation bf886c3d-5d2a-4079-b947-b58b514e79cb · outbound

This paper cites Example of a naturally ordered semiring which is not an m-semiring.

Codd's Theorem for Databases over Semirings Example of a naturally ordered semiring which is not an m-semiring

Reference 23

Resolution: verified exact; raw_fallback, observed 2026-08-10T12:40:04.137564Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation cb48edc1-2644-4e8f-982a-bb4bb7957efe · outbound

This paper cites Semi-Boolean algebras and their appl ications to intuitionistic logic with dual operations.

Codd's Theorem for Databases over Semirings Semi-Boolean algebras and their appl ications to intuitionistic logic with dual operations

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.611294Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 0b151d53-ba60-44a0-8027-d44c6ff7ff13 · outbound

This paper cites The independence of connectives.

Codd's Theorem for Databases over Semirings The independence of connectives

Reference 25

Resolution: verified exact; doi, observed 2026-08-10T12:40:03.745960Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation b4eb400d-708d-44c7-b83e-47ec2614bf0e · outbound

This paper cites Different differences in semirings.

Codd's Theorem for Databases over Semirings Different differences in semirings

Reference 26

Resolution: verified exact; doi, observed 2026-08-10T12:40:03.729483Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5cb19f29-af69-4e3c-855b-93085b70ac80 · outbound

This paper cites A naturally ordered semiring that cannot be e xpanded to a semiring with monus, 2025.

Codd's Theorem for Databases over Semirings A naturally ordered semiring that cannot be e xpanded to a semiring with monus, 2025

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-10T12:40:04.592014Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 1d31f1b5-09fc-4597-a2fe-47986a8e7686 · outbound

This paper cites an unresolved cited work.

Codd's Theorem for Databases over Semirings Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-10T12:40:04.572001Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Observation 5d82f055-b546-4a5a-982b-4834454d5db6 · outbound

This paper cites Evaluating datalog over semirings: A grounding-based approach.

Codd's Theorem for Databases over Semirings Evaluating datalog over semirings: A grounding-based approach

Reference 29

Resolution: verified exact; doi, observed 2026-08-10T12:40:03.711498Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.

Pith citing papers

No inbound Pith citation observations are available.