{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2025:DCA7N7EPLPESEBAWPEUCD5Z3VI","short_pith_number":"pith:DCA7N7EP","schema_version":"1.0","canonical_sha256":"1881f6fc8f5bc9220416792821f73baa30e41559749b9c0a2522afbc008e11b1","source":{"kind":"arxiv","id":"2504.15742","version":1},"attestation_state":"computed","paper":{"title":"Proving Cypher Query Equivalence","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DB","authors_text":"Jun Wei, Lei Tang, Lijie Xu, Tao Huang, Wei Wang, Wensheng Dou, Yingying Zheng","submitted_at":"2025-04-22T09:45:37Z","abstract_excerpt":"Graph database systems store graph data as nodes and relationships, and utilize graph query languages (e.g., Cypher) for efficiently querying graph data. Proving the equivalence of graph queries is an important foundation for optimizing graph query performance, ensuring graph query reliability, etc. Although researchers have proposed many SQL query equivalence provers for relational database systems, these provers cannot be directly applied to prove the equivalence of graph queries. The difficulty lies in the fact that graph query languages (e.g., Cypher) adopt significantly different data mod"},"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":"2504.15742","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2025-04-22T09:45:37Z","cross_cats_sorted":["cs.SE"],"title_canon_sha256":"fc6b262b241aa6f03341f0fa1d5eefd1eeee3d4951ea420fb284fcaabbeba278","abstract_canon_sha256":"7015c350ca2a8e0126920deafaaeaa67cf12da2355697e2aae77442eb78b7ac3"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:52:29.389158Z","signature_b64":"LsLHJcYrZdq3GQj/3hUNNAXluj6WasGe642I5kIs6XN+ROcRvv4N3/rapb0S4R/vCYBi36dfls4PmNCuR6eNDw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"1881f6fc8f5bc9220416792821f73baa30e41559749b9c0a2522afbc008e11b1","last_reissued_at":"2026-07-05T10:52:29.388688Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:52:29.388688Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Proving Cypher Query Equivalence","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.SE"],"primary_cat":"cs.DB","authors_text":"Jun Wei, Lei Tang, Lijie Xu, Tao Huang, Wei Wang, Wensheng Dou, Yingying Zheng","submitted_at":"2025-04-22T09:45:37Z","abstract_excerpt":"Graph database systems store graph data as nodes and relationships, and utilize graph query languages (e.g., Cypher) for efficiently querying graph data. Proving the equivalence of graph queries is an important foundation for optimizing graph query performance, ensuring graph query reliability, etc. Although researchers have proposed many SQL query equivalence provers for relational database systems, these provers cannot be directly applied to prove the equivalence of graph queries. The difficulty lies in the fact that graph query languages (e.g., Cypher) adopt significantly different data mod"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2504.15742","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/2504.15742/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":"2504.15742","created_at":"2026-07-05T10:52:29.388750+00:00"},{"alias_kind":"arxiv_version","alias_value":"2504.15742v1","created_at":"2026-07-05T10:52:29.388750+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2504.15742","created_at":"2026-07-05T10:52:29.388750+00:00"},{"alias_kind":"pith_short_12","alias_value":"DCA7N7EPLPES","created_at":"2026-07-05T10:52:29.388750+00:00"},{"alias_kind":"pith_short_16","alias_value":"DCA7N7EPLPESEBAW","created_at":"2026-07-05T10:52:29.388750+00:00"},{"alias_kind":"pith_short_8","alias_value":"DCA7N7EP","created_at":"2026-07-05T10:52:29.388750+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/DCA7N7EPLPESEBAWPEUCD5Z3VI","json":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI.json","graph_json":"https://pith.science/api/pith-number/DCA7N7EPLPESEBAWPEUCD5Z3VI/graph.json","events_json":"https://pith.science/api/pith-number/DCA7N7EPLPESEBAWPEUCD5Z3VI/events.json","paper":"https://pith.science/paper/DCA7N7EP"},"agent_actions":{"view_html":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI","download_json":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI.json","view_paper":"https://pith.science/paper/DCA7N7EP","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2504.15742&json=true","fetch_graph":"https://pith.science/api/pith-number/DCA7N7EPLPESEBAWPEUCD5Z3VI/graph.json","fetch_events":"https://pith.science/api/pith-number/DCA7N7EPLPESEBAWPEUCD5Z3VI/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI/action/timestamp_anchor","attest_storage":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI/action/storage_attestation","attest_author":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI/action/author_attestation","sign_citation":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI/action/citation_signature","submit_replication":"https://pith.science/pith/DCA7N7EPLPESEBAWPEUCD5Z3VI/action/replication_record"}},"created_at":"2026-07-05T10:52:29.388750+00:00","updated_at":"2026-07-05T10:52:29.388750+00:00"}