{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:4YHORJ5O6RATORF7YHIK2PV674","short_pith_number":"pith:4YHORJ5O","canonical_record":{"source":{"id":"1506.03625","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-06-11T11:06:58Z","cross_cats_sorted":[],"title_canon_sha256":"28fcff50522d2566ecee257ca4a4b5e3589658100899ef017349bcb07b70dfaa","abstract_canon_sha256":"0595bbe18d4b02f25b07d6ea682613ebbffd224885633f45c7c6eb0a7af0255d"},"schema_version":"1.0"},"canonical_sha256":"e60ee8a7aef4413744bfc1d0ad3ebeff3f7688dadaeb6b0ddb24b98f5220107f","source":{"kind":"arxiv","id":"1506.03625","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03625","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03625v1","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03625","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"4YHORJ5O6RAT","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4YHORJ5O6RATORF7","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4YHORJ5O","created_at":"2026-05-18T12:29:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:4YHORJ5O6RATORF7YHIK2PV674","target":"record","payload":{"canonical_record":{"source":{"id":"1506.03625","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-06-11T11:06:58Z","cross_cats_sorted":[],"title_canon_sha256":"28fcff50522d2566ecee257ca4a4b5e3589658100899ef017349bcb07b70dfaa","abstract_canon_sha256":"0595bbe18d4b02f25b07d6ea682613ebbffd224885633f45c7c6eb0a7af0255d"},"schema_version":"1.0"},"canonical_sha256":"e60ee8a7aef4413744bfc1d0ad3ebeff3f7688dadaeb6b0ddb24b98f5220107f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:53:03.637661Z","signature_b64":"U1dhGoYMt7FjPFpWtxcfgaHCUMkTgN5DK6bEq/JafCshRd7KLfLKyz7QIrMS7JBrcmRlktaSxGEiemJVELF0DA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e60ee8a7aef4413744bfc1d0ad3ebeff3f7688dadaeb6b0ddb24b98f5220107f","last_reissued_at":"2026-05-18T01:53:03.637171Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:53:03.637171Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.03625","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:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"g/3CiPva6aV1YosvuTZhH7T5MUzhWfE/JaaQ5mMBr+q6xDqYtGNvRS9KKCTiXNrOnS/EXvqa0d30jSMyC8Z0Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T06:07:47.075156Z"},"content_sha256":"7d1826b1cc4471cc2b43137b5e653a6204147f01af5b6aa66f59751d2bf58bac","schema_version":"1.0","event_id":"sha256:7d1826b1cc4471cc2b43137b5e653a6204147f01af5b6aa66f59751d2bf58bac"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:4YHORJ5O6RATORF7YHIK2PV674","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Lossless Selection Views under Conditional Domain Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Enrico Franconi, Ingo Feinerer, Paolo Guagliardo","submitted_at":"2015-06-11T11:06:58Z","abstract_excerpt":"A set of views defined by selection queries splits a database relation into sub-relations, each containing a subset of the original rows. This decomposition into horizontal fragments is lossless when the initial relation can be reconstructed from the fragments by union. In this paper, we consider horizontal decomposition in a setting where some of the attributes in the database schema are interpreted over a specific domain, on which a set of special predicates and functions is defined.\n  We study losslessness in the presence of integrity constraints on the database schema. We consider the clas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03625","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:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RVB/qfP0piAai1K2fac0960vBNh0E8a+TuIKyuPSmLn9VBzBxkipEXcYnQfJQKsBYq50VpE01sLExDeYaEfnDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T06:07:47.075522Z"},"content_sha256":"fab29bade52c087fb73c484e6bdc3e97243cbd910c0a5b0183bd1bf3bd58d4c4","schema_version":"1.0","event_id":"sha256:fab29bade52c087fb73c484e6bdc3e97243cbd910c0a5b0183bd1bf3bd58d4c4"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/4YHORJ5O6RATORF7YHIK2PV674/bundle.json","state_url":"https://pith.science/pith/4YHORJ5O6RATORF7YHIK2PV674/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/4YHORJ5O6RATORF7YHIK2PV674/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-20T06:07:47Z","links":{"resolver":"https://pith.science/pith/4YHORJ5O6RATORF7YHIK2PV674","bundle":"https://pith.science/pith/4YHORJ5O6RATORF7YHIK2PV674/bundle.json","state":"https://pith.science/pith/4YHORJ5O6RATORF7YHIK2PV674/state.json","well_known_bundle":"https://pith.science/.well-known/pith/4YHORJ5O6RATORF7YHIK2PV674/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:4YHORJ5O6RATORF7YHIK2PV674","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":"0595bbe18d4b02f25b07d6ea682613ebbffd224885633f45c7c6eb0a7af0255d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-06-11T11:06:58Z","title_canon_sha256":"28fcff50522d2566ecee257ca4a4b5e3589658100899ef017349bcb07b70dfaa"},"schema_version":"1.0","source":{"id":"1506.03625","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.03625","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"1506.03625v1","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.03625","created_at":"2026-05-18T01:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"4YHORJ5O6RAT","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_16","alias_value":"4YHORJ5O6RATORF7","created_at":"2026-05-18T12:29:05Z"},{"alias_kind":"pith_short_8","alias_value":"4YHORJ5O","created_at":"2026-05-18T12:29:05Z"}],"graph_snapshots":[{"event_id":"sha256:fab29bade52c087fb73c484e6bdc3e97243cbd910c0a5b0183bd1bf3bd58d4c4","target":"graph","created_at":"2026-05-18T01:53:03Z","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":"A set of views defined by selection queries splits a database relation into sub-relations, each containing a subset of the original rows. This decomposition into horizontal fragments is lossless when the initial relation can be reconstructed from the fragments by union. In this paper, we consider horizontal decomposition in a setting where some of the attributes in the database schema are interpreted over a specific domain, on which a set of special predicates and functions is defined.\n  We study losslessness in the presence of integrity constraints on the database schema. We consider the clas","authors_text":"Enrico Franconi, Ingo Feinerer, Paolo Guagliardo","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-06-11T11:06:58Z","title":"Lossless Selection Views under Conditional Domain Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.03625","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:7d1826b1cc4471cc2b43137b5e653a6204147f01af5b6aa66f59751d2bf58bac","target":"record","created_at":"2026-05-18T01:53:03Z","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":"0595bbe18d4b02f25b07d6ea682613ebbffd224885633f45c7c6eb0a7af0255d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-06-11T11:06:58Z","title_canon_sha256":"28fcff50522d2566ecee257ca4a4b5e3589658100899ef017349bcb07b70dfaa"},"schema_version":"1.0","source":{"id":"1506.03625","kind":"arxiv","version":1}},"canonical_sha256":"e60ee8a7aef4413744bfc1d0ad3ebeff3f7688dadaeb6b0ddb24b98f5220107f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e60ee8a7aef4413744bfc1d0ad3ebeff3f7688dadaeb6b0ddb24b98f5220107f","first_computed_at":"2026-05-18T01:53:03.637171Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:53:03.637171Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"U1dhGoYMt7FjPFpWtxcfgaHCUMkTgN5DK6bEq/JafCshRd7KLfLKyz7QIrMS7JBrcmRlktaSxGEiemJVELF0DA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:53:03.637661Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.03625","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:7d1826b1cc4471cc2b43137b5e653a6204147f01af5b6aa66f59751d2bf58bac","sha256:fab29bade52c087fb73c484e6bdc3e97243cbd910c0a5b0183bd1bf3bd58d4c4"],"state_sha256":"bd8d26686121d91bb1bda46aa245d14c70f4797afe5519ab6b2088e50f5857d3"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"P6sfIbdhjIGccqgELH2zQBT0h/3wvQQwlAFgd2EACGiweaGasqxCKtttPHfYCqwqY4NKJCGkL/fzG4XWC0EQAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T06:07:47.077394Z","bundle_sha256":"5f51e3b5d6fb4b6b0c32c148662a296a74f07f141aba324a5863f0d1794b9f1a"}}