{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:4MFR2X4SHRJAGY465TZIEJEMMG","short_pith_number":"pith:4MFR2X4S","schema_version":"1.0","canonical_sha256":"e30b1d5f923c5203639eecf282248c6186e18767ca2b6af76392d015a82655e3","source":{"kind":"arxiv","id":"1303.2059","version":1},"attestation_state":"computed","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"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1303.2059","created_at":"2026-05-18T03:31:31.518541+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.2059v1","created_at":"2026-05-18T03:31:31.518541+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.2059","created_at":"2026-05-18T03:31:31.518541+00:00"},{"alias_kind":"pith_short_12","alias_value":"4MFR2X4SHRJA","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_16","alias_value":"4MFR2X4SHRJAGY46","created_at":"2026-05-18T12:27:34.582898+00:00"},{"alias_kind":"pith_short_8","alias_value":"4MFR2X4S","created_at":"2026-05-18T12:27:34.582898+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG","json":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG.json","graph_json":"https://pith.science/api/pith-number/4MFR2X4SHRJAGY465TZIEJEMMG/graph.json","events_json":"https://pith.science/api/pith-number/4MFR2X4SHRJAGY465TZIEJEMMG/events.json","paper":"https://pith.science/paper/4MFR2X4S"},"agent_actions":{"view_html":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG","download_json":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG.json","view_paper":"https://pith.science/paper/4MFR2X4S","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.2059&json=true","fetch_graph":"https://pith.science/api/pith-number/4MFR2X4SHRJAGY465TZIEJEMMG/graph.json","fetch_events":"https://pith.science/api/pith-number/4MFR2X4SHRJAGY465TZIEJEMMG/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/action/storage_attestation","attest_author":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/action/author_attestation","sign_citation":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/action/citation_signature","submit_replication":"https://pith.science/pith/4MFR2X4SHRJAGY465TZIEJEMMG/action/replication_record"}},"created_at":"2026-05-18T03:31:31.518541+00:00","updated_at":"2026-05-18T03:31:31.518541+00:00"}