{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:Y267BTV3O4IYRYAGIJBUSN7FSH","short_pith_number":"pith:Y267BTV3","canonical_record":{"source":{"id":"1411.6704","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-25T02:06:02Z","cross_cats_sorted":[],"title_canon_sha256":"d0d6308b4f86c78f30a3c36fdc14c00fb4d81e13731b5f640787217152e6fadf","abstract_canon_sha256":"1b063d355262556cb41f6d94857498ebbfdcefa79c4ae53f053371499ef39d57"},"schema_version":"1.0"},"canonical_sha256":"c6bdf0cebb771188e00642434937e591c7e66c72ea4eb662ff1f2d53797828c1","source":{"kind":"arxiv","id":"1411.6704","version":5},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.6704","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"arxiv_version","alias_value":"1411.6704v5","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.6704","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"pith_short_12","alias_value":"Y267BTV3O4IY","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"Y267BTV3O4IYRYAG","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"Y267BTV3","created_at":"2026-05-18T12:28:57Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:Y267BTV3O4IYRYAGIJBUSN7FSH","target":"record","payload":{"canonical_record":{"source":{"id":"1411.6704","kind":"arxiv","version":5},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-25T02:06:02Z","cross_cats_sorted":[],"title_canon_sha256":"d0d6308b4f86c78f30a3c36fdc14c00fb4d81e13731b5f640787217152e6fadf","abstract_canon_sha256":"1b063d355262556cb41f6d94857498ebbfdcefa79c4ae53f053371499ef39d57"},"schema_version":"1.0"},"canonical_sha256":"c6bdf0cebb771188e00642434937e591c7e66c72ea4eb662ff1f2d53797828c1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:45:16.615349Z","signature_b64":"7aTAnOJ8bQR3zZt+/CrctX1bEqZo6f213m1m16ikKjMeoWX/Wjue7qbcvGRysHzfnatNZVmHHDLlZmlVYAdoDg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c6bdf0cebb771188e00642434937e591c7e66c72ea4eb662ff1f2d53797828c1","last_reissued_at":"2026-05-18T00:45:16.614758Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:45:16.614758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.6704","source_version":5,"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-18T00:45:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7q1lEkR/vSlZwg20UWPTM1DLJpisiyeN7ioFqzmn5hG+cbSA7aNM5FRu2Nuv+i4cA6tPIh8pB5jgrgMb+kBTBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:07:30.348824Z"},"content_sha256":"9e11f50257a94b1de544673ba3251a81a6715d84aeec5c3527f25011d936f4d3","schema_version":"1.0","event_id":"sha256:9e11f50257a94b1de544673ba3251a81a6715d84aeec5c3527f25011d936f4d3"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:Y267BTV3O4IYRYAGIJBUSN7FSH","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Data Generation for Testing and Grading SQL Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Bhupesh Chawda, Bikash Chandra, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan","submitted_at":"2014-11-25T02:06:02Z","abstract_excerpt":"Correctness of SQL queries is usually tested by executing the queries on one or more datasets. Erroneous queries are often the results of small changes, or mutations of the correct query. A mutation Q' of a query Q is killed by a dataset D if Q(D) $\\neq$ Q'(D). Earlier work on the XData system showed how to generate datasets that kill all mutations in a class of mutations that included join type and comparison operation mutations.\n  In this paper, we extend the XData data generation techniques to handle a wider variety of SQL queries and a much larger class of mutations. We have also built a s"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.6704","kind":"arxiv","version":5},"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-18T00:45:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"i2s3ptmS4+ZT153z72SMFTgYGaSJ3pCvQ5jregF9sFT2tTy1ZTyVDZQ+tYznnXGnBxm8bBJWMgsXJyatATh2AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T21:07:30.349493Z"},"content_sha256":"acbd6819ecfc4cecfe93b317e9e753274b8ff459879cdb88dfede98f1ecb99a0","schema_version":"1.0","event_id":"sha256:acbd6819ecfc4cecfe93b317e9e753274b8ff459879cdb88dfede98f1ecb99a0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/bundle.json","state_url":"https://pith.science/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/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-02T21:07:30Z","links":{"resolver":"https://pith.science/pith/Y267BTV3O4IYRYAGIJBUSN7FSH","bundle":"https://pith.science/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/bundle.json","state":"https://pith.science/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/state.json","well_known_bundle":"https://pith.science/.well-known/pith/Y267BTV3O4IYRYAGIJBUSN7FSH/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:Y267BTV3O4IYRYAGIJBUSN7FSH","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":"1b063d355262556cb41f6d94857498ebbfdcefa79c4ae53f053371499ef39d57","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-25T02:06:02Z","title_canon_sha256":"d0d6308b4f86c78f30a3c36fdc14c00fb4d81e13731b5f640787217152e6fadf"},"schema_version":"1.0","source":{"id":"1411.6704","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.6704","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"arxiv_version","alias_value":"1411.6704v5","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.6704","created_at":"2026-05-18T00:45:16Z"},{"alias_kind":"pith_short_12","alias_value":"Y267BTV3O4IY","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_16","alias_value":"Y267BTV3O4IYRYAG","created_at":"2026-05-18T12:28:57Z"},{"alias_kind":"pith_short_8","alias_value":"Y267BTV3","created_at":"2026-05-18T12:28:57Z"}],"graph_snapshots":[{"event_id":"sha256:acbd6819ecfc4cecfe93b317e9e753274b8ff459879cdb88dfede98f1ecb99a0","target":"graph","created_at":"2026-05-18T00:45:16Z","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":"Correctness of SQL queries is usually tested by executing the queries on one or more datasets. Erroneous queries are often the results of small changes, or mutations of the correct query. A mutation Q' of a query Q is killed by a dataset D if Q(D) $\\neq$ Q'(D). Earlier work on the XData system showed how to generate datasets that kill all mutations in a class of mutations that included join type and comparison operation mutations.\n  In this paper, we extend the XData data generation techniques to handle a wider variety of SQL queries and a much larger class of mutations. We have also built a s","authors_text":"Bhupesh Chawda, Bikash Chandra, Biplab Kar, K. V. Maheshwara Reddy, Shetal Shah, S. Sudarshan","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-25T02:06:02Z","title":"Data Generation for Testing and Grading SQL Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.6704","kind":"arxiv","version":5},"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:9e11f50257a94b1de544673ba3251a81a6715d84aeec5c3527f25011d936f4d3","target":"record","created_at":"2026-05-18T00:45:16Z","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":"1b063d355262556cb41f6d94857498ebbfdcefa79c4ae53f053371499ef39d57","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-25T02:06:02Z","title_canon_sha256":"d0d6308b4f86c78f30a3c36fdc14c00fb4d81e13731b5f640787217152e6fadf"},"schema_version":"1.0","source":{"id":"1411.6704","kind":"arxiv","version":5}},"canonical_sha256":"c6bdf0cebb771188e00642434937e591c7e66c72ea4eb662ff1f2d53797828c1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c6bdf0cebb771188e00642434937e591c7e66c72ea4eb662ff1f2d53797828c1","first_computed_at":"2026-05-18T00:45:16.614758Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:45:16.614758Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"7aTAnOJ8bQR3zZt+/CrctX1bEqZo6f213m1m16ikKjMeoWX/Wjue7qbcvGRysHzfnatNZVmHHDLlZmlVYAdoDg==","signature_status":"signed_v1","signed_at":"2026-05-18T00:45:16.615349Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.6704","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9e11f50257a94b1de544673ba3251a81a6715d84aeec5c3527f25011d936f4d3","sha256:acbd6819ecfc4cecfe93b317e9e753274b8ff459879cdb88dfede98f1ecb99a0"],"state_sha256":"172369981873de2ed27ad7516998ba264ff8183c07cc6d02c7092962886591d5"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1bINO7ZKmIyu1EdMI2lfrdCgVsOI//cABL2TsgW73kgvH//CdxsqXH/ErhFOP39ro1E6X/j+srZFyhe1uhgIAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T21:07:30.352818Z","bundle_sha256":"20c1f3730e58358c22d5eae87e10fdef721332543c8b282089ed0b4bedc19fa2"}}