{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:OYJYYN7AGJUMUJ2MP5WR2F5JPW","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":"4cf8b8160a33ac10443eb9b11fc259dab2ef7e593ed25b134371f308798b6f82","cross_cats_sorted":["cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-06-24T05:20:24Z","title_canon_sha256":"2a19c63b42b6938e7e11fe0de6ea9a5ce0e95eaf2a775e3e2da51a7fb7f84daa"},"schema_version":"1.0","source":{"id":"1906.09727","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1906.09727","created_at":"2026-07-05T02:54:48Z"},{"alias_kind":"arxiv_version","alias_value":"1906.09727v3","created_at":"2026-07-05T02:54:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1906.09727","created_at":"2026-07-05T02:54:48Z"},{"alias_kind":"pith_short_12","alias_value":"OYJYYN7AGJUM","created_at":"2026-07-05T02:54:48Z"},{"alias_kind":"pith_short_16","alias_value":"OYJYYN7AGJUMUJ2M","created_at":"2026-07-05T02:54:48Z"},{"alias_kind":"pith_short_8","alias_value":"OYJYYN7A","created_at":"2026-07-05T02:54:48Z"}],"graph_snapshots":[{"event_id":"sha256:734f3a42d02eea847c8f53856b12a47ba55a933bcf19a8a3fc9634a10ad7d610","target":"graph","created_at":"2026-07-05T02:54:48Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1906.09727/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The query containment problem is a fundamental algorithmic problem in data management. While this problem is well understood under set semantics, it is by far less understood under bag semantics. In particular, it is a long-standing open question whether or not the conjunctive query containment problem under bag semantics is decidable. We unveil tight connections between information theory and the conjunctive query containment under bag semantics. These connections are established using information inequalities, which are considered to be the laws of information theory. Our first main result a","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis, Phokion G. Kolaitis","cross_cats":["cs.IT","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-06-24T05:20:24Z","title":"Bag Query Containment and Information Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1906.09727","kind":"arxiv","version":3},"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:88c7b819684b21105f744025c43621d4f52cdcde8382fd148df4a7c728279bd9","target":"record","created_at":"2026-07-05T02:54:48Z","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":"4cf8b8160a33ac10443eb9b11fc259dab2ef7e593ed25b134371f308798b6f82","cross_cats_sorted":["cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-06-24T05:20:24Z","title_canon_sha256":"2a19c63b42b6938e7e11fe0de6ea9a5ce0e95eaf2a775e3e2da51a7fb7f84daa"},"schema_version":"1.0","source":{"id":"1906.09727","kind":"arxiv","version":3}},"canonical_sha256":"76138c37e03268ca274c7f6d1d17a97d9acb6ace483cf82613f9f90d18d40e37","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76138c37e03268ca274c7f6d1d17a97d9acb6ace483cf82613f9f90d18d40e37","first_computed_at":"2026-07-05T02:54:48.714378Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T02:54:48.714378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"77zypMVfzID8EsVEehv+KAbtSXW86nOIcLDSyyO8grH/jtefn7U3mVo2P9MxIIcUMhRoeCuN7TmHrZMXjW2lAQ==","signature_status":"signed_v1","signed_at":"2026-07-05T02:54:48.714791Z","signed_message":"canonical_sha256_bytes"},"source_id":"1906.09727","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:88c7b819684b21105f744025c43621d4f52cdcde8382fd148df4a7c728279bd9","sha256:734f3a42d02eea847c8f53856b12a47ba55a933bcf19a8a3fc9634a10ad7d610"],"state_sha256":"64bc92890ef69b4e3919411503e25c1339b287828e4c2dd7d0dc1d2ca9952829"}