{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:T6KFS5CCYCGP45I46NXCDOCI4Z","short_pith_number":"pith:T6KFS5CC","canonical_record":{"source":{"id":"1509.00100","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-01T00:15:42Z","cross_cats_sorted":[],"title_canon_sha256":"b9e189e51d79bfab8e86b4f11a0fe5f51b1c511bb98b280fba341d1caf5e480b","abstract_canon_sha256":"6ec9387ba9a74dff2baafc46767f0e7c84c84ba24ade460f8cff67d1e05bc211"},"schema_version":"1.0"},"canonical_sha256":"9f94597442c08cfe751cf36e21b848e67455e53e185069b41233e2875e1d8de1","source":{"kind":"arxiv","id":"1509.00100","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.00100","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"arxiv_version","alias_value":"1509.00100v1","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.00100","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"pith_short_12","alias_value":"T6KFS5CCYCGP","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"T6KFS5CCYCGP45I4","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"T6KFS5CC","created_at":"2026-05-18T12:29:42Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:T6KFS5CCYCGP45I46NXCDOCI4Z","target":"record","payload":{"canonical_record":{"source":{"id":"1509.00100","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-01T00:15:42Z","cross_cats_sorted":[],"title_canon_sha256":"b9e189e51d79bfab8e86b4f11a0fe5f51b1c511bb98b280fba341d1caf5e480b","abstract_canon_sha256":"6ec9387ba9a74dff2baafc46767f0e7c84c84ba24ade460f8cff67d1e05bc211"},"schema_version":"1.0"},"canonical_sha256":"9f94597442c08cfe751cf36e21b848e67455e53e185069b41233e2875e1d8de1","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:34:30.620771Z","signature_b64":"vn5tlvUvBwg8mz35dIxjv3/v4E+QC32uR+tjovCk4qE+A/IqwgObz/pPZ3QmwAADm5EZ5J/5SxU0yzZzDwZ8Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9f94597442c08cfe751cf36e21b848e67455e53e185069b41233e2875e1d8de1","last_reissued_at":"2026-05-18T01:34:30.620285Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:34:30.620285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1509.00100","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-05-18T01:34:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pvlDDf/wlOArLfi32a9vKMUW3yYyNvglAZj3JaicjYM0zTAFCPJO0d5cJVc8r/pTJj4oLUPxVY2Nok5o58o5Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:48:06.710895Z"},"content_sha256":"7fc75d5bffcfff21ee21bf648a2815853a1dd3f104eba5ba5d0a180ca20f99ef","schema_version":"1.0","event_id":"sha256:7fc75d5bffcfff21ee21bf648a2815853a1dd3f104eba5ba5d0a180ca20f99ef"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:T6KFS5CCYCGP45I46NXCDOCI4Z","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Decidability of Equivalence of Aggregate Count-Distinct Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Babak Bagheri Hariri, Val Tannen","submitted_at":"2015-09-01T00:15:42Z","abstract_excerpt":"We address the problem of equivalence of count-distinct aggregate queries, prove that the problem is decidable, and can be decided in the third level of Polynomial hierarchy. We introduce the notion of core for conjunctive queries with comparisons as an extension of the classical notion for relational queries, and prove that the existence of isomorphism among cores of queries is a sufficient and necessary condition for equivalence of conjunctive queries with comparisons similar to the classical relational setting. However, it is not a necessary condition for equivalence of count-distinct queri"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.00100","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":""},"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:34:30Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L7d/yDGlp8EsyZsXC2zYwDIKPUuJwj7TXqlCyC+zBK7KV3vT2/TDp5y08pFqjqEy4QakEWemXboH6Own3PnfDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-02T07:48:06.711236Z"},"content_sha256":"1b1f175f4ff35050df44a8f8da4c522793ea965124bd88cc4363a74c4f33cc70","schema_version":"1.0","event_id":"sha256:1b1f175f4ff35050df44a8f8da4c522793ea965124bd88cc4363a74c4f33cc70"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/bundle.json","state_url":"https://pith.science/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/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-02T07:48:06Z","links":{"resolver":"https://pith.science/pith/T6KFS5CCYCGP45I46NXCDOCI4Z","bundle":"https://pith.science/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/bundle.json","state":"https://pith.science/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/state.json","well_known_bundle":"https://pith.science/.well-known/pith/T6KFS5CCYCGP45I46NXCDOCI4Z/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:T6KFS5CCYCGP45I46NXCDOCI4Z","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":"6ec9387ba9a74dff2baafc46767f0e7c84c84ba24ade460f8cff67d1e05bc211","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-01T00:15:42Z","title_canon_sha256":"b9e189e51d79bfab8e86b4f11a0fe5f51b1c511bb98b280fba341d1caf5e480b"},"schema_version":"1.0","source":{"id":"1509.00100","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1509.00100","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"arxiv_version","alias_value":"1509.00100v1","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1509.00100","created_at":"2026-05-18T01:34:30Z"},{"alias_kind":"pith_short_12","alias_value":"T6KFS5CCYCGP","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_16","alias_value":"T6KFS5CCYCGP45I4","created_at":"2026-05-18T12:29:42Z"},{"alias_kind":"pith_short_8","alias_value":"T6KFS5CC","created_at":"2026-05-18T12:29:42Z"}],"graph_snapshots":[{"event_id":"sha256:1b1f175f4ff35050df44a8f8da4c522793ea965124bd88cc4363a74c4f33cc70","target":"graph","created_at":"2026-05-18T01:34:30Z","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":"We address the problem of equivalence of count-distinct aggregate queries, prove that the problem is decidable, and can be decided in the third level of Polynomial hierarchy. We introduce the notion of core for conjunctive queries with comparisons as an extension of the classical notion for relational queries, and prove that the existence of isomorphism among cores of queries is a sufficient and necessary condition for equivalence of conjunctive queries with comparisons similar to the classical relational setting. However, it is not a necessary condition for equivalence of count-distinct queri","authors_text":"Babak Bagheri Hariri, Val Tannen","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-01T00:15:42Z","title":"Decidability of Equivalence of Aggregate Count-Distinct Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1509.00100","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:7fc75d5bffcfff21ee21bf648a2815853a1dd3f104eba5ba5d0a180ca20f99ef","target":"record","created_at":"2026-05-18T01:34:30Z","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":"6ec9387ba9a74dff2baafc46767f0e7c84c84ba24ade460f8cff67d1e05bc211","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-09-01T00:15:42Z","title_canon_sha256":"b9e189e51d79bfab8e86b4f11a0fe5f51b1c511bb98b280fba341d1caf5e480b"},"schema_version":"1.0","source":{"id":"1509.00100","kind":"arxiv","version":1}},"canonical_sha256":"9f94597442c08cfe751cf36e21b848e67455e53e185069b41233e2875e1d8de1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9f94597442c08cfe751cf36e21b848e67455e53e185069b41233e2875e1d8de1","first_computed_at":"2026-05-18T01:34:30.620285Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:34:30.620285Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"vn5tlvUvBwg8mz35dIxjv3/v4E+QC32uR+tjovCk4qE+A/IqwgObz/pPZ3QmwAADm5EZ5J/5SxU0yzZzDwZ8Bg==","signature_status":"signed_v1","signed_at":"2026-05-18T01:34:30.620771Z","signed_message":"canonical_sha256_bytes"},"source_id":"1509.00100","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7fc75d5bffcfff21ee21bf648a2815853a1dd3f104eba5ba5d0a180ca20f99ef","sha256:1b1f175f4ff35050df44a8f8da4c522793ea965124bd88cc4363a74c4f33cc70"],"state_sha256":"22ab7ab0371959c7a30976d010eb14ba14f428ea0a12c740238c5db0dc7858f3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Jj5O6UZMfa7eA2OlL4+UutwjwUs53Qo1fsF4GHmraKTQTbKkmxJzqP+DcApmi/SuCrp9o6r9ue76/B++8M0xCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-02T07:48:06.713288Z","bundle_sha256":"bfc68d3adce6feda1599bfa39524dd5998cfa4efaa7fa5ae41f048d4e247ab63"}}