{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2020:5ZKHLIBLLYZ7U4YRCGFVIHHMLI","short_pith_number":"pith:5ZKHLIBL","schema_version":"1.0","canonical_sha256":"ee5475a02b5e33fa7311118b541cec5a37962d4db669f8b90354ed445869cccd","source":{"kind":"arxiv","id":"2004.11375","version":1},"attestation_state":"computed","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"},"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":"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2004.11375","created_at":"2026-07-05T00:57:53.762573+00:00"},{"alias_kind":"arxiv_version","alias_value":"2004.11375v1","created_at":"2026-07-05T00:57:53.762573+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2004.11375","created_at":"2026-07-05T00:57:53.762573+00:00"},{"alias_kind":"pith_short_12","alias_value":"5ZKHLIBLLYZ7","created_at":"2026-07-05T00:57:53.762573+00:00"},{"alias_kind":"pith_short_16","alias_value":"5ZKHLIBLLYZ7U4YR","created_at":"2026-07-05T00:57:53.762573+00:00"},{"alias_kind":"pith_short_8","alias_value":"5ZKHLIBL","created_at":"2026-07-05T00:57:53.762573+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/5ZKHLIBLLYZ7U4YRCGFVIHHMLI","json":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI.json","graph_json":"https://pith.science/api/pith-number/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/graph.json","events_json":"https://pith.science/api/pith-number/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/events.json","paper":"https://pith.science/paper/5ZKHLIBL"},"agent_actions":{"view_html":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI","download_json":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI.json","view_paper":"https://pith.science/paper/5ZKHLIBL","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2004.11375&json=true","fetch_graph":"https://pith.science/api/pith-number/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/graph.json","fetch_events":"https://pith.science/api/pith-number/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/action/storage_attestation","attest_author":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/action/author_attestation","sign_citation":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/action/citation_signature","submit_replication":"https://pith.science/pith/5ZKHLIBLLYZ7U4YRCGFVIHHMLI/action/replication_record"}},"created_at":"2026-07-05T00:57:53.762573+00:00","updated_at":"2026-07-05T00:57:53.762573+00:00"}