{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:MZT7U7QB2YJGNA7S5M4DVQOE2J","short_pith_number":"pith:MZT7U7QB","canonical_record":{"source":{"id":"1804.07626","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-20T14:05:10Z","cross_cats_sorted":[],"title_canon_sha256":"6d58347291f00bd833b39e43ecab6b7a256ccbe11543886a4b89498ebe39c979","abstract_canon_sha256":"7d8fa85e548b34a1b0a17f130880716c144aa2584f2db10680e6d9763edb404d"},"schema_version":"1.0"},"canonical_sha256":"6667fa7e01d6126683f2eb383ac1c4d258c0cfd3fa9e8f151ee9c1c15def1403","source":{"kind":"arxiv","id":"1804.07626","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07626","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07626v1","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07626","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"pith_short_12","alias_value":"MZT7U7QB2YJG","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MZT7U7QB2YJGNA7S","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MZT7U7QB","created_at":"2026-05-18T12:32:40Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:MZT7U7QB2YJGNA7S5M4DVQOE2J","target":"record","payload":{"canonical_record":{"source":{"id":"1804.07626","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-20T14:05:10Z","cross_cats_sorted":[],"title_canon_sha256":"6d58347291f00bd833b39e43ecab6b7a256ccbe11543886a4b89498ebe39c979","abstract_canon_sha256":"7d8fa85e548b34a1b0a17f130880716c144aa2584f2db10680e6d9763edb404d"},"schema_version":"1.0"},"canonical_sha256":"6667fa7e01d6126683f2eb383ac1c4d258c0cfd3fa9e8f151ee9c1c15def1403","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:17:58.278601Z","signature_b64":"8PhUrxtFTE/zP5e6Vagmzw0EGBNyF/fAZ741HEqiR9MehPZhyPntuTgt5roxoNe04nduEX7cmcV+EYO8slUvCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6667fa7e01d6126683f2eb383ac1c4d258c0cfd3fa9e8f151ee9c1c15def1403","last_reissued_at":"2026-05-18T00:17:58.277999Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:17:58.277999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1804.07626","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-18T00:17:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"j556c1qsbSRqMsSiRAeLys6lhTMNiFNAMzZnnuUH/s/EvZwZxefE0EQkZEtEEeSB9UD5HkDs/XjH5K5DUfMzAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:37:47.012417Z"},"content_sha256":"52127edd1aae82b9bf7c0bdc3981a19deb6cceb4dc3fb817c4f87d7c8879397a","schema_version":"1.0","event_id":"sha256:52127edd1aae82b9bf7c0bdc3981a19deb6cceb4dc3fb817c4f87d7c8879397a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:MZT7U7QB2YJGNA7S5M4DVQOE2J","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Graphical Conjunctive Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Filippo Bonchi, Jens Seeber, Pawel Sobocinski","submitted_at":"2018-04-20T14:05:10Z","abstract_excerpt":"The Calculus of Conjunctive Queries (CCQ) has foundational status in database theory. A celebrated theorem of Chandra and Merlin states that CCQ query inclusion is decidable. Its proof transforms logical formulas to graphs: each query has a natural model - a kind of graph - and query inclusion reduces to the existence of a graph homomorphism between natural models.\n  We introduce the diagrammatic language Graphical Conjunctive Queries (GCQ) and show that it has the same expressivity as CCQ. GCQ terms are string diagrams, and their algebraic structure allows us to derive a sound and complete ax"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07626","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-18T00:17:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w4uNRMCBvv7/7/jy28M7UmEs+4yHN3JhhxqxsvQn0IkNvzqPcb/TfWU15IPZoEnLJd8Up1scQC0RpJrS+WgrBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T06:37:47.012764Z"},"content_sha256":"f26c157edc73c6fa4da1e0870f0e7b37e29328600669e9862131234688d88139","schema_version":"1.0","event_id":"sha256:f26c157edc73c6fa4da1e0870f0e7b37e29328600669e9862131234688d88139"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/bundle.json","state_url":"https://pith.science/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/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-06-05T06:37:47Z","links":{"resolver":"https://pith.science/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J","bundle":"https://pith.science/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/bundle.json","state":"https://pith.science/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MZT7U7QB2YJGNA7S5M4DVQOE2J/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:MZT7U7QB2YJGNA7S5M4DVQOE2J","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":"7d8fa85e548b34a1b0a17f130880716c144aa2584f2db10680e6d9763edb404d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-20T14:05:10Z","title_canon_sha256":"6d58347291f00bd833b39e43ecab6b7a256ccbe11543886a4b89498ebe39c979"},"schema_version":"1.0","source":{"id":"1804.07626","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1804.07626","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"arxiv_version","alias_value":"1804.07626v1","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1804.07626","created_at":"2026-05-18T00:17:58Z"},{"alias_kind":"pith_short_12","alias_value":"MZT7U7QB2YJG","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_16","alias_value":"MZT7U7QB2YJGNA7S","created_at":"2026-05-18T12:32:40Z"},{"alias_kind":"pith_short_8","alias_value":"MZT7U7QB","created_at":"2026-05-18T12:32:40Z"}],"graph_snapshots":[{"event_id":"sha256:f26c157edc73c6fa4da1e0870f0e7b37e29328600669e9862131234688d88139","target":"graph","created_at":"2026-05-18T00:17:58Z","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":"The Calculus of Conjunctive Queries (CCQ) has foundational status in database theory. A celebrated theorem of Chandra and Merlin states that CCQ query inclusion is decidable. Its proof transforms logical formulas to graphs: each query has a natural model - a kind of graph - and query inclusion reduces to the existence of a graph homomorphism between natural models.\n  We introduce the diagrammatic language Graphical Conjunctive Queries (GCQ) and show that it has the same expressivity as CCQ. GCQ terms are string diagrams, and their algebraic structure allows us to derive a sound and complete ax","authors_text":"Filippo Bonchi, Jens Seeber, Pawel Sobocinski","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-20T14:05:10Z","title":"Graphical Conjunctive Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1804.07626","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:52127edd1aae82b9bf7c0bdc3981a19deb6cceb4dc3fb817c4f87d7c8879397a","target":"record","created_at":"2026-05-18T00:17:58Z","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":"7d8fa85e548b34a1b0a17f130880716c144aa2584f2db10680e6d9763edb404d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2018-04-20T14:05:10Z","title_canon_sha256":"6d58347291f00bd833b39e43ecab6b7a256ccbe11543886a4b89498ebe39c979"},"schema_version":"1.0","source":{"id":"1804.07626","kind":"arxiv","version":1}},"canonical_sha256":"6667fa7e01d6126683f2eb383ac1c4d258c0cfd3fa9e8f151ee9c1c15def1403","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6667fa7e01d6126683f2eb383ac1c4d258c0cfd3fa9e8f151ee9c1c15def1403","first_computed_at":"2026-05-18T00:17:58.277999Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:17:58.277999Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8PhUrxtFTE/zP5e6Vagmzw0EGBNyF/fAZ741HEqiR9MehPZhyPntuTgt5roxoNe04nduEX7cmcV+EYO8slUvCw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:17:58.278601Z","signed_message":"canonical_sha256_bytes"},"source_id":"1804.07626","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:52127edd1aae82b9bf7c0bdc3981a19deb6cceb4dc3fb817c4f87d7c8879397a","sha256:f26c157edc73c6fa4da1e0870f0e7b37e29328600669e9862131234688d88139"],"state_sha256":"2179c29a5ebb672582e99761ccddad13632f25c1564567391c8805057300f031"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Tx5yOdKh5N8dB8mdqgr8DU/K31IGc+9inuy0ZoLQ4nM+YEwJZiDgPds06krjc8XB9Outnii+3JBsZFdlsJ4zDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T06:37:47.015064Z","bundle_sha256":"eea5c7b624f5a7f46d498673560b94aae382a15abd4d06b652bfd47ac70c443a"}}