{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:4V5V6AZMRK5PQ7XL2BLZI33ZSR","short_pith_number":"pith:4V5V6AZM","canonical_record":{"source":{"id":"1606.01441","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2016-06-05T00:43:44Z","cross_cats_sorted":[],"title_canon_sha256":"4525f7c7608c2b04722c4144c886fa422809eb2b4434e3b5535e607336e3c5a5","abstract_canon_sha256":"1f040e0bf4cb7c596975d201d1a54ef6e839ddc92136f656ba85de92443e0c0e"},"schema_version":"1.0"},"canonical_sha256":"e57b5f032c8abaf87eebd057946f79947b3ac977df9ef2834f13e7d14e4f91c9","source":{"kind":"arxiv","id":"1606.01441","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01441","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01441v2","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01441","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"pith_short_12","alias_value":"4V5V6AZMRK5P","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4V5V6AZMRK5PQ7XL","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4V5V6AZM","created_at":"2026-05-18T12:29:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:4V5V6AZMRK5PQ7XL2BLZI33ZSR","target":"record","payload":{"canonical_record":{"source":{"id":"1606.01441","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2016-06-05T00:43:44Z","cross_cats_sorted":[],"title_canon_sha256":"4525f7c7608c2b04722c4144c886fa422809eb2b4434e3b5535e607336e3c5a5","abstract_canon_sha256":"1f040e0bf4cb7c596975d201d1a54ef6e839ddc92136f656ba85de92443e0c0e"},"schema_version":"1.0"},"canonical_sha256":"e57b5f032c8abaf87eebd057946f79947b3ac977df9ef2834f13e7d14e4f91c9","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:11:10.080737Z","signature_b64":"lKV5PtlgVjCP9kVbcMkF5cUerGh/ryRsFq15fvD77uchy7Rw5Tt97aaRpAtbLbVJNlciSRJQK6schyCtFbzPCQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e57b5f032c8abaf87eebd057946f79947b3ac977df9ef2834f13e7d14e4f91c9","last_reissued_at":"2026-05-18T01:11:10.080259Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:11:10.080259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1606.01441","source_version":2,"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-18T01:11:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"G46hpL5A+6vW6J+Wm/z88JebmVJXoKDWFz82a1aQE6GsRlgR8WNn3O386BrgHfUrllEMzxugqxkD9Q1Jz2KiBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T14:32:02.865425Z"},"content_sha256":"8f2870e798f9c258fb2936c06069268bffe9b78d3f895a5b5c5aefe6ca244433","schema_version":"1.0","event_id":"sha256:8f2870e798f9c258fb2936c06069268bffe9b78d3f895a5b5c5aefe6ca244433"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:4V5V6AZMRK5PQ7XL2BLZI33ZSR","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Correlation and Substitution in SPARQL","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Claudio Gutierrez, Daniel Hern\\'andez, Renzo Angles","submitted_at":"2016-06-05T00:43:44Z","abstract_excerpt":"In the current SPARQL specification the notion of correlation and substitution are not well defined. This problem triggers several ambiguities in the semantics. In fact, implementations as Fuseki and Virtuoso assume different semantics.\n  In this technical report, we provide a semantics of correlation and substitution following the classic philosophy of substitution and correlation in logic, programming languages and SQL. We think this proposal not only fix the current ambiguities and problems, but helps to set a safe formal base to further extensions of the language.\n  This work is part of an"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01441","kind":"arxiv","version":2},"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-18T01:11:10Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"YF4szFaurh/ZYwjPPnVcKewcNLp7PvpT/Q9Y19fFbbijS0Dmp/iPpSteWCAl9y5HJDjfOiQFaFn8nNCHZei0Ag==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-04T14:32:02.866040Z"},"content_sha256":"2893b306c94cf86027adf100e4d0bae4a87b86e820616a98528629af727f883e","schema_version":"1.0","event_id":"sha256:2893b306c94cf86027adf100e4d0bae4a87b86e820616a98528629af727f883e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/bundle.json","state_url":"https://pith.science/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/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-04T14:32:02Z","links":{"resolver":"https://pith.science/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR","bundle":"https://pith.science/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/bundle.json","state":"https://pith.science/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4V5V6AZMRK5PQ7XL2BLZI33ZSR/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:4V5V6AZMRK5PQ7XL2BLZI33ZSR","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":"1f040e0bf4cb7c596975d201d1a54ef6e839ddc92136f656ba85de92443e0c0e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2016-06-05T00:43:44Z","title_canon_sha256":"4525f7c7608c2b04722c4144c886fa422809eb2b4434e3b5535e607336e3c5a5"},"schema_version":"1.0","source":{"id":"1606.01441","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1606.01441","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"arxiv_version","alias_value":"1606.01441v2","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1606.01441","created_at":"2026-05-18T01:11:10Z"},{"alias_kind":"pith_short_12","alias_value":"4V5V6AZMRK5P","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_16","alias_value":"4V5V6AZMRK5PQ7XL","created_at":"2026-05-18T12:29:58Z"},{"alias_kind":"pith_short_8","alias_value":"4V5V6AZM","created_at":"2026-05-18T12:29:58Z"}],"graph_snapshots":[{"event_id":"sha256:2893b306c94cf86027adf100e4d0bae4a87b86e820616a98528629af727f883e","target":"graph","created_at":"2026-05-18T01:11:10Z","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":"In the current SPARQL specification the notion of correlation and substitution are not well defined. This problem triggers several ambiguities in the semantics. In fact, implementations as Fuseki and Virtuoso assume different semantics.\n  In this technical report, we provide a semantics of correlation and substitution following the classic philosophy of substitution and correlation in logic, programming languages and SQL. We think this proposal not only fix the current ambiguities and problems, but helps to set a safe formal base to further extensions of the language.\n  This work is part of an","authors_text":"Claudio Gutierrez, Daniel Hern\\'andez, Renzo Angles","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2016-06-05T00:43:44Z","title":"Correlation and Substitution in SPARQL"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1606.01441","kind":"arxiv","version":2},"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:8f2870e798f9c258fb2936c06069268bffe9b78d3f895a5b5c5aefe6ca244433","target":"record","created_at":"2026-05-18T01:11:10Z","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":"1f040e0bf4cb7c596975d201d1a54ef6e839ddc92136f656ba85de92443e0c0e","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2016-06-05T00:43:44Z","title_canon_sha256":"4525f7c7608c2b04722c4144c886fa422809eb2b4434e3b5535e607336e3c5a5"},"schema_version":"1.0","source":{"id":"1606.01441","kind":"arxiv","version":2}},"canonical_sha256":"e57b5f032c8abaf87eebd057946f79947b3ac977df9ef2834f13e7d14e4f91c9","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e57b5f032c8abaf87eebd057946f79947b3ac977df9ef2834f13e7d14e4f91c9","first_computed_at":"2026-05-18T01:11:10.080259Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:11:10.080259Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lKV5PtlgVjCP9kVbcMkF5cUerGh/ryRsFq15fvD77uchy7Rw5Tt97aaRpAtbLbVJNlciSRJQK6schyCtFbzPCQ==","signature_status":"signed_v1","signed_at":"2026-05-18T01:11:10.080737Z","signed_message":"canonical_sha256_bytes"},"source_id":"1606.01441","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8f2870e798f9c258fb2936c06069268bffe9b78d3f895a5b5c5aefe6ca244433","sha256:2893b306c94cf86027adf100e4d0bae4a87b86e820616a98528629af727f883e"],"state_sha256":"a158532035eaf44f11149727cc9686a0bcf3729fe2cf9cc06a785252e6f93174"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"e/1nfggH7fvH58n8i778XXLANO+9B0RKTkfoGFXHX6e8ct3xfwFSYJcwWS+9e+5u/5og53m4eNds6qTW9zVyDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-04T14:32:02.868933Z","bundle_sha256":"185aa0d0802375682f214f72ffd62386e9948206277016eba02e1e4c8ca34b7c"}}