{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:TB3F47DB3PR2YJLWOL2OWXFDVD","short_pith_number":"pith:TB3F47DB","canonical_record":{"source":{"id":"1412.1069","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-12-02T20:58:20Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c74eca05cd878b2479986d30a014e232122bd1c28790d8ad15c07b301aef45ff","abstract_canon_sha256":"905122dcd73d66ca0237cff7d4c4c5ec2bd30cb1367f07ad207f3635e681918b"},"schema_version":"1.0"},"canonical_sha256":"98765e7c61dbe3ac257672f4eb5ca3a8dda4c067f403fcb12514a14c0c6089ba","source":{"kind":"arxiv","id":"1412.1069","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.1069","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"arxiv_version","alias_value":"1412.1069v1","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.1069","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"pith_short_12","alias_value":"TB3F47DB3PR2","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TB3F47DB3PR2YJLW","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TB3F47DB","created_at":"2026-05-18T12:28:49Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:TB3F47DB3PR2YJLWOL2OWXFDVD","target":"record","payload":{"canonical_record":{"source":{"id":"1412.1069","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-12-02T20:58:20Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"c74eca05cd878b2479986d30a014e232122bd1c28790d8ad15c07b301aef45ff","abstract_canon_sha256":"905122dcd73d66ca0237cff7d4c4c5ec2bd30cb1367f07ad207f3635e681918b"},"schema_version":"1.0"},"canonical_sha256":"98765e7c61dbe3ac257672f4eb5ca3a8dda4c067f403fcb12514a14c0c6089ba","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:32:14.974146Z","signature_b64":"h91hp/RduWq13flxUCUDB+Iu0DZDSsMIfXpRwKpfLWOoQT3HWes2PvI5ivp6siBjEp0Q6XVHHlx51oP3myyKCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"98765e7c61dbe3ac257672f4eb5ca3a8dda4c067f403fcb12514a14c0c6089ba","last_reissued_at":"2026-05-18T02:32:14.973603Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:32:14.973603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.1069","source_version":1,"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-05-18T02:32:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"KKErZYjqepQgZ4T6GjeZ0ksqziE2DIlNVfNHstisVPlFSSl9MFaJU5SrQkTSt7mHuxqcMOqk0NPmGUqkO3HrAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:23:46.721492Z"},"content_sha256":"500140f8a9988620bfe1bb457c55ff8b2abb38927f8d0e8b5bd258bd7b6d37c0","schema_version":"1.0","event_id":"sha256:500140f8a9988620bfe1bb457c55ff8b2abb38927f8d0e8b5bd258bd7b6d37c0"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:TB3F47DB3PR2YJLWOL2OWXFDVD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Approximate Lifted Inference with Probabilistic Databases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.DB","authors_text":"Dan Suciu, Wolfgang Gatterbauer","submitted_at":"2014-12-02T20:58:20Z","abstract_excerpt":"This paper proposes a new approach for approximate evaluation of #P-hard queries with probabilistic databases. In our approach, every query is evaluated entirely in the database engine by evaluating a fixed number of query plans, each providing an upper bound on the true probability, then taking their minimum. We provide an algorithm that takes into account important schema information to enumerate only the minimal necessary plans among all possible plans. Importantly, this algorithm is a strict generalization of all known results of PTIME self-join-free conjunctive queries: A query is safe if"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.1069","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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-05-18T02:32:14Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NMxbIhreX3WIK9i17XCFSJvqhMdp+B7Daoo0lHsYQQ7djlNFhgySOGpiAakzpKR+wNdg9pVqFLFL1ZN3Lgn5BQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T20:23:46.722203Z"},"content_sha256":"bf009138b2bba4766235f36bc28eda922507ba086fd4c011efe1c437aefa3bc6","schema_version":"1.0","event_id":"sha256:bf009138b2bba4766235f36bc28eda922507ba086fd4c011efe1c437aefa3bc6"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/bundle.json","state_url":"https://pith.science/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/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-06-05T20:23:46Z","links":{"resolver":"https://pith.science/pith/TB3F47DB3PR2YJLWOL2OWXFDVD","bundle":"https://pith.science/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/bundle.json","state":"https://pith.science/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TB3F47DB3PR2YJLWOL2OWXFDVD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:TB3F47DB3PR2YJLWOL2OWXFDVD","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":"905122dcd73d66ca0237cff7d4c4c5ec2bd30cb1367f07ad207f3635e681918b","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-12-02T20:58:20Z","title_canon_sha256":"c74eca05cd878b2479986d30a014e232122bd1c28790d8ad15c07b301aef45ff"},"schema_version":"1.0","source":{"id":"1412.1069","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.1069","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"arxiv_version","alias_value":"1412.1069v1","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.1069","created_at":"2026-05-18T02:32:14Z"},{"alias_kind":"pith_short_12","alias_value":"TB3F47DB3PR2","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_16","alias_value":"TB3F47DB3PR2YJLW","created_at":"2026-05-18T12:28:49Z"},{"alias_kind":"pith_short_8","alias_value":"TB3F47DB","created_at":"2026-05-18T12:28:49Z"}],"graph_snapshots":[{"event_id":"sha256:bf009138b2bba4766235f36bc28eda922507ba086fd4c011efe1c437aefa3bc6","target":"graph","created_at":"2026-05-18T02:32:14Z","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"},"paper":{"abstract_excerpt":"This paper proposes a new approach for approximate evaluation of #P-hard queries with probabilistic databases. In our approach, every query is evaluated entirely in the database engine by evaluating a fixed number of query plans, each providing an upper bound on the true probability, then taking their minimum. We provide an algorithm that takes into account important schema information to enumerate only the minimal necessary plans among all possible plans. Importantly, this algorithm is a strict generalization of all known results of PTIME self-join-free conjunctive queries: A query is safe if","authors_text":"Dan Suciu, Wolfgang Gatterbauer","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-12-02T20:58:20Z","title":"Approximate Lifted Inference with Probabilistic Databases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.1069","kind":"arxiv","version":1},"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:500140f8a9988620bfe1bb457c55ff8b2abb38927f8d0e8b5bd258bd7b6d37c0","target":"record","created_at":"2026-05-18T02:32:14Z","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":"905122dcd73d66ca0237cff7d4c4c5ec2bd30cb1367f07ad207f3635e681918b","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-12-02T20:58:20Z","title_canon_sha256":"c74eca05cd878b2479986d30a014e232122bd1c28790d8ad15c07b301aef45ff"},"schema_version":"1.0","source":{"id":"1412.1069","kind":"arxiv","version":1}},"canonical_sha256":"98765e7c61dbe3ac257672f4eb5ca3a8dda4c067f403fcb12514a14c0c6089ba","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"98765e7c61dbe3ac257672f4eb5ca3a8dda4c067f403fcb12514a14c0c6089ba","first_computed_at":"2026-05-18T02:32:14.973603Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:32:14.973603Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h91hp/RduWq13flxUCUDB+Iu0DZDSsMIfXpRwKpfLWOoQT3HWes2PvI5ivp6siBjEp0Q6XVHHlx51oP3myyKCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T02:32:14.974146Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.1069","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:500140f8a9988620bfe1bb457c55ff8b2abb38927f8d0e8b5bd258bd7b6d37c0","sha256:bf009138b2bba4766235f36bc28eda922507ba086fd4c011efe1c437aefa3bc6"],"state_sha256":"0bb4e43bab7e2ad18a75221f3f8054323ad778954dd2069c7cb16a990b10de0f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hdXQGVQ9q3vekwN59HoHyP173aDwn0RXE4WO+bwqcB62/Tj3lmL753DfA2qs98yzZKdvqkkVNioQig2uPfEhAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T20:23:46.726674Z","bundle_sha256":"660d2b1a0cfec6842d3be51f61fb65a6b0e37d42a7780ee70fe3d934a6b0d77e"}}