{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:4MFR2X4SHRJAGY465TZIEJEMMG","short_pith_number":"pith:4MFR2X4S","canonical_record":{"source":{"id":"1303.2059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-08T17:24:34Z","cross_cats_sorted":[],"title_canon_sha256":"a698c67191985380b188af2d50da613bfed3b7671036cb43bde7288421243a3c","abstract_canon_sha256":"c4ce9bc018fcce9270cacd422a289c361b3a7def370ee3e618ebfbdb1eee5025"},"schema_version":"1.0"},"canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","source":{"kind":"arxiv","id":"1303.2059","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2059","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2059v1","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2059","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"pith_short_12","alias_value":"4MFR2X4SHRJA","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MFR2X4SHRJAGY46","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MFR2X4S","created_at":"2026-05-18T12:27:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:4MFR2X4SHRJAGY465TZIEJEMMG","target":"record","payload":{"canonical_record":{"source":{"id":"1303.2059","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-08T17:24:34Z","cross_cats_sorted":[],"title_canon_sha256":"a698c67191985380b188af2d50da613bfed3b7671036cb43bde7288421243a3c","abstract_canon_sha256":"c4ce9bc018fcce9270cacd422a289c361b3a7def370ee3e618ebfbdb1eee5025"},"schema_version":"1.0"},"canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:31:31.519255Z","signature_b64":"X899k/TnNX4cWCCghPL4er3f4S16UHGjNQfYEehTDfawypalig1Z7N9RRPOKTkeoIH4+nuB9nI90iKJoabxQAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","last_reissued_at":"2026-05-18T03:31:31.518407Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:31:31.518407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1303.2059","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-18T03:31:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"TBN9Y5REllsGSwc0Y9lEBe5InBnqCtMr6A2RykXEMO5i04owda5H3Vq3DH7dz5w3jKybtEDDgcPLX1nuwKRVAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:16:18.834090Z"},"content_sha256":"79a93b05d7596defcabb18fab4e127699902ab5b08b49d5fa0ce69cee2b633c6","schema_version":"1.0","event_id":"sha256:79a93b05d7596defcabb18fab4e127699902ab5b08b49d5fa0ce69cee2b633c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:4MFR2X4SHRJAGY465TZIEJEMMG","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structural Tractability of Counting of Solutions to Conjunctive Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Arnaud Durand, Stefan Mengel","submitted_at":"2013-03-08T17:24:34Z","abstract_excerpt":"In this paper we explore the problem of counting solutions to conjunctive queries. We consider a parameter called the \\emph{quantified star size} of a formula $\\varphi$ which measures how the free variables are spread in $\\varphi$. We show that for conjunctive queries that admit nice decomposition properties (such as being of bounded treewidth or generalized hypertree width) bounded quantified star size exactly characterizes the classes of queries for which counting the number of solutions is tractable. This also allows us to fully characterize the conjunctive queries for which counting the so"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2059","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-18T03:31:31Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3gf1dddb4ntbEx4ZT0gDwnOcgKe9haBMn356b1XkU4iUEu0zwZux0/gwDss/mzfpFT9Bk8F1+GuXokbw2InjCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T20:16:18.834503Z"},"content_sha256":"ccb42176a9bb8a5c0ecd2fa05db7282e634caab1a0210de58bdada22bd88e427","schema_version":"1.0","event_id":"sha256:ccb42176a9bb8a5c0ecd2fa05db7282e634caab1a0210de58bdada22bd88e427"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/bundle.json","state_url":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4MFR2X4SHRJAGY465TZIEJEMMG/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-27T20:16:18Z","links":{"resolver":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG","bundle":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/bundle.json","state":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4MFR2X4SHRJAGY465TZIEJEMMG/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:4MFR2X4SHRJAGY465TZIEJEMMG","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":"c4ce9bc018fcce9270cacd422a289c361b3a7def370ee3e618ebfbdb1eee5025","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-08T17:24:34Z","title_canon_sha256":"a698c67191985380b188af2d50da613bfed3b7671036cb43bde7288421243a3c"},"schema_version":"1.0","source":{"id":"1303.2059","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1303.2059","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"arxiv_version","alias_value":"1303.2059v1","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2059","created_at":"2026-05-18T03:31:31Z"},{"alias_kind":"pith_short_12","alias_value":"4MFR2X4SHRJA","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_16","alias_value":"4MFR2X4SHRJAGY46","created_at":"2026-05-18T12:27:34Z"},{"alias_kind":"pith_short_8","alias_value":"4MFR2X4S","created_at":"2026-05-18T12:27:34Z"}],"graph_snapshots":[{"event_id":"sha256:ccb42176a9bb8a5c0ecd2fa05db7282e634caab1a0210de58bdada22bd88e427","target":"graph","created_at":"2026-05-18T03:31:31Z","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":"In this paper we explore the problem of counting solutions to conjunctive queries. We consider a parameter called the \\emph{quantified star size} of a formula $\\varphi$ which measures how the free variables are spread in $\\varphi$. We show that for conjunctive queries that admit nice decomposition properties (such as being of bounded treewidth or generalized hypertree width) bounded quantified star size exactly characterizes the classes of queries for which counting the number of solutions is tractable. This also allows us to fully characterize the conjunctive queries for which counting the so","authors_text":"Arnaud Durand, Stefan Mengel","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-08T17:24:34Z","title":"Structural Tractability of Counting of Solutions to Conjunctive Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.2059","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:79a93b05d7596defcabb18fab4e127699902ab5b08b49d5fa0ce69cee2b633c6","target":"record","created_at":"2026-05-18T03:31:31Z","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":"c4ce9bc018fcce9270cacd422a289c361b3a7def370ee3e618ebfbdb1eee5025","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2013-03-08T17:24:34Z","title_canon_sha256":"a698c67191985380b188af2d50da613bfed3b7671036cb43bde7288421243a3c"},"schema_version":"1.0","source":{"id":"1303.2059","kind":"arxiv","version":1}},"canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","first_computed_at":"2026-05-18T03:31:31.518407Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:31:31.518407Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"X899k/TnNX4cWCCghPL4er3f4S16UHGjNQfYEehTDfawypalig1Z7N9RRPOKTkeoIH4+nuB9nI90iKJoabxQAA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:31:31.519255Z","signed_message":"canonical_sha256_bytes"},"source_id":"1303.2059","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:79a93b05d7596defcabb18fab4e127699902ab5b08b49d5fa0ce69cee2b633c6","sha256:ccb42176a9bb8a5c0ecd2fa05db7282e634caab1a0210de58bdada22bd88e427"],"state_sha256":"d228ecf456272b4e01ad393135ce875462aa57c414510c13838057889a4b955d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imW3iHtLBYiu2YGsH939F3fnQT4488JrsTn+1aVca8AMdDDHTSP2jMbZXkSYrEKEc0GHQqglMfQgcQY9CULTBw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T20:16:18.837096Z","bundle_sha256":"8768f16f839599718549c737ef7c0b95a31b63b1553c4245644a1ea29bd461e5"}}