{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:5ZKHLIBLLYZ7U4YRCGFVIHHMLI","short_pith_number":"pith:5ZKHLIBL","canonical_record":{"source":{"id":"2004.11375","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-04-23T17:55:32Z","cross_cats_sorted":["cs.HC","cs.LO"],"title_canon_sha256":"74d2370a98b29d3957da5d1dcb497eceff2dc47d1cbbc9f48852995999ac8614","abstract_canon_sha256":"3338613b0a39d8ed58da23d171caccffd99d97313ad8b28870d87ab1b6dac923"},"schema_version":"1.0"},"canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","source":{"kind":"arxiv","id":"2004.11375","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.11375","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"arxiv_version","alias_value":"2004.11375v1","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.11375","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_12","alias_value":"5ZKHLIBLLYZ7","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_16","alias_value":"5ZKHLIBLLYZ7U4YR","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_8","alias_value":"5ZKHLIBL","created_at":"2026-07-05T00:57:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:5ZKHLIBLLYZ7U4YRCGFVIHHMLI","target":"record","payload":{"canonical_record":{"source":{"id":"2004.11375","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-04-23T17:55:32Z","cross_cats_sorted":["cs.HC","cs.LO"],"title_canon_sha256":"74d2370a98b29d3957da5d1dcb497eceff2dc47d1cbbc9f48852995999ac8614","abstract_canon_sha256":"3338613b0a39d8ed58da23d171caccffd99d97313ad8b28870d87ab1b6dac923"},"schema_version":"1.0"},"canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T00:57:53.762855Z","signature_b64":"08flap3Mix9dTWBiFqg8bDjyHf38ghDUPo//P3p5uN9KfDw7j9s7kUXPdlV7YO1IAwoxCbud1tMmCfh3vk8DAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","last_reissued_at":"2026-07-05T00:57:53.762512Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T00:57:53.762512Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2004.11375","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-07-05T00:57:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"q65s1QGBLbphsJSplXKHASJvMAlEOzslv1/Z0+oXJSQYoQx7a1FnEYciv13/s4L79jyQiojbOwvAiVyuARBaCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T12:11:54.137768Z"},"content_sha256":"f1badbf7fda07059ce4a2ec28b537eeb82a9bfa85fcc0dabd09cef0469203ce7","schema_version":"1.0","event_id":"sha256:f1badbf7fda07059ce4a2ec28b537eeb82a9bfa85fcc0dabd09cef0469203ce7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:5ZKHLIBLLYZ7U4YRCGFVIHHMLI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"QueryVis: Logic-based diagrams help users understand complicated SQL queries faster","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.HC","cs.LO"],"primary_cat":"cs.DB","authors_text":"Aristotelis Leventidis, Cody Dunne, H.V. Jagadish, Jiahui Zhang, Mirek Riedewald, Wolfgang Gatterbauer","submitted_at":"2020-04-23T17:55:32Z","abstract_excerpt":"Understanding the meaning of existing SQL queries is critical for code maintenance and reuse. Yet SQL can be hard to read, even for expert users or the original creator of a query. We conjecture that it is possible to capture the logical intent of queries in \\emph{automatically-generated visual diagrams} that can help users understand the meaning of queries faster and more accurately than SQL text alone. We present initial steps in that direction with visual diagrams that are based on the first-order logic foundation of SQL and can capture the meaning of deeply nested queries. Our diagrams bui"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.11375","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2004.11375/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-05T00:57:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SvrGdbox0o43AWe3TR9ZRnhE8LT/KfQZq9S32TffuEPdhwVhQzby3nQnNIHbaGQV06uFpQcsHUygB4qUuPgwDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-07-14T12:11:54.138150Z"},"content_sha256":"61c7da141f1530f7be80f700a13a8604fb6436882d1ce8bd51758732261041d1","schema_version":"1.0","event_id":"sha256:61c7da141f1530f7be80f700a13a8604fb6436882d1ce8bd51758732261041d1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/bundle.json","state_url":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/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-07-14T12:11:54Z","links":{"resolver":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI","bundle":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/bundle.json","state":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:5ZKHLIBLLYZ7U4YRCGFVIHHMLI","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":"3338613b0a39d8ed58da23d171caccffd99d97313ad8b28870d87ab1b6dac923","cross_cats_sorted":["cs.HC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-04-23T17:55:32Z","title_canon_sha256":"74d2370a98b29d3957da5d1dcb497eceff2dc47d1cbbc9f48852995999ac8614"},"schema_version":"1.0","source":{"id":"2004.11375","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2004.11375","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"arxiv_version","alias_value":"2004.11375v1","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.11375","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_12","alias_value":"5ZKHLIBLLYZ7","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_16","alias_value":"5ZKHLIBLLYZ7U4YR","created_at":"2026-07-05T00:57:53Z"},{"alias_kind":"pith_short_8","alias_value":"5ZKHLIBL","created_at":"2026-07-05T00:57:53Z"}],"graph_snapshots":[{"event_id":"sha256:61c7da141f1530f7be80f700a13a8604fb6436882d1ce8bd51758732261041d1","target":"graph","created_at":"2026-07-05T00:57:53Z","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/2004.11375/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Understanding the meaning of existing SQL queries is critical for code maintenance and reuse. Yet SQL can be hard to read, even for expert users or the original creator of a query. We conjecture that it is possible to capture the logical intent of queries in \\emph{automatically-generated visual diagrams} that can help users understand the meaning of queries faster and more accurately than SQL text alone. We present initial steps in that direction with visual diagrams that are based on the first-order logic foundation of SQL and can capture the meaning of deeply nested queries. Our diagrams bui","authors_text":"Aristotelis Leventidis, Cody Dunne, H.V. Jagadish, Jiahui Zhang, Mirek Riedewald, Wolfgang Gatterbauer","cross_cats":["cs.HC","cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-04-23T17:55:32Z","title":"QueryVis: Logic-based diagrams help users understand complicated SQL queries faster"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2004.11375","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:f1badbf7fda07059ce4a2ec28b537eeb82a9bfa85fcc0dabd09cef0469203ce7","target":"record","created_at":"2026-07-05T00:57:53Z","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":"3338613b0a39d8ed58da23d171caccffd99d97313ad8b28870d87ab1b6dac923","cross_cats_sorted":["cs.HC","cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2020-04-23T17:55:32Z","title_canon_sha256":"74d2370a98b29d3957da5d1dcb497eceff2dc47d1cbbc9f48852995999ac8614"},"schema_version":"1.0","source":{"id":"2004.11375","kind":"arxiv","version":1}},"canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","first_computed_at":"2026-07-05T00:57:53.762512Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T00:57:53.762512Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"08flap3Mix9dTWBiFqg8bDjyHf38ghDUPo//P3p5uN9KfDw7j9s7kUXPdlV7YO1IAwoxCbud1tMmCfh3vk8DAw==","signature_status":"signed_v1","signed_at":"2026-07-05T00:57:53.762855Z","signed_message":"canonical_sha256_bytes"},"source_id":"2004.11375","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f1badbf7fda07059ce4a2ec28b537eeb82a9bfa85fcc0dabd09cef0469203ce7","sha256:61c7da141f1530f7be80f700a13a8604fb6436882d1ce8bd51758732261041d1"],"state_sha256":"1091a4831fc12409fa45bc48b50e4c73b0409110cef4c0fce0ef674a50c98eee"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"My74A+kIS03dqliypW2n7gPf5c1lXY/KSvGICJoCPvOaii7JS8kf7auM5Mix0DR2ze2YYsJeZrCjHzPV+8WeDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-07-14T12:11:54.140703Z","bundle_sha256":"c6f5a2f6aeed4b7c9b3e0e43e10d82cff5c642f3af16473ea135afec05ee8b66"}}