{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2015:ZRLMROTTA7VINTFPDRJU3NZFKT","short_pith_number":"pith:ZRLMROTT","schema_version":"1.0","canonical_sha256":"cc56c8ba7307ea86ccaf1c534db72554c12580e3257bbe20516354c0dea7d6b2","source":{"kind":"arxiv","id":"1503.03571","version":8},"attestation_state":"computed","paper":{"title":"Algebraic Data Integration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Patrick Schultz, Ryan Wisnesky","submitted_at":"2015-03-12T03:10:25Z","abstract_excerpt":"In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted equational) theories of a certain form. Schemas denote categories, and instances denote their initial (term) algebras. The instances on a schema S form a category, S-Inst, and a morphism of schemas F : S -> T induces three adjoint data migration functors: Sigma_F : S-Inst -> T-Inst, defined by substitution along F, which has a right adjoint Delta_F : T-Inst -> S-"},"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":"1503.03571","kind":"arxiv","version":8},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-03-12T03:10:25Z","cross_cats_sorted":[],"title_canon_sha256":"956782a7470455200d519f54638bfc7e3a578c35e06503a8708dd2a8df8fd229","abstract_canon_sha256":"a306587cfd313ca3ec10d0e2605dfbe4e16f24c4721b6ec94ea6715956c8f53e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T10:40:31.360327Z","signature_b64":"eWivZVIhYnA7gtIsPcOmZ1jUj1qAXDGMasYsqDxd8O6Dz0zVhBmU5QLEIEZ7ZUjWZwiNZF3de5GyM5TDxOeRBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"cc56c8ba7307ea86ccaf1c534db72554c12580e3257bbe20516354c0dea7d6b2","last_reissued_at":"2026-07-05T10:40:31.359886Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T10:40:31.359886Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Algebraic Data Integration","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Patrick Schultz, Ryan Wisnesky","submitted_at":"2015-03-12T03:10:25Z","abstract_excerpt":"In this paper we develop an algebraic approach to data integration by combining techniques from functional programming, category theory, and database theory. In our formalism, database schemas and instances are algebraic (multi-sorted equational) theories of a certain form. Schemas denote categories, and instances denote their initial (term) algebras. The instances on a schema S form a category, S-Inst, and a morphism of schemas F : S -> T induces three adjoint data migration functors: Sigma_F : S-Inst -> T-Inst, defined by substitution along F, which has a right adjoint Delta_F : T-Inst -> S-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1503.03571","kind":"arxiv","version":8},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/1503.03571/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"1503.03571","created_at":"2026-07-05T10:40:31.359940+00:00"},{"alias_kind":"arxiv_version","alias_value":"1503.03571v8","created_at":"2026-07-05T10:40:31.359940+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1503.03571","created_at":"2026-07-05T10:40:31.359940+00:00"},{"alias_kind":"pith_short_12","alias_value":"ZRLMROTTA7VI","created_at":"2026-07-05T10:40:31.359940+00:00"},{"alias_kind":"pith_short_16","alias_value":"ZRLMROTTA7VINTFP","created_at":"2026-07-05T10:40:31.359940+00:00"},{"alias_kind":"pith_short_8","alias_value":"ZRLMROTT","created_at":"2026-07-05T10:40:31.359940+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/ZRLMROTTA7VINTFPDRJU3NZFKT","json":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT.json","graph_json":"https://pith.science/api/pith-number/ZRLMROTTA7VINTFPDRJU3NZFKT/graph.json","events_json":"https://pith.science/api/pith-number/ZRLMROTTA7VINTFPDRJU3NZFKT/events.json","paper":"https://pith.science/paper/ZRLMROTT"},"agent_actions":{"view_html":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT","download_json":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT.json","view_paper":"https://pith.science/paper/ZRLMROTT","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1503.03571&json=true","fetch_graph":"https://pith.science/api/pith-number/ZRLMROTTA7VINTFPDRJU3NZFKT/graph.json","fetch_events":"https://pith.science/api/pith-number/ZRLMROTTA7VINTFPDRJU3NZFKT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT/action/storage_attestation","attest_author":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT/action/author_attestation","sign_citation":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT/action/citation_signature","submit_replication":"https://pith.science/pith/ZRLMROTTA7VINTFPDRJU3NZFKT/action/replication_record"}},"created_at":"2026-07-05T10:40:31.359940+00:00","updated_at":"2026-07-05T10:40:31.359940+00:00"}