{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:WEVIGOZDIV2S64IEVA6QZ2A5DV","short_pith_number":"pith:WEVIGOZD","canonical_record":{"source":{"id":"1905.02069","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-05-06T14:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"347d9e43d939f39f02187fb776bd7424ce1419f684c6c3590d9a442cb9eebeea","abstract_canon_sha256":"9940c6e881d3a92b8298ac72e7ccb0dcbcc5ce241ee36a1c0fac01f9bd458ecd"},"schema_version":"1.0"},"canonical_sha256":"b12a833b2345752f7104a83d0ce81d1d5a3c666cd265f6baa5604ebc7edb493b","source":{"kind":"arxiv","id":"1905.02069","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02069","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02069v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02069","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"WEVIGOZDIV2S","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WEVIGOZDIV2S64IE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WEVIGOZD","created_at":"2026-05-18T12:33:30Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:WEVIGOZDIV2S64IEVA6QZ2A5DV","target":"record","payload":{"canonical_record":{"source":{"id":"1905.02069","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-05-06T14:47:33Z","cross_cats_sorted":[],"title_canon_sha256":"347d9e43d939f39f02187fb776bd7424ce1419f684c6c3590d9a442cb9eebeea","abstract_canon_sha256":"9940c6e881d3a92b8298ac72e7ccb0dcbcc5ce241ee36a1c0fac01f9bd458ecd"},"schema_version":"1.0"},"canonical_sha256":"b12a833b2345752f7104a83d0ce81d1d5a3c666cd265f6baa5604ebc7edb493b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:46:56.507837Z","signature_b64":"lmVKKOWA7CLYkx3ZfRSYhyA9DT2VeWDI/kwxJ9bRZeMkXe/xBiQkhSeTpY96cWKHt3Yr4+5XY8HrHjg5aCBVCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b12a833b2345752f7104a83d0ce81d1d5a3c666cd265f6baa5604ebc7edb493b","last_reissued_at":"2026-05-17T23:46:56.507232Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:46:56.507232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1905.02069","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-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"r1pInctmZ0us4htxXiC6O1Vs75B2dbbdKXLUWyw37WZcXxsRpuy9zRQzVQBIlM9WUplt9TQNlKNKeYLrvIS1AA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:41:08.404332Z"},"content_sha256":"ca76fdd73f9c602e5f27f628a4019ac049818664763333f47f422631c9229395","schema_version":"1.0","event_id":"sha256:ca76fdd73f9c602e5f27f628a4019ac049818664763333f47f422631c9229395"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:WEVIGOZDIV2S64IEVA6QZ2A5DV","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Mixing set and bag semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"James Cheney, Wilmer Ricciotti","submitted_at":"2019-05-06T14:47:33Z","abstract_excerpt":"The conservativity theorem for nested relational calculus implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relation, these capabilities do not lead to an increase in expressiveness over flat relational queries. Moreover, Wong showed how such queries can be translated to SQL via a constructive rewriting algorithm. While this result holds for queries over either set or multiset semantics, to the best of our knowledge, the questions of conservativity and normalization have not been studied for queries that mix set and bag collecti"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02069","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-17T23:46:56Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"2/OrWZc0F01iGuivNTkrwTTU/O9hrd+wRPAqWOb1pr6X90GpB4clTqVXKomeodt/L2DgPm6UtwUse/0UGJgrAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T14:41:08.404682Z"},"content_sha256":"4576e0505422ab5df36226c66930bae5ea889e7d8706e13ed5e86c51668f392a","schema_version":"1.0","event_id":"sha256:4576e0505422ab5df36226c66930bae5ea889e7d8706e13ed5e86c51668f392a"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/bundle.json","state_url":"https://pith.science/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/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-05T14:41:08Z","links":{"resolver":"https://pith.science/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV","bundle":"https://pith.science/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/bundle.json","state":"https://pith.science/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WEVIGOZDIV2S64IEVA6QZ2A5DV/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:WEVIGOZDIV2S64IEVA6QZ2A5DV","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":"9940c6e881d3a92b8298ac72e7ccb0dcbcc5ce241ee36a1c0fac01f9bd458ecd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-05-06T14:47:33Z","title_canon_sha256":"347d9e43d939f39f02187fb776bd7424ce1419f684c6c3590d9a442cb9eebeea"},"schema_version":"1.0","source":{"id":"1905.02069","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1905.02069","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"arxiv_version","alias_value":"1905.02069v1","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1905.02069","created_at":"2026-05-17T23:46:56Z"},{"alias_kind":"pith_short_12","alias_value":"WEVIGOZDIV2S","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_16","alias_value":"WEVIGOZDIV2S64IE","created_at":"2026-05-18T12:33:30Z"},{"alias_kind":"pith_short_8","alias_value":"WEVIGOZD","created_at":"2026-05-18T12:33:30Z"}],"graph_snapshots":[{"event_id":"sha256:4576e0505422ab5df36226c66930bae5ea889e7d8706e13ed5e86c51668f392a","target":"graph","created_at":"2026-05-17T23:46:56Z","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":"The conservativity theorem for nested relational calculus implies that query expressions can freely use nesting and unnesting, yet as long as the query result type is a flat relation, these capabilities do not lead to an increase in expressiveness over flat relational queries. Moreover, Wong showed how such queries can be translated to SQL via a constructive rewriting algorithm. While this result holds for queries over either set or multiset semantics, to the best of our knowledge, the questions of conservativity and normalization have not been studied for queries that mix set and bag collecti","authors_text":"James Cheney, Wilmer Ricciotti","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-05-06T14:47:33Z","title":"Mixing set and bag semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1905.02069","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:ca76fdd73f9c602e5f27f628a4019ac049818664763333f47f422631c9229395","target":"record","created_at":"2026-05-17T23:46:56Z","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":"9940c6e881d3a92b8298ac72e7ccb0dcbcc5ce241ee36a1c0fac01f9bd458ecd","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-05-06T14:47:33Z","title_canon_sha256":"347d9e43d939f39f02187fb776bd7424ce1419f684c6c3590d9a442cb9eebeea"},"schema_version":"1.0","source":{"id":"1905.02069","kind":"arxiv","version":1}},"canonical_sha256":"b12a833b2345752f7104a83d0ce81d1d5a3c666cd265f6baa5604ebc7edb493b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b12a833b2345752f7104a83d0ce81d1d5a3c666cd265f6baa5604ebc7edb493b","first_computed_at":"2026-05-17T23:46:56.507232Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:46:56.507232Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"lmVKKOWA7CLYkx3ZfRSYhyA9DT2VeWDI/kwxJ9bRZeMkXe/xBiQkhSeTpY96cWKHt3Yr4+5XY8HrHjg5aCBVCw==","signature_status":"signed_v1","signed_at":"2026-05-17T23:46:56.507837Z","signed_message":"canonical_sha256_bytes"},"source_id":"1905.02069","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ca76fdd73f9c602e5f27f628a4019ac049818664763333f47f422631c9229395","sha256:4576e0505422ab5df36226c66930bae5ea889e7d8706e13ed5e86c51668f392a"],"state_sha256":"ee5c419d1be87b137aacfe68756e1ceddfc85efe54d02a822c783d30fa27d586"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pejnlSihtPYiVJuCcgrKSefpcpdGgDHBMWUObhgE4WwCJBZnkoJVHRNQLZwMsiUxqHTPo/cCbwlbKF8Zyqv+CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T14:41:08.406577Z","bundle_sha256":"20aa4ff00372462aef5e00392e6098385fa6543fa546feb1f6057ea7c387dfa1"}}