{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2024:HGLSCRBGEGFCPS5FH6J5ZYLB6J","short_pith_number":"pith:HGLSCRBG","schema_version":"1.0","canonical_sha256":"3997214426218a27cba53f93dce161f260ba9a22b6243eff97a99fab3c8e104d","source":{"kind":"arxiv","id":"2402.02001","version":8},"attestation_state":"computed","paper":{"title":"PANDA: Query Evaluation in Submodular Width","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"cs.DB","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","submitted_at":"2024-02-03T02:53:22Z","abstract_excerpt":"In recent years, several information-theoretic upper bounds have been introduced on the output size and evaluation cost of database join queries. These bounds vary in their power depending on both the type of statistics on input relations and the query plans that they support. This motivated the search for algorithms that can compute the output of a join query in times that are bounded by the corresponding information-theoretic bounds. In this paper, we describe PANDA, an algorithm that takes a Shannon-inequality that underlies the bound, and translates each proof step into an algorithmic step"},"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":"2402.02001","kind":"arxiv","version":8},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2024-02-03T02:53:22Z","cross_cats_sorted":["cs.IT","math.IT"],"title_canon_sha256":"756ac6c53d42d0eaa4c588a9e05549fdc45faa317efc318c58211ac2ec976260","abstract_canon_sha256":"da58ee669bdacd043675000d9e9a6fd77068cb63b684e3704607dfa109a35d6b"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:58:59.221746Z","signature_b64":"Sc9p+Z0/SGQNb55HKCFEl3zFeR6NetdTK03ZqZeQz/+xo9i93btQ9Cb8rleRAA/rAwqfZ5x9QAMqWaux5IQaCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3997214426218a27cba53f93dce161f260ba9a22b6243eff97a99fab3c8e104d","last_reissued_at":"2026-07-05T10:58:59.221264Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:58:59.221264Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"PANDA: Query Evaluation in Submodular Width","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.IT","math.IT"],"primary_cat":"cs.DB","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","submitted_at":"2024-02-03T02:53:22Z","abstract_excerpt":"In recent years, several information-theoretic upper bounds have been introduced on the output size and evaluation cost of database join queries. These bounds vary in their power depending on both the type of statistics on input relations and the query plans that they support. This motivated the search for algorithms that can compute the output of a join query in times that are bounded by the corresponding information-theoretic bounds. In this paper, we describe PANDA, an algorithm that takes a Shannon-inequality that underlies the bound, and translates each proof step into an algorithmic step"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2402.02001","kind":"arxiv","version":8},"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/2402.02001/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2402.02001","created_at":"2026-07-05T10:58:59.221332+00:00"},{"alias_kind":"arxiv_version","alias_value":"2402.02001v8","created_at":"2026-07-05T10:58:59.221332+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2402.02001","created_at":"2026-07-05T10:58:59.221332+00:00"},{"alias_kind":"pith_short_12","alias_value":"HGLSCRBGEGFC","created_at":"2026-07-05T10:58:59.221332+00:00"},{"alias_kind":"pith_short_16","alias_value":"HGLSCRBGEGFCPS5F","created_at":"2026-07-05T10:58:59.221332+00:00"},{"alias_kind":"pith_short_8","alias_value":"HGLSCRBG","created_at":"2026-07-05T10:58:59.221332+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/HGLSCRBGEGFCPS5FH6J5ZYLB6J","json":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J.json","graph_json":"https://pith.science/api/pith-number/HGLSCRBGEGFCPS5FH6J5ZYLB6J/graph.json","events_json":"https://pith.science/api/pith-number/HGLSCRBGEGFCPS5FH6J5ZYLB6J/events.json","paper":"https://pith.science/paper/HGLSCRBG"},"agent_actions":{"view_html":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J","download_json":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J.json","view_paper":"https://pith.science/paper/HGLSCRBG","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2402.02001&json=true","fetch_graph":"https://pith.science/api/pith-number/HGLSCRBGEGFCPS5FH6J5ZYLB6J/graph.json","fetch_events":"https://pith.science/api/pith-number/HGLSCRBGEGFCPS5FH6J5ZYLB6J/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J/action/timestamp_anchor","attest_storage":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J/action/storage_attestation","attest_author":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J/action/author_attestation","sign_citation":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J/action/citation_signature","submit_replication":"https://pith.science/pith/HGLSCRBGEGFCPS5FH6J5ZYLB6J/action/replication_record"}},"created_at":"2026-07-05T10:58:59.221332+00:00","updated_at":"2026-07-05T10:58:59.221332+00:00"}