{"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"}