{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:DQQ4CPRKPRX2AIYYKWAXAPUPMW","short_pith_number":"pith:DQQ4CPRK","canonical_record":{"source":{"id":"2105.14435","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2021-05-30T06:03:43Z","cross_cats_sorted":[],"title_canon_sha256":"d04583cc821c80e4271dc23cb4d30c0ed3d59c747fb288b1c8a89411e1e9b037","abstract_canon_sha256":"8a7a8b79a7def47cbc116f9f0456435807495cefd2c140537acb24dd9b663ea7"},"schema_version":"1.0"},"canonical_sha256":"1c21c13e2a7c6fa023185581703e8f65bec80c099aea04208f5e110af359ef90","source":{"kind":"arxiv","id":"2105.14435","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14435","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14435v5","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14435","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_12","alias_value":"DQQ4CPRKPRX2","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_16","alias_value":"DQQ4CPRKPRX2AIYY","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_8","alias_value":"DQQ4CPRK","created_at":"2026-07-05T07:37:09Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:DQQ4CPRKPRX2AIYYKWAXAPUPMW","target":"record","payload":{"canonical_record":{"source":{"id":"2105.14435","kind":"arxiv","version":5},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2021-05-30T06:03:43Z","cross_cats_sorted":[],"title_canon_sha256":"d04583cc821c80e4271dc23cb4d30c0ed3d59c747fb288b1c8a89411e1e9b037","abstract_canon_sha256":"8a7a8b79a7def47cbc116f9f0456435807495cefd2c140537acb24dd9b663ea7"},"schema_version":"1.0"},"canonical_sha256":"1c21c13e2a7c6fa023185581703e8f65bec80c099aea04208f5e110af359ef90","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:37:09.673423Z","signature_b64":"jCjI02LJyBCh1JQZQGnZhVvGMKlNETM1g3jL0QfjV5rgTk/bX1BcW9ZEk/3y2YLWHXgWsjK8NooWVBKYfbgeAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1c21c13e2a7c6fa023185581703e8f65bec80c099aea04208f5e110af359ef90","last_reissued_at":"2026-07-05T07:37:09.672937Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:37:09.672937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2105.14435","source_version":5,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:37:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+8JKglnA8jUvNk7/TKQuhgvBBkblJwCp4Ngb/86Q3x+/zvqzBpLrCqqI9zDscsrHYSirWABDBQL96NC3hCSNDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T23:46:18.931924Z"},"content_sha256":"d0e5d234ee387c686f8ced5bcca3d10627231f7ec9cc62bb42e76b16d4e3c679","schema_version":"1.0","event_id":"sha256:d0e5d234ee387c686f8ced5bcca3d10627231f7ec9cc62bb42e76b16d4e3c679"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:DQQ4CPRKPRX2AIYYKWAXAPUPMW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Convergence of Datalog over (Pre-) Semirings","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis, Reinhard Pichler, Yisu Remy Wang","submitted_at":"2021-05-30T06:03:43Z","abstract_excerpt":"Recursive queries have been traditionally studied in the framework of datalog, a language that restricts recursion to monotone queries over sets, which is guaranteed to converge in polynomial time in the size of the input. But modern big data systems require recursive computations beyond the Boolean space. In this paper we study the convergence of datalog when it is interpreted over an arbitrary semiring. We consider an ordered semiring, define the semantics of a datalog program as a least fixpoint in this semiring, and study the number of steps required to reach that fixpoint, if ever. We ide"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14435","kind":"arxiv","version":5},"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/2105.14435/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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T07:37:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E3Gl8ulrLJyhCUgVUo8gPxBmz+Dv2AYBouVYRojhYxQc6DmlVA20+lCJ2KmVHHGNTrwa0AdkY+XzisKPS12UAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-10T23:46:18.932301Z"},"content_sha256":"450c107ea0c3172457f8fdaeef1c5b00b70a1ad24712395d59eff8ac8c8959c2","schema_version":"1.0","event_id":"sha256:450c107ea0c3172457f8fdaeef1c5b00b70a1ad24712395d59eff8ac8c8959c2"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/bundle.json","state_url":"https://pith.science/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-07-10T23:46:18Z","links":{"resolver":"https://pith.science/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW","bundle":"https://pith.science/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/bundle.json","state":"https://pith.science/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/DQQ4CPRKPRX2AIYYKWAXAPUPMW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:DQQ4CPRKPRX2AIYYKWAXAPUPMW","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"8a7a8b79a7def47cbc116f9f0456435807495cefd2c140537acb24dd9b663ea7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2021-05-30T06:03:43Z","title_canon_sha256":"d04583cc821c80e4271dc23cb4d30c0ed3d59c747fb288b1c8a89411e1e9b037"},"schema_version":"1.0","source":{"id":"2105.14435","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2105.14435","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"arxiv_version","alias_value":"2105.14435v5","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2105.14435","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_12","alias_value":"DQQ4CPRKPRX2","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_16","alias_value":"DQQ4CPRKPRX2AIYY","created_at":"2026-07-05T07:37:09Z"},{"alias_kind":"pith_short_8","alias_value":"DQQ4CPRK","created_at":"2026-07-05T07:37:09Z"}],"graph_snapshots":[{"event_id":"sha256:450c107ea0c3172457f8fdaeef1c5b00b70a1ad24712395d59eff8ac8c8959c2","target":"graph","created_at":"2026-07-05T07:37:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2105.14435/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recursive queries have been traditionally studied in the framework of datalog, a language that restricts recursion to monotone queries over sets, which is guaranteed to converge in polynomial time in the size of the input. But modern big data systems require recursive computations beyond the Boolean space. In this paper we study the convergence of datalog when it is interpreted over an arbitrary semiring. We consider an ordered semiring, define the semantics of a datalog program as a least fixpoint in this semiring, and study the number of steps required to reach that fixpoint, if ever. We ide","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis, Reinhard Pichler, Yisu Remy Wang","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2021-05-30T06:03:43Z","title":"Convergence of Datalog over (Pre-) Semirings"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2105.14435","kind":"arxiv","version":5},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:d0e5d234ee387c686f8ced5bcca3d10627231f7ec9cc62bb42e76b16d4e3c679","target":"record","created_at":"2026-07-05T07:37:09Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"8a7a8b79a7def47cbc116f9f0456435807495cefd2c140537acb24dd9b663ea7","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2021-05-30T06:03:43Z","title_canon_sha256":"d04583cc821c80e4271dc23cb4d30c0ed3d59c747fb288b1c8a89411e1e9b037"},"schema_version":"1.0","source":{"id":"2105.14435","kind":"arxiv","version":5}},"canonical_sha256":"1c21c13e2a7c6fa023185581703e8f65bec80c099aea04208f5e110af359ef90","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"1c21c13e2a7c6fa023185581703e8f65bec80c099aea04208f5e110af359ef90","first_computed_at":"2026-07-05T07:37:09.672937Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:37:09.672937Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jCjI02LJyBCh1JQZQGnZhVvGMKlNETM1g3jL0QfjV5rgTk/bX1BcW9ZEk/3y2YLWHXgWsjK8NooWVBKYfbgeAw==","signature_status":"signed_v1","signed_at":"2026-07-05T07:37:09.673423Z","signed_message":"canonical_sha256_bytes"},"source_id":"2105.14435","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0e5d234ee387c686f8ced5bcca3d10627231f7ec9cc62bb42e76b16d4e3c679","sha256:450c107ea0c3172457f8fdaeef1c5b00b70a1ad24712395d59eff8ac8c8959c2"],"state_sha256":"161a5d16f032f23180b855bbdaa7c3ad95a6acfd800fd42e5ace5311ef4c9133"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NcpDBzHE7se3ZceZulHSJFovsUXZND/5Zu1SsvmlCYkSLlf245QgNWRGHgYKitl1KKDyBSzSBRR12wAjUhVrBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-10T23:46:18.934995Z","bundle_sha256":"9aa67e113b1a5135acc4db381ddf882d8f886518b59796d958be1e6fdf320762"}}