{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:7JJ364FJHDECJDCOQSKULBBIYF","short_pith_number":"pith:7JJ364FJ","canonical_record":{"source":{"id":"2210.07083","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-10-13T15:10:27Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"dcfc6690a8553cccf4e7f2a0e41c94b3d579be0d04dcef86d9674b2dc4251050","abstract_canon_sha256":"b881a40fc381e03869c93006b0c0f2d6378093a2adca2516777db8524fe20346"},"schema_version":"1.0"},"canonical_sha256":"fa53bf70a938c8248c4e8495458428c15fa0198878aa7ce0653abd3c89f176da","source":{"kind":"arxiv","id":"2210.07083","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.07083","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"2210.07083v1","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07083","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"7JJ364FJHDEC","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_16","alias_value":"7JJ364FJHDECJDCO","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_8","alias_value":"7JJ364FJ","created_at":"2026-07-05T05:06:24Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:7JJ364FJHDECJDCOQSKULBBIYF","target":"record","payload":{"canonical_record":{"source":{"id":"2210.07083","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-10-13T15:10:27Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"dcfc6690a8553cccf4e7f2a0e41c94b3d579be0d04dcef86d9674b2dc4251050","abstract_canon_sha256":"b881a40fc381e03869c93006b0c0f2d6378093a2adca2516777db8524fe20346"},"schema_version":"1.0"},"canonical_sha256":"fa53bf70a938c8248c4e8495458428c15fa0198878aa7ce0653abd3c89f176da","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T05:06:24.358622Z","signature_b64":"sjQDRUnR+iKPzTRCajLO10hywjUHEZZF7L3vGCNsFlVDJdFNapnTmwXtyQcl+y1fhozeupWsAN7uIPxS8WAdBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fa53bf70a938c8248c4e8495458428c15fa0198878aa7ce0653abd3c89f176da","last_reissued_at":"2026-07-05T05:06:24.358083Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T05:06:24.358083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2210.07083","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-05T05:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uxVqdZXybcYI6FgfK5ejjDJTQx3p9sMOhsak//dipCWaPOSA+jftKUyIlNxH9yuxss1JA8l2SBlXUufII0p+CA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T20:43:42.099142Z"},"content_sha256":"67ec462b0b14db1106ac3f4c7dad00528407edf8350e1c6600e586f8895eec9a","schema_version":"1.0","event_id":"sha256:67ec462b0b14db1106ac3f4c7dad00528407edf8350e1c6600e586f8895eec9a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:7JJ364FJHDECJDCOQSKULBBIYF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Soundness and Completeness of SPARQL Query Containment Solver SpeCS","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Milena Vujo\\v{s}evi\\'c Jani\\v{c}i\\'c, Mirko Spasi\\'c","submitted_at":"2022-10-13T15:10:27Z","abstract_excerpt":"Tool SPECS implements an efficient automated approach for reasoning about the SPARQL query containment problem. In this paper, we prove the correctness of this approach. We give precise semantics of the core subset of SPARQL language. We briefly discuss the procedure used for reducing the query containment problem into a formal logical framework. We prove that such reduction is both sound and complete for conjunctive queries, and also for some important cases of non-conjunctive queries containing operator union, operator optional, and subqueries. Soundness and completeness proofs are considere"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07083","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/2210.07083/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-05T05:06:24Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2rop5ph6KjV61FnxHKBNeVLSh1gWwxiOIoxKQj18WWJBct3KaE33pAVKVXQ0/Tl7GbLE2Ho4jOkoilsQJ6SeDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-14T20:43:42.100421Z"},"content_sha256":"eac3077ed1ab4b60f99578cc592068017ca7bf9f312ba43d2f9ee34902b67aa1","schema_version":"1.0","event_id":"sha256:eac3077ed1ab4b60f99578cc592068017ca7bf9f312ba43d2f9ee34902b67aa1"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7JJ364FJHDECJDCOQSKULBBIYF/bundle.json","state_url":"https://pith.science/pith/7JJ364FJHDECJDCOQSKULBBIYF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7JJ364FJHDECJDCOQSKULBBIYF/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-08-14T20:43:42Z","links":{"resolver":"https://pith.science/pith/7JJ364FJHDECJDCOQSKULBBIYF","bundle":"https://pith.science/pith/7JJ364FJHDECJDCOQSKULBBIYF/bundle.json","state":"https://pith.science/pith/7JJ364FJHDECJDCOQSKULBBIYF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7JJ364FJHDECJDCOQSKULBBIYF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:7JJ364FJHDECJDCOQSKULBBIYF","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":"b881a40fc381e03869c93006b0c0f2d6378093a2adca2516777db8524fe20346","cross_cats_sorted":["cs.DB"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-10-13T15:10:27Z","title_canon_sha256":"dcfc6690a8553cccf4e7f2a0e41c94b3d579be0d04dcef86d9674b2dc4251050"},"schema_version":"1.0","source":{"id":"2210.07083","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2210.07083","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"arxiv_version","alias_value":"2210.07083v1","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2210.07083","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_12","alias_value":"7JJ364FJHDEC","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_16","alias_value":"7JJ364FJHDECJDCO","created_at":"2026-07-05T05:06:24Z"},{"alias_kind":"pith_short_8","alias_value":"7JJ364FJ","created_at":"2026-07-05T05:06:24Z"}],"graph_snapshots":[{"event_id":"sha256:eac3077ed1ab4b60f99578cc592068017ca7bf9f312ba43d2f9ee34902b67aa1","target":"graph","created_at":"2026-07-05T05:06:24Z","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/2210.07083/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Tool SPECS implements an efficient automated approach for reasoning about the SPARQL query containment problem. In this paper, we prove the correctness of this approach. We give precise semantics of the core subset of SPARQL language. We briefly discuss the procedure used for reducing the query containment problem into a formal logical framework. We prove that such reduction is both sound and complete for conjunctive queries, and also for some important cases of non-conjunctive queries containing operator union, operator optional, and subqueries. Soundness and completeness proofs are considere","authors_text":"Milena Vujo\\v{s}evi\\'c Jani\\v{c}i\\'c, Mirko Spasi\\'c","cross_cats":["cs.DB"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-10-13T15:10:27Z","title":"Soundness and Completeness of SPARQL Query Containment Solver SpeCS"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2210.07083","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:67ec462b0b14db1106ac3f4c7dad00528407edf8350e1c6600e586f8895eec9a","target":"record","created_at":"2026-07-05T05:06:24Z","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":"b881a40fc381e03869c93006b0c0f2d6378093a2adca2516777db8524fe20346","cross_cats_sorted":["cs.DB"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.LO","submitted_at":"2022-10-13T15:10:27Z","title_canon_sha256":"dcfc6690a8553cccf4e7f2a0e41c94b3d579be0d04dcef86d9674b2dc4251050"},"schema_version":"1.0","source":{"id":"2210.07083","kind":"arxiv","version":1}},"canonical_sha256":"fa53bf70a938c8248c4e8495458428c15fa0198878aa7ce0653abd3c89f176da","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fa53bf70a938c8248c4e8495458428c15fa0198878aa7ce0653abd3c89f176da","first_computed_at":"2026-07-05T05:06:24.358083Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T05:06:24.358083Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"sjQDRUnR+iKPzTRCajLO10hywjUHEZZF7L3vGCNsFlVDJdFNapnTmwXtyQcl+y1fhozeupWsAN7uIPxS8WAdBg==","signature_status":"signed_v1","signed_at":"2026-07-05T05:06:24.358622Z","signed_message":"canonical_sha256_bytes"},"source_id":"2210.07083","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:67ec462b0b14db1106ac3f4c7dad00528407edf8350e1c6600e586f8895eec9a","sha256:eac3077ed1ab4b60f99578cc592068017ca7bf9f312ba43d2f9ee34902b67aa1"],"state_sha256":"3919522aed38ffc52a16b4216f76107838ea848c6a9caec8a0793890d41c0f91"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"XgbD9DAT5t9ONAEBlbMGhATXiaUckElBB7VmRZDI6kC6eL69TtGq2CKfG6cSof6kvydcFYmfJpNavpYVGqdGDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-14T20:43:42.112959Z","bundle_sha256":"ea35fc911e84cbf90a9ea69a3e618c03ca210fc3938e034fb44d16a6c84fae8e"}}