Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-10T12:40:03.665707Z
Paper Citation Record · LEDGER
Codd's Theorem for Databases over Semirings
As of 16 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.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-16T06:30:59.297886+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation a6f8651f-926d-443b-9d46-44f717183372 · outbound
This paper cites 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-16T06:30:59.297886+00:00.
Observation 7e55c11d-f978-4809-9395-5791d93426d8 · outbound
This paper cites 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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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 first-order logic.
Codd's Theorem for Databases over Semirings Provenance analysis and s emiring semantics for first-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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Observation 014ac029-9527-4f20-8a7a-c3f974504a00 · outbound
This paper cites 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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+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-16T06:30:59.297886+00:00.
Pith citing papers
No inbound Pith citation observations are available.