{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:4DDRSXECA6IRH7C67UP3JNOU6D","short_pith_number":"pith:4DDRSXEC","schema_version":"1.0","canonical_sha256":"e0c7195c82079113fc5efd1fb4b5d4f0d2dbebecb9af0c3626729e149a940969","source":{"kind":"arxiv","id":"1404.4468","version":1},"attestation_state":"computed","paper":{"title":"On Independence Atoms and Keys","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Juha Kontinen, Miika Hannula, Sebastian Link","submitted_at":"2014-04-17T10:03:24Z","abstract_excerpt":"Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from data. The applications can be effectively unlocked by providing efficient solutions to the underlying implication problems of keys and independence atoms. Indeed, for the sole class of keys and the sole class of independence atoms the associated finite and general implication problems coincide and enjoy simple axiomatizations. However, the situation changes dr"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1404.4468","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2014-04-17T10:03:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"ac23cc78d9fb1fc1ba04132c78776d00b34cfb5d13b3fac01fa65da4485add97","abstract_canon_sha256":"428e1d60cdd1a7d6be96cf81fffa943b95dc8c58652f103367788a1a3382a80d"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:54:04.279419Z","signature_b64":"rIk93WFY4Itd330nSev03SS6Xmbhkny0iKhHz7KZJGCcGH3AjhEU92YkzpNMneuQwft4XFtsEC7ovJezS4ApAA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e0c7195c82079113fc5efd1fb4b5d4f0d2dbebecb9af0c3626729e149a940969","last_reissued_at":"2026-05-18T02:54:04.278769Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:54:04.278769Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"On Independence Atoms and Keys","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Juha Kontinen, Miika Hannula, Sebastian Link","submitted_at":"2014-04-17T10:03:24Z","abstract_excerpt":"Uniqueness and independence are two fundamental properties of data. Their enforcement in database systems can lead to higher quality data, faster data service response time, better data-driven decision making and knowledge discovery from data. The applications can be effectively unlocked by providing efficient solutions to the underlying implication problems of keys and independence atoms. Indeed, for the sole class of keys and the sole class of independence atoms the associated finite and general implication problems coincide and enjoy simple axiomatizations. However, the situation changes dr"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1404.4468","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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1404.4468","created_at":"2026-05-18T02:54:04.278867+00:00"},{"alias_kind":"arxiv_version","alias_value":"1404.4468v1","created_at":"2026-05-18T02:54:04.278867+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1404.4468","created_at":"2026-05-18T02:54:04.278867+00:00"},{"alias_kind":"pith_short_12","alias_value":"4DDRSXECA6IR","created_at":"2026-05-18T12:28:14.216126+00:00"},{"alias_kind":"pith_short_16","alias_value":"4DDRSXECA6IRH7C6","created_at":"2026-05-18T12:28:14.216126+00:00"},{"alias_kind":"pith_short_8","alias_value":"4DDRSXEC","created_at":"2026-05-18T12:28:14.216126+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D","json":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D.json","graph_json":"https://pith.science/api/pith-number/4DDRSXECA6IRH7C67UP3JNOU6D/graph.json","events_json":"https://pith.science/api/pith-number/4DDRSXECA6IRH7C67UP3JNOU6D/events.json","paper":"https://pith.science/paper/4DDRSXEC"},"agent_actions":{"view_html":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D","download_json":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D.json","view_paper":"https://pith.science/paper/4DDRSXEC","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1404.4468&json=true","fetch_graph":"https://pith.science/api/pith-number/4DDRSXECA6IRH7C67UP3JNOU6D/graph.json","fetch_events":"https://pith.science/api/pith-number/4DDRSXECA6IRH7C67UP3JNOU6D/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D/action/timestamp_anchor","attest_storage":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D/action/storage_attestation","attest_author":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D/action/author_attestation","sign_citation":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D/action/citation_signature","submit_replication":"https://pith.science/pith/4DDRSXECA6IRH7C67UP3JNOU6D/action/replication_record"}},"created_at":"2026-05-18T02:54:04.278867+00:00","updated_at":"2026-05-18T02:54:04.278867+00:00"}