{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:6ZWDXZ4CWEAFHWENFEQLQ62WBW","short_pith_number":"pith:6ZWDXZ4C","schema_version":"1.0","canonical_sha256":"f66c3be782b10053d88d2920b87b560db27428712d1c50e061e988f28ae5d5d1","source":{"kind":"arxiv","id":"2501.16543","version":2},"attestation_state":"computed","paper":{"title":"Codd's Theorem for Databases over Semirings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carles Noguera, Guillermo Badia, Phokion G. Kolaitis","submitted_at":"2025-01-27T22:31:15Z","abstract_excerpt":"Codd's Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd's Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra, while in the second version the division operation is added to the five basic operations of relational algebra. In both versions, the difference operation of relations is given semantics using semirings with monus, while on the "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2501.16543","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2025-01-27T22:31:15Z","cross_cats_sorted":[],"title_canon_sha256":"857802ccdc2833d688c9acf726470c32dd28963274c4cb53ada5b7b0dee7776c","abstract_canon_sha256":"2f4122e182661e5dfebb59e28060c460d02f0fa5270dedc1139c64e119b1ea45"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:49:13.534801Z","signature_b64":"svhI1dzY4hJA4TkvibwQP3Wa/rXYx6PLW3kM3ixej4GIptXzd9coZZPebHr4ETXzW04CFMwG1S+nJqyjXYRQBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f66c3be782b10053d88d2920b87b560db27428712d1c50e061e988f28ae5d5d1","last_reissued_at":"2026-07-05T10:49:13.534330Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:49:13.534330Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Codd's Theorem for Databases over Semirings","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Carles Noguera, Guillermo Badia, Phokion G. Kolaitis","submitted_at":"2025-01-27T22:31:15Z","abstract_excerpt":"Codd's Theorem, a fundamental result of database theory, asserts that relational algebra and relational calculus have the same expressive power on relational databases. We explore Codd's Theorem for databases over semirings and establish two different versions of this result for such databases: the first version involves the five basic operations of relational algebra, while in the second version the division operation is added to the five basic operations of relational algebra. In both versions, the difference operation of relations is given semantics using semirings with monus, while on the "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2501.16543","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2501.16543/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"aliases":[{"alias_kind":"arxiv","alias_value":"2501.16543","created_at":"2026-07-05T10:49:13.534391+00:00"},{"alias_kind":"arxiv_version","alias_value":"2501.16543v2","created_at":"2026-07-05T10:49:13.534391+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2501.16543","created_at":"2026-07-05T10:49:13.534391+00:00"},{"alias_kind":"pith_short_12","alias_value":"6ZWDXZ4CWEAF","created_at":"2026-07-05T10:49:13.534391+00:00"},{"alias_kind":"pith_short_16","alias_value":"6ZWDXZ4CWEAFHWEN","created_at":"2026-07-05T10:49:13.534391+00:00"},{"alias_kind":"pith_short_8","alias_value":"6ZWDXZ4C","created_at":"2026-07-05T10:49:13.534391+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW","json":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW.json","graph_json":"https://pith.science/api/pith-number/6ZWDXZ4CWEAFHWENFEQLQ62WBW/graph.json","events_json":"https://pith.science/api/pith-number/6ZWDXZ4CWEAFHWENFEQLQ62WBW/events.json","paper":"https://pith.science/paper/6ZWDXZ4C"},"agent_actions":{"view_html":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW","download_json":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW.json","view_paper":"https://pith.science/paper/6ZWDXZ4C","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2501.16543&json=true","fetch_graph":"https://pith.science/api/pith-number/6ZWDXZ4CWEAFHWENFEQLQ62WBW/graph.json","fetch_events":"https://pith.science/api/pith-number/6ZWDXZ4CWEAFHWENFEQLQ62WBW/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW/action/storage_attestation","attest_author":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW/action/author_attestation","sign_citation":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW/action/citation_signature","submit_replication":"https://pith.science/pith/6ZWDXZ4CWEAFHWENFEQLQ62WBW/action/replication_record"}},"created_at":"2026-07-05T10:49:13.534391+00:00","updated_at":"2026-07-05T10:49:13.534391+00:00"}