{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:27Y6TSPY62OJ6ZFNG3MYQHXTJF","short_pith_number":"pith:27Y6TSPY","canonical_record":{"source":{"id":"1612.02503","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-12-08T01:06:40Z","cross_cats_sorted":["cs.DS","cs.IT","math.IT"],"title_canon_sha256":"4fff5226d7df3e64158008e77b3a0239537ada2d51078be5963c5de69f4594a8","abstract_canon_sha256":"2e2398237b5f933174f0e6ef1368c6ffa4277318cd3c8acfa432c71b23340bd7"},"schema_version":"1.0"},"canonical_sha256":"d7f1e9c9f8f69c9f64ad36d9881ef3495c5d3c84e50a1eacc8f3444f9758fd2d","source":{"kind":"arxiv","id":"1612.02503","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.02503","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"arxiv_version","alias_value":"1612.02503v5","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02503","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_12","alias_value":"27Y6TSPY62OJ","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_16","alias_value":"27Y6TSPY62OJ6ZFN","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_8","alias_value":"27Y6TSPY","created_at":"2026-07-05T07:27:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:27Y6TSPY62OJ6ZFNG3MYQHXTJF","target":"record","payload":{"canonical_record":{"source":{"id":"1612.02503","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-12-08T01:06:40Z","cross_cats_sorted":["cs.DS","cs.IT","math.IT"],"title_canon_sha256":"4fff5226d7df3e64158008e77b3a0239537ada2d51078be5963c5de69f4594a8","abstract_canon_sha256":"2e2398237b5f933174f0e6ef1368c6ffa4277318cd3c8acfa432c71b23340bd7"},"schema_version":"1.0"},"canonical_sha256":"d7f1e9c9f8f69c9f64ad36d9881ef3495c5d3c84e50a1eacc8f3444f9758fd2d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T07:27:22.018344Z","signature_b64":"9Ibih80/9F8j+DwwnQrI+938RAh3G7ed17qITJeY9w+5xmluuRkJnRvl3x5DqFbPZ9Tz52hoH0i1oSP3KTA6DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"d7f1e9c9f8f69c9f64ad36d9881ef3495c5d3c84e50a1eacc8f3444f9758fd2d","last_reissued_at":"2026-07-05T07:27:22.017841Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T07:27:22.017841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1612.02503","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-07-05T07:27:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qXHH42w1t6LOVAJKvdQEH9hDZW2S2mO4Yk02niDz503YvTprETy3wS4t1WyC1qlzWl42xfV3B7b7LLquvPXbDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T10:36:59.099040Z"},"content_sha256":"afa299d704ba1b353492ab33f0d91f7bf0a0f13d5f6f95bc3245ed005d63b2df","schema_version":"1.0","event_id":"sha256:afa299d704ba1b353492ab33f0d91f7bf0a0f13d5f6f95bc3245ed005d63b2df"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:27Y6TSPY62OJ6ZFNG3MYQHXTJF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DS","cs.IT","math.IT"],"primary_cat":"cs.DB","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","submitted_at":"2016-12-08T01:06:40Z","abstract_excerpt":"Recent works on bounding the output size of a conjunctive query with functional dependencies and degree constraints have shown a deep connection between fundamental questions in information theory and database theory. We prove analogous output bounds for disjunctive datalog rules, and answer several open questions regarding the tightness and looseness of these bounds along the way. Our bounds are intimately related to Shannon-type information inequalities. We devise the notion of a \"proof sequence\" of a specific class of Shannon-type information inequalities called \"Shannon flow inequalities\"."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02503","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1612.02503/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"},"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-07-05T07:27:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2fjbutwomRhiZnK/SiEPW/jS/UD7mZlUjFcp/AJq7rhe/NRCta4p9G0HMoucDCF98K0atXAS3A89lTW8QHFPDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T10:36:59.099706Z"},"content_sha256":"0d877b5f8eca4f69c1f012b17e481f7f3012b67251a17e26d45b69ca198ca12d","schema_version":"1.0","event_id":"sha256:0d877b5f8eca4f69c1f012b17e481f7f3012b67251a17e26d45b69ca198ca12d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/bundle.json","state_url":"https://pith.science/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/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-08-05T10:36:59Z","links":{"resolver":"https://pith.science/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF","bundle":"https://pith.science/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/bundle.json","state":"https://pith.science/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/27Y6TSPY62OJ6ZFNG3MYQHXTJF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:27Y6TSPY62OJ6ZFNG3MYQHXTJF","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":"2e2398237b5f933174f0e6ef1368c6ffa4277318cd3c8acfa432c71b23340bd7","cross_cats_sorted":["cs.DS","cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-12-08T01:06:40Z","title_canon_sha256":"4fff5226d7df3e64158008e77b3a0239537ada2d51078be5963c5de69f4594a8"},"schema_version":"1.0","source":{"id":"1612.02503","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1612.02503","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"arxiv_version","alias_value":"1612.02503v5","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1612.02503","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_12","alias_value":"27Y6TSPY62OJ","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_16","alias_value":"27Y6TSPY62OJ6ZFN","created_at":"2026-07-05T07:27:22Z"},{"alias_kind":"pith_short_8","alias_value":"27Y6TSPY","created_at":"2026-07-05T07:27:22Z"}],"graph_snapshots":[{"event_id":"sha256:0d877b5f8eca4f69c1f012b17e481f7f3012b67251a17e26d45b69ca198ca12d","target":"graph","created_at":"2026-07-05T07:27:22Z","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/1612.02503/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Recent works on bounding the output size of a conjunctive query with functional dependencies and degree constraints have shown a deep connection between fundamental questions in information theory and database theory. We prove analogous output bounds for disjunctive datalog rules, and answer several open questions regarding the tightness and looseness of these bounds along the way. Our bounds are intimately related to Shannon-type information inequalities. We devise the notion of a \"proof sequence\" of a specific class of Shannon-type information inequalities called \"Shannon flow inequalities\".","authors_text":"Dan Suciu, Hung Q. Ngo, Mahmoud Abo Khamis","cross_cats":["cs.DS","cs.IT","math.IT"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-12-08T01:06:40Z","title":"What do Shannon-type Inequalities, Submodular Width, and Disjunctive Datalog have to do with one another?"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1612.02503","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:afa299d704ba1b353492ab33f0d91f7bf0a0f13d5f6f95bc3245ed005d63b2df","target":"record","created_at":"2026-07-05T07:27:22Z","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":"2e2398237b5f933174f0e6ef1368c6ffa4277318cd3c8acfa432c71b23340bd7","cross_cats_sorted":["cs.DS","cs.IT","math.IT"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2016-12-08T01:06:40Z","title_canon_sha256":"4fff5226d7df3e64158008e77b3a0239537ada2d51078be5963c5de69f4594a8"},"schema_version":"1.0","source":{"id":"1612.02503","kind":"arxiv","version":5}},"canonical_sha256":"d7f1e9c9f8f69c9f64ad36d9881ef3495c5d3c84e50a1eacc8f3444f9758fd2d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"d7f1e9c9f8f69c9f64ad36d9881ef3495c5d3c84e50a1eacc8f3444f9758fd2d","first_computed_at":"2026-07-05T07:27:22.017841Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T07:27:22.017841Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Ibih80/9F8j+DwwnQrI+938RAh3G7ed17qITJeY9w+5xmluuRkJnRvl3x5DqFbPZ9Tz52hoH0i1oSP3KTA6DQ==","signature_status":"signed_v1","signed_at":"2026-07-05T07:27:22.018344Z","signed_message":"canonical_sha256_bytes"},"source_id":"1612.02503","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:afa299d704ba1b353492ab33f0d91f7bf0a0f13d5f6f95bc3245ed005d63b2df","sha256:0d877b5f8eca4f69c1f012b17e481f7f3012b67251a17e26d45b69ca198ca12d"],"state_sha256":"397c9d8ca63b1d8f02058501417b96880f0f76642a7470f328cd286a302771b4"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"HjM1xnfcHdBoLz+/1VxUW3FVdcOR4LgAlereXFXGLRPgisRmGuBOpmFBWIQ5SmlP7xk3ZPTfcR3JYLSkZpfJBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T10:36:59.109839Z","bundle_sha256":"3ea7af472308793386595a479eee899e0ea4ccf610ecbfe87544cfd6ff614933"}}