{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:X56DCGWYDGEJYMW7ZMYTVZFPB7","short_pith_number":"pith:X56DCGWY","schema_version":"1.0","canonical_sha256":"bf7c311ad819889c32dfcb313ae4af0fe65ecb23fe8169b6fdc209209c7b85b8","source":{"kind":"arxiv","id":"1507.05964","version":1},"attestation_state":"computed","paper":{"title":"The Budget-Constrained Functional Dependency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jia Tao, Pavel G. Naumov","submitted_at":"2015-07-21T20:00:40Z","abstract_excerpt":"Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong's system for reasoning about budget-constrained functional dependencies in such a setting.\n  The main technical result of this article is the completeness theorem for the proposed logical system. Although the proposed axioms are obtained by just adding cost subscript to the original Armstrong's axioms, the proof of the compl"},"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":"1507.05964","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-07-21T20:00:40Z","cross_cats_sorted":[],"title_canon_sha256":"33effd1f3c79b0cfd47d639bb5b27b6c7e2aee294abdeca7b210e2abe131e195","abstract_canon_sha256":"4ab735535c5596996baa2aa31c0041ec1f327033877197320f4ef2723efc2e4c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:36:27.054193Z","signature_b64":"KmEqeUw7uHlpL5oar9BrtZh/UQk0DC55a23ddrafB9BMUU/v7IvDqG0cQOgpL+UiJ9W7YcGfxNnQw6MK8v7qAg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"bf7c311ad819889c32dfcb313ae4af0fe65ecb23fe8169b6fdc209209c7b85b8","last_reissued_at":"2026-05-18T01:36:27.053594Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:36:27.053594Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The Budget-Constrained Functional Dependency","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Jia Tao, Pavel G. Naumov","submitted_at":"2015-07-21T20:00:40Z","abstract_excerpt":"Armstrong's axioms of functional dependency form a well-known logical system that captures properties of functional dependencies between sets of database attributes. This article assumes that there are costs associated with attributes and proposes an extension of Armstrong's system for reasoning about budget-constrained functional dependencies in such a setting.\n  The main technical result of this article is the completeness theorem for the proposed logical system. Although the proposed axioms are obtained by just adding cost subscript to the original Armstrong's axioms, the proof of the compl"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1507.05964","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":"1507.05964","created_at":"2026-05-18T01:36:27.053689+00:00"},{"alias_kind":"arxiv_version","alias_value":"1507.05964v1","created_at":"2026-05-18T01:36:27.053689+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1507.05964","created_at":"2026-05-18T01:36:27.053689+00:00"},{"alias_kind":"pith_short_12","alias_value":"X56DCGWYDGEJ","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_16","alias_value":"X56DCGWYDGEJYMW7","created_at":"2026-05-18T12:29:47.479230+00:00"},{"alias_kind":"pith_short_8","alias_value":"X56DCGWY","created_at":"2026-05-18T12:29:47.479230+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/X56DCGWYDGEJYMW7ZMYTVZFPB7","json":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7.json","graph_json":"https://pith.science/api/pith-number/X56DCGWYDGEJYMW7ZMYTVZFPB7/graph.json","events_json":"https://pith.science/api/pith-number/X56DCGWYDGEJYMW7ZMYTVZFPB7/events.json","paper":"https://pith.science/paper/X56DCGWY"},"agent_actions":{"view_html":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7","download_json":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7.json","view_paper":"https://pith.science/paper/X56DCGWY","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1507.05964&json=true","fetch_graph":"https://pith.science/api/pith-number/X56DCGWYDGEJYMW7ZMYTVZFPB7/graph.json","fetch_events":"https://pith.science/api/pith-number/X56DCGWYDGEJYMW7ZMYTVZFPB7/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7/action/timestamp_anchor","attest_storage":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7/action/storage_attestation","attest_author":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7/action/author_attestation","sign_citation":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7/action/citation_signature","submit_replication":"https://pith.science/pith/X56DCGWYDGEJYMW7ZMYTVZFPB7/action/replication_record"}},"created_at":"2026-05-18T01:36:27.053689+00:00","updated_at":"2026-05-18T01:36:27.053689+00:00"}