{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:3P432ULAP6U575EYTRDUPKHZKI","short_pith_number":"pith:3P432ULA","canonical_record":{"source":{"id":"2001.06358","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-01-17T15:02:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0c1bbee755348d852fbd3737f1124ad656ac08972f1a15a550a3a6edca1ebf9a","abstract_canon_sha256":"e012a1ff596e6db703c8ab6e03da70a731ff9861b7e0a44178878c4aee71a56c"},"schema_version":"1.0"},"canonical_sha256":"dbf9bd51607fa9dff4989c4747a8f9521cf35b75da5976e7e55c902a5cd080b3","source":{"kind":"arxiv","id":"2001.06358","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.06358","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"2001.06358v3","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.06358","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"3P432ULAP6U5","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_16","alias_value":"3P432ULAP6U575EY","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_8","alias_value":"3P432ULA","created_at":"2026-07-05T03:57:23Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:3P432ULAP6U575EYTRDUPKHZKI","target":"record","payload":{"canonical_record":{"source":{"id":"2001.06358","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-01-17T15:02:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"0c1bbee755348d852fbd3737f1124ad656ac08972f1a15a550a3a6edca1ebf9a","abstract_canon_sha256":"e012a1ff596e6db703c8ab6e03da70a731ff9861b7e0a44178878c4aee71a56c"},"schema_version":"1.0"},"canonical_sha256":"dbf9bd51607fa9dff4989c4747a8f9521cf35b75da5976e7e55c902a5cd080b3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:57:23.308061Z","signature_b64":"nSukG2PgMOvI7TcO5MCPypBtiXnMKx/c6DqOiOHYv/pSM+xoV+0faBdEc+07We+yxZ9kMAHphcFqaer0pRFLAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dbf9bd51607fa9dff4989c4747a8f9521cf35b75da5976e7e55c902a5cd080b3","last_reissued_at":"2026-07-05T03:57:23.307589Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:57:23.307589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2001.06358","source_version":3,"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-05T03:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dw2+m+dGz7KJZqQO8fGUp1+gbx4mXi2yRVQ8n/7cWLn5MDOLc8NqqizMcrntDv/VTQGSYQGqcdrdsuCUF5ONCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:39:08.734639Z"},"content_sha256":"d0c63d86c8f67a293719cab777d9a5fd2daa5ea7a7a617525eca952be7e02ba3","schema_version":"1.0","event_id":"sha256:d0c63d86c8f67a293719cab777d9a5fd2daa5ea7a7a617525eca952be7e02ba3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:3P432ULAP6U575EYTRDUPKHZKI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Generative Datalog with Continuous Distributions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Benjamin Lucien Kaminski, Joost-Pieter Katoen, Martin Grohe, Peter Lindner","submitted_at":"2020-01-17T15:02:21Z","abstract_excerpt":"Arguing for the need to combine declarative and probabilistic programming, B\\'ar\\'any et al. (TODS 2017) recently introduced a probabilistic extension of Datalog as a \"purely declarative probabilistic programming language.\" We revisit this language and propose a more principled approach towards defining its semantics based on stochastic kernels and Markov processes - standard notions from probability theory. This allows us to extend the semantics to continuous probability distributions, thereby settling an open problem posed by B\\'ar\\'any et al.\n  We show that our semantics is fairly robust, a"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.06358","kind":"arxiv","version":3},"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/2001.06358/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-05T03:57:23Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"awHkwmc0VdvQtt/SpVcZAe+1jpMZLpqRwQ9L1e9L1GlPKhSAFCXV8cOQ17Tva48G+bk7m45d7n9INgPPVUVZAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-07T04:39:08.735276Z"},"content_sha256":"a9f02cbb24f941d2e2c70b2196829182f480f9e9c983474471df386fa80d2174","schema_version":"1.0","event_id":"sha256:a9f02cbb24f941d2e2c70b2196829182f480f9e9c983474471df386fa80d2174"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3P432ULAP6U575EYTRDUPKHZKI/bundle.json","state_url":"https://pith.science/pith/3P432ULAP6U575EYTRDUPKHZKI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3P432ULAP6U575EYTRDUPKHZKI/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-07T04:39:08Z","links":{"resolver":"https://pith.science/pith/3P432ULAP6U575EYTRDUPKHZKI","bundle":"https://pith.science/pith/3P432ULAP6U575EYTRDUPKHZKI/bundle.json","state":"https://pith.science/pith/3P432ULAP6U575EYTRDUPKHZKI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3P432ULAP6U575EYTRDUPKHZKI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:3P432ULAP6U575EYTRDUPKHZKI","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":"e012a1ff596e6db703c8ab6e03da70a731ff9861b7e0a44178878c4aee71a56c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-01-17T15:02:21Z","title_canon_sha256":"0c1bbee755348d852fbd3737f1124ad656ac08972f1a15a550a3a6edca1ebf9a"},"schema_version":"1.0","source":{"id":"2001.06358","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2001.06358","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"arxiv_version","alias_value":"2001.06358v3","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2001.06358","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_12","alias_value":"3P432ULAP6U5","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_16","alias_value":"3P432ULAP6U575EY","created_at":"2026-07-05T03:57:23Z"},{"alias_kind":"pith_short_8","alias_value":"3P432ULA","created_at":"2026-07-05T03:57:23Z"}],"graph_snapshots":[{"event_id":"sha256:a9f02cbb24f941d2e2c70b2196829182f480f9e9c983474471df386fa80d2174","target":"graph","created_at":"2026-07-05T03:57:23Z","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/2001.06358/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Arguing for the need to combine declarative and probabilistic programming, B\\'ar\\'any et al. (TODS 2017) recently introduced a probabilistic extension of Datalog as a \"purely declarative probabilistic programming language.\" We revisit this language and propose a more principled approach towards defining its semantics based on stochastic kernels and Markov processes - standard notions from probability theory. This allows us to extend the semantics to continuous probability distributions, thereby settling an open problem posed by B\\'ar\\'any et al.\n  We show that our semantics is fairly robust, a","authors_text":"Benjamin Lucien Kaminski, Joost-Pieter Katoen, Martin Grohe, Peter Lindner","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-01-17T15:02:21Z","title":"Generative Datalog with Continuous Distributions"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2001.06358","kind":"arxiv","version":3},"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:d0c63d86c8f67a293719cab777d9a5fd2daa5ea7a7a617525eca952be7e02ba3","target":"record","created_at":"2026-07-05T03:57:23Z","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":"e012a1ff596e6db703c8ab6e03da70a731ff9861b7e0a44178878c4aee71a56c","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-01-17T15:02:21Z","title_canon_sha256":"0c1bbee755348d852fbd3737f1124ad656ac08972f1a15a550a3a6edca1ebf9a"},"schema_version":"1.0","source":{"id":"2001.06358","kind":"arxiv","version":3}},"canonical_sha256":"dbf9bd51607fa9dff4989c4747a8f9521cf35b75da5976e7e55c902a5cd080b3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dbf9bd51607fa9dff4989c4747a8f9521cf35b75da5976e7e55c902a5cd080b3","first_computed_at":"2026-07-05T03:57:23.307589Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:57:23.307589Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"nSukG2PgMOvI7TcO5MCPypBtiXnMKx/c6DqOiOHYv/pSM+xoV+0faBdEc+07We+yxZ9kMAHphcFqaer0pRFLAw==","signature_status":"signed_v1","signed_at":"2026-07-05T03:57:23.308061Z","signed_message":"canonical_sha256_bytes"},"source_id":"2001.06358","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:d0c63d86c8f67a293719cab777d9a5fd2daa5ea7a7a617525eca952be7e02ba3","sha256:a9f02cbb24f941d2e2c70b2196829182f480f9e9c983474471df386fa80d2174"],"state_sha256":"1feb3e26bf5d7691d48145cf3ffbc411282da6437f639ec573ba69cf84b9c1b9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"n6wj72LTHLAakXNrgMRfDHlatPHw7psFLyF14pGd0HhZ1phRp+UKR27erG8HLPB3haYv3v2PkJLIQYmtfIfMBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-07T04:39:08.738499Z","bundle_sha256":"6cb67acea2c7bffd85d8ed4cf22baf7d789d5105c000e80891f99ed56ef40bc3"}}