{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:IOKH5XBE24AEIU5PZ5CKXFV3FF","short_pith_number":"pith:IOKH5XBE","canonical_record":{"source":{"id":"1411.5196","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-19T12:20:55Z","cross_cats_sorted":[],"title_canon_sha256":"da72dbf1e38c940adf681ba9cc480e07f809223c80b9c95c416fc2190ff10286","abstract_canon_sha256":"3becc5efa551259775359dce6094251bc575440d41b4c86960bd9955c7eb8934"},"schema_version":"1.0"},"canonical_sha256":"43947edc24d7004453afcf44ab96bb295b2c670e083b758bebf9b349774ca02d","source":{"kind":"arxiv","id":"1411.5196","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.5196","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"arxiv_version","alias_value":"1411.5196v1","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.5196","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"pith_short_12","alias_value":"IOKH5XBE24AE","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IOKH5XBE24AEIU5P","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IOKH5XBE","created_at":"2026-05-18T12:28:33Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:IOKH5XBE24AEIU5PZ5CKXFV3FF","target":"record","payload":{"canonical_record":{"source":{"id":"1411.5196","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-19T12:20:55Z","cross_cats_sorted":[],"title_canon_sha256":"da72dbf1e38c940adf681ba9cc480e07f809223c80b9c95c416fc2190ff10286","abstract_canon_sha256":"3becc5efa551259775359dce6094251bc575440d41b4c86960bd9955c7eb8934"},"schema_version":"1.0"},"canonical_sha256":"43947edc24d7004453afcf44ab96bb295b2c670e083b758bebf9b349774ca02d","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:34:44.184984Z","signature_b64":"EWNuUYLE9kA4WVZY++GZ/3E3nn2/ccqjz15KaR5FWGMeyzAYJEXGMIh/Di6ZYJinYjcr5PX+XB2lx2jymEkaCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"43947edc24d7004453afcf44ab96bb295b2c670e083b758bebf9b349774ca02d","last_reissued_at":"2026-05-18T02:34:44.184612Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:34:44.184612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1411.5196","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-18T02:34:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"IbEukzMrmcNqp0ubbE+Q/6dAQsszNZ+cTXbVNftbm2C6wzYU3ye4tcA+mcFVa8d9K5lbkvCENVk8DVoiszIjAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:59:56.547438Z"},"content_sha256":"caa00bd530fa20950c465408bf52bd7dff3323c18c17e4c2926686e66329486d","schema_version":"1.0","event_id":"sha256:caa00bd530fa20950c465408bf52bd7dff3323c18c17e4c2926686e66329486d"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:IOKH5XBE24AEIU5PZ5CKXFV3FF","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Design-theoretic encoding of deterministic hypotheses as constraints and correlations into U-relational databases","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Bernardo Gon\\c{c}alves, Fabio Porto","submitted_at":"2014-11-19T12:20:55Z","abstract_excerpt":"In view of the paradigm shift that makes science ever more data-driven, in this paper we consider deterministic scientific hypotheses as uncertain data. In the form of mathematical equations, hypotheses symmetrically relate aspects of the studied phenomena. For computing predictions, however, deterministic hypotheses are used asymmetrically as functions. We refer to Simon's notion of structural equations in order to extract the (so-called) causal ordering embedded in a hypothesis. Then we encode it into a set of functional dependencies (fd's) that is basic input to a design-theoretic method fo"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.5196","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-18T02:34:44Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"erufygYWJHi6ZQ+3jUbXGlzNmtEKWd/R7vU9BYA/diqv1Y1RtUhOxTfpDEUJmDpFgf3tRHFQahLgs4Xm0L4oBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-11T06:59:56.548178Z"},"content_sha256":"5097e5aaab68394c8ad36e87529bbd86276aa93c173b4897abf130c44c16b680","schema_version":"1.0","event_id":"sha256:5097e5aaab68394c8ad36e87529bbd86276aa93c173b4897abf130c44c16b680"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/bundle.json","state_url":"https://pith.science/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/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-11T06:59:56Z","links":{"resolver":"https://pith.science/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF","bundle":"https://pith.science/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/bundle.json","state":"https://pith.science/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IOKH5XBE24AEIU5PZ5CKXFV3FF/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:IOKH5XBE24AEIU5PZ5CKXFV3FF","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":"3becc5efa551259775359dce6094251bc575440d41b4c86960bd9955c7eb8934","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-19T12:20:55Z","title_canon_sha256":"da72dbf1e38c940adf681ba9cc480e07f809223c80b9c95c416fc2190ff10286"},"schema_version":"1.0","source":{"id":"1411.5196","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1411.5196","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"arxiv_version","alias_value":"1411.5196v1","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1411.5196","created_at":"2026-05-18T02:34:44Z"},{"alias_kind":"pith_short_12","alias_value":"IOKH5XBE24AE","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IOKH5XBE24AEIU5P","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IOKH5XBE","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:5097e5aaab68394c8ad36e87529bbd86276aa93c173b4897abf130c44c16b680","target":"graph","created_at":"2026-05-18T02:34:44Z","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":"In view of the paradigm shift that makes science ever more data-driven, in this paper we consider deterministic scientific hypotheses as uncertain data. In the form of mathematical equations, hypotheses symmetrically relate aspects of the studied phenomena. For computing predictions, however, deterministic hypotheses are used asymmetrically as functions. We refer to Simon's notion of structural equations in order to extract the (so-called) causal ordering embedded in a hypothesis. Then we encode it into a set of functional dependencies (fd's) that is basic input to a design-theoretic method fo","authors_text":"Bernardo Gon\\c{c}alves, Fabio Porto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-19T12:20:55Z","title":"Design-theoretic encoding of deterministic hypotheses as constraints and correlations into U-relational databases"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1411.5196","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:caa00bd530fa20950c465408bf52bd7dff3323c18c17e4c2926686e66329486d","target":"record","created_at":"2026-05-18T02:34:44Z","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":"3becc5efa551259775359dce6094251bc575440d41b4c86960bd9955c7eb8934","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-11-19T12:20:55Z","title_canon_sha256":"da72dbf1e38c940adf681ba9cc480e07f809223c80b9c95c416fc2190ff10286"},"schema_version":"1.0","source":{"id":"1411.5196","kind":"arxiv","version":1}},"canonical_sha256":"43947edc24d7004453afcf44ab96bb295b2c670e083b758bebf9b349774ca02d","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"43947edc24d7004453afcf44ab96bb295b2c670e083b758bebf9b349774ca02d","first_computed_at":"2026-05-18T02:34:44.184612Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:34:44.184612Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"EWNuUYLE9kA4WVZY++GZ/3E3nn2/ccqjz15KaR5FWGMeyzAYJEXGMIh/Di6ZYJinYjcr5PX+XB2lx2jymEkaCA==","signature_status":"signed_v1","signed_at":"2026-05-18T02:34:44.184984Z","signed_message":"canonical_sha256_bytes"},"source_id":"1411.5196","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:caa00bd530fa20950c465408bf52bd7dff3323c18c17e4c2926686e66329486d","sha256:5097e5aaab68394c8ad36e87529bbd86276aa93c173b4897abf130c44c16b680"],"state_sha256":"ec5485a1f53f7ebc1de090759a1b0d865ac4b19e91a5f8b424d01650cbea2039"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rEshlYNKRzx/PSrC+lVtcWCXwMkfrfpGggTtDaWUXIl630Q6Ar+k4N3jdy8K9MZE0+SOpwKaYJttjW7O2zdlBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-11T06:59:56.552879Z","bundle_sha256":"1d1f88523511f6418e68b134c3064d3e46a39ebac910897d3efb2fc724589bc0"}}