{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:Q7LFKCOB7RB23JVTGJSYC346LV","short_pith_number":"pith:Q7LFKCOB","canonical_record":{"source":{"id":"1712.07445","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-20T12:30:59Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"37cb46e214187b1e1f9fc9e21719ac3dd9705bafbb963f144c04c002ffba4950","abstract_canon_sha256":"89c0bc6b421701319250301982fb335be7b60c299361f7804b7a76cd063ece46"},"schema_version":"1.0"},"canonical_sha256":"87d65509c1fc43ada6b33265816f9e5d4e295dc79c208fe572b39e0420217d13","source":{"kind":"arxiv","id":"1712.07445","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.07445","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1712.07445v5","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.07445","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"Q7LFKCOB7RB2","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7LFKCOB7RB23JVT","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7LFKCOB","created_at":"2026-05-18T12:31:37Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:Q7LFKCOB7RB23JVTGJSYC346LV","target":"record","payload":{"canonical_record":{"source":{"id":"1712.07445","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-20T12:30:59Z","cross_cats_sorted":["cs.DM","math.CO"],"title_canon_sha256":"37cb46e214187b1e1f9fc9e21719ac3dd9705bafbb963f144c04c002ffba4950","abstract_canon_sha256":"89c0bc6b421701319250301982fb335be7b60c299361f7804b7a76cd063ece46"},"schema_version":"1.0"},"canonical_sha256":"87d65509c1fc43ada6b33265816f9e5d4e295dc79c208fe572b39e0420217d13","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:55:29.695380Z","signature_b64":"zEoUTGT1DzMcyFFYuj10dBiCy83lVkqUBjISLBzSvxngT1wDH6aS1PDi5c+uqGxHLx1WknU9lrWk92kFev/FDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"87d65509c1fc43ada6b33265816f9e5d4e295dc79c208fe572b39e0420217d13","last_reissued_at":"2026-05-17T23:55:29.694661Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:55:29.694661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1712.07445","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-05-17T23:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"k3t/YOXxc72AWbHGHT9/w3Spnc9t9jo0g3PnZ+IGlJ3IHf/zISiXkGb4n/cf7COPIOq3zki3n8pI9cXplDbXDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:03:31.321062Z"},"content_sha256":"38cf5ce789b1a249048a1ecb9257a61f783565d2777e99567d32bee3d1859bc3","schema_version":"1.0","event_id":"sha256:38cf5ce789b1a249048a1ecb9257a61f783565d2777e99567d32bee3d1859bc3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:Q7LFKCOB7RB23JVTGJSYC346LV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Boolean Tensor Decomposition for Conjunctive Queries with Negation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DM","math.CO"],"primary_cat":"cs.DB","authors_text":"Dan Olteanu, Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","submitted_at":"2017-12-20T12:30:59Z","abstract_excerpt":"We propose an algorithm for answering conjunctive queries with negation, where the negated relations have bounded degree. Its data complexity matches that of the best known algorithms for the positive subquery of the input query and is expressed in terms of the fractional hypertree width and the submodular width. The query complexity depends on the structure of the negated subquery; in general it is exponential in the number of join variables occurring in negated relations yet it becomes polynomial for several classes of queries.\n  This algorithm relies on several contributions. We show how to"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.07445","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":""},"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-17T23:55:29Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"B+2Yf4qfPL4MpOyEvqyvTgiuamGVXnVhpBFbVE+k/TeQyU1B1sE+hVlpQgG5B422qLwTNNUsnIrc6Pfucre+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T05:03:31.321780Z"},"content_sha256":"5da53e4b7fd133054703003823e2edbc5f49a5d424dac8efd5ffeb041a0cde8c","schema_version":"1.0","event_id":"sha256:5da53e4b7fd133054703003823e2edbc5f49a5d424dac8efd5ffeb041a0cde8c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Q7LFKCOB7RB23JVTGJSYC346LV/bundle.json","state_url":"https://pith.science/pith/Q7LFKCOB7RB23JVTGJSYC346LV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Q7LFKCOB7RB23JVTGJSYC346LV/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-05-26T05:03:31Z","links":{"resolver":"https://pith.science/pith/Q7LFKCOB7RB23JVTGJSYC346LV","bundle":"https://pith.science/pith/Q7LFKCOB7RB23JVTGJSYC346LV/bundle.json","state":"https://pith.science/pith/Q7LFKCOB7RB23JVTGJSYC346LV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Q7LFKCOB7RB23JVTGJSYC346LV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:Q7LFKCOB7RB23JVTGJSYC346LV","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":"89c0bc6b421701319250301982fb335be7b60c299361f7804b7a76cd063ece46","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-20T12:30:59Z","title_canon_sha256":"37cb46e214187b1e1f9fc9e21719ac3dd9705bafbb963f144c04c002ffba4950"},"schema_version":"1.0","source":{"id":"1712.07445","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1712.07445","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"arxiv_version","alias_value":"1712.07445v5","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.07445","created_at":"2026-05-17T23:55:29Z"},{"alias_kind":"pith_short_12","alias_value":"Q7LFKCOB7RB2","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_16","alias_value":"Q7LFKCOB7RB23JVT","created_at":"2026-05-18T12:31:37Z"},{"alias_kind":"pith_short_8","alias_value":"Q7LFKCOB","created_at":"2026-05-18T12:31:37Z"}],"graph_snapshots":[{"event_id":"sha256:5da53e4b7fd133054703003823e2edbc5f49a5d424dac8efd5ffeb041a0cde8c","target":"graph","created_at":"2026-05-17T23:55:29Z","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":"We propose an algorithm for answering conjunctive queries with negation, where the negated relations have bounded degree. Its data complexity matches that of the best known algorithms for the positive subquery of the input query and is expressed in terms of the fractional hypertree width and the submodular width. The query complexity depends on the structure of the negated subquery; in general it is exponential in the number of join variables occurring in negated relations yet it becomes polynomial for several classes of queries.\n  This algorithm relies on several contributions. We show how to","authors_text":"Dan Olteanu, Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","cross_cats":["cs.DM","math.CO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-20T12:30:59Z","title":"Boolean Tensor Decomposition for Conjunctive Queries with Negation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.07445","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:38cf5ce789b1a249048a1ecb9257a61f783565d2777e99567d32bee3d1859bc3","target":"record","created_at":"2026-05-17T23:55:29Z","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":"89c0bc6b421701319250301982fb335be7b60c299361f7804b7a76cd063ece46","cross_cats_sorted":["cs.DM","math.CO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-20T12:30:59Z","title_canon_sha256":"37cb46e214187b1e1f9fc9e21719ac3dd9705bafbb963f144c04c002ffba4950"},"schema_version":"1.0","source":{"id":"1712.07445","kind":"arxiv","version":5}},"canonical_sha256":"87d65509c1fc43ada6b33265816f9e5d4e295dc79c208fe572b39e0420217d13","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"87d65509c1fc43ada6b33265816f9e5d4e295dc79c208fe572b39e0420217d13","first_computed_at":"2026-05-17T23:55:29.694661Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:55:29.694661Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"zEoUTGT1DzMcyFFYuj10dBiCy83lVkqUBjISLBzSvxngT1wDH6aS1PDi5c+uqGxHLx1WknU9lrWk92kFev/FDw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:55:29.695380Z","signed_message":"canonical_sha256_bytes"},"source_id":"1712.07445","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:38cf5ce789b1a249048a1ecb9257a61f783565d2777e99567d32bee3d1859bc3","sha256:5da53e4b7fd133054703003823e2edbc5f49a5d424dac8efd5ffeb041a0cde8c"],"state_sha256":"835e3c0b84c3aa705f8b4f38c3cc15f8d479ed04e08ce2dce9fe60166edc37ea"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6McC67YZpIxdGYpxZu18UZGlW8elbRyczOQ/LPFmmmgDJw53VvCI705EoOJaV9MO8GtyH5ukwZfGahwtXkV1Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T05:03:31.325636Z","bundle_sha256":"37ba9a288b33335a66cc97e2d195fa3387210ff7532914c1cdb712e0a846555d"}}