{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:N2LYFDIAU7P6DPPPRPDQNPXS7V","short_pith_number":"pith:N2LYFDIA","schema_version":"1.0","canonical_sha256":"6e97828d00a7dfe1bdef8bc706bef2fd57532df4ac888e9c145e4da8d2218dd4","source":{"kind":"arxiv","id":"1712.03438","version":1},"attestation_state":"computed","paper":{"title":"Assessing Achievability of Queries and Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Jon Doyle, Juan L. Reutter, Rada Chirkova","submitted_at":"2017-12-09T20:57:51Z","abstract_excerpt":"Assessing and improving the quality of data in data-intensive systems are fundamental challenges that have given rise to numerous applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and data migration are nowadays reasonably well understood in isolation, not much attention has been given to the interplay between the tools that address issues in these areas. Our focus is on the problem of determining whether there exist sequences of data-transforming procedures that, when applied to the (untransformed) input data, would yield data satisfying "},"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":"1712.03438","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2017-12-09T20:57:51Z","cross_cats_sorted":[],"title_canon_sha256":"a15ebd0fefdc00c02c2600e693d9d016854e09895f7ad7f5a010a9c6d77842c0","abstract_canon_sha256":"209c3926f9019d77592449ded97a4f4adce0ea7a4ff06e2030de9cbfc75adb6f"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:28:21.236171Z","signature_b64":"IbZ6raxYTq9KUa7dzYDCALGicpg18avEG/HlNpoF/tgtyYiHSV1O1tmUmnpAQ4WXMiIhBdE5llZ+OxGBhbvlAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"6e97828d00a7dfe1bdef8bc706bef2fd57532df4ac888e9c145e4da8d2218dd4","last_reissued_at":"2026-05-18T00:28:21.235327Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:28:21.235327Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Assessing Achievability of Queries and Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Jon Doyle, Juan L. Reutter, Rada Chirkova","submitted_at":"2017-12-09T20:57:51Z","abstract_excerpt":"Assessing and improving the quality of data in data-intensive systems are fundamental challenges that have given rise to numerous applications targeting transformation and cleaning of data. However, while schema design, data cleaning, and data migration are nowadays reasonably well understood in isolation, not much attention has been given to the interplay between the tools that address issues in these areas. Our focus is on the problem of determining whether there exist sequences of data-transforming procedures that, when applied to the (untransformed) input data, would yield data satisfying "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1712.03438","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":"1712.03438","created_at":"2026-05-18T00:28:21.235482+00:00"},{"alias_kind":"arxiv_version","alias_value":"1712.03438v1","created_at":"2026-05-18T00:28:21.235482+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1712.03438","created_at":"2026-05-18T00:28:21.235482+00:00"},{"alias_kind":"pith_short_12","alias_value":"N2LYFDIAU7P6","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_16","alias_value":"N2LYFDIAU7P6DPPP","created_at":"2026-05-18T12:31:31.346846+00:00"},{"alias_kind":"pith_short_8","alias_value":"N2LYFDIA","created_at":"2026-05-18T12:31:31.346846+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/N2LYFDIAU7P6DPPPRPDQNPXS7V","json":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V.json","graph_json":"https://pith.science/api/pith-number/N2LYFDIAU7P6DPPPRPDQNPXS7V/graph.json","events_json":"https://pith.science/api/pith-number/N2LYFDIAU7P6DPPPRPDQNPXS7V/events.json","paper":"https://pith.science/paper/N2LYFDIA"},"agent_actions":{"view_html":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V","download_json":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V.json","view_paper":"https://pith.science/paper/N2LYFDIA","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1712.03438&json=true","fetch_graph":"https://pith.science/api/pith-number/N2LYFDIAU7P6DPPPRPDQNPXS7V/graph.json","fetch_events":"https://pith.science/api/pith-number/N2LYFDIAU7P6DPPPRPDQNPXS7V/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V/action/timestamp_anchor","attest_storage":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V/action/storage_attestation","attest_author":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V/action/author_attestation","sign_citation":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V/action/citation_signature","submit_replication":"https://pith.science/pith/N2LYFDIAU7P6DPPPRPDQNPXS7V/action/replication_record"}},"created_at":"2026-05-18T00:28:21.235482+00:00","updated_at":"2026-05-18T00:28:21.235482+00:00"}