{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2018:TL676EJ2ABAS7BVJUCNYWHEUFK","short_pith_number":"pith:TL676EJ2","schema_version":"1.0","canonical_sha256":"9afdff113a00412f86a9a09b8b1c942a865f3ae6e15fe67ee497faf48b6d7c9d","source":{"kind":"arxiv","id":"1812.09987","version":8},"attestation_state":"computed","paper":{"title":"Integrity Constraints Revisited: From Exact to Approximate Implication","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Batya Kenig, Dan Suciu","submitted_at":"2018-12-24T21:43:04Z","abstract_excerpt":"Integrity constraints such as functional dependencies (FD) and multi-valued dependencies (MVD) are fundamental in database schema design. Likewise, probabilistic conditional independences (CI) are crucial for reasoning about multivariate probability distributions. The implication problem studies whether a set of constraints (antecedents) implies another constraint (consequent), and has been investigated in both the database and the AI literature, under the assumption that all constraints hold exactly. However, many applications today consider constraints that hold only approximately. In this p"},"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":"1812.09987","kind":"arxiv","version":8},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.DB","submitted_at":"2018-12-24T21:43:04Z","cross_cats_sorted":[],"title_canon_sha256":"b09ed31d29f6d7845a2daaa1c1922160c0ab38c9f18768298e6d47061ba61487","abstract_canon_sha256":"822a844ca2e40796aa6b04c0c742c933cf2232fb74a91b1ec4440a3c8e86c929"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T06:23:25.926353Z","signature_b64":"CtSpvQ+m8hT3y/noOZDp2GQnpn0Zl+4Ou9WLyHSdSRrW4Q3qiKDvRGBBTnXfgcT6K4Q8TVlvYbYJ2Aq2dcZTBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9afdff113a00412f86a9a09b8b1c942a865f3ae6e15fe67ee497faf48b6d7c9d","last_reissued_at":"2026-07-05T06:23:25.925822Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T06:23:25.925822Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Integrity Constraints Revisited: From Exact to Approximate Implication","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Batya Kenig, Dan Suciu","submitted_at":"2018-12-24T21:43:04Z","abstract_excerpt":"Integrity constraints such as functional dependencies (FD) and multi-valued dependencies (MVD) are fundamental in database schema design. Likewise, probabilistic conditional independences (CI) are crucial for reasoning about multivariate probability distributions. The implication problem studies whether a set of constraints (antecedents) implies another constraint (consequent), and has been investigated in both the database and the AI literature, under the assumption that all constraints hold exactly. However, many applications today consider constraints that hold only approximately. In this p"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1812.09987","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/1812.09987/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":"1812.09987","created_at":"2026-07-05T06:23:25.925877+00:00"},{"alias_kind":"arxiv_version","alias_value":"1812.09987v8","created_at":"2026-07-05T06:23:25.925877+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1812.09987","created_at":"2026-07-05T06:23:25.925877+00:00"},{"alias_kind":"pith_short_12","alias_value":"TL676EJ2ABAS","created_at":"2026-07-05T06:23:25.925877+00:00"},{"alias_kind":"pith_short_16","alias_value":"TL676EJ2ABAS7BVJ","created_at":"2026-07-05T06:23:25.925877+00:00"},{"alias_kind":"pith_short_8","alias_value":"TL676EJ2","created_at":"2026-07-05T06:23:25.925877+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/TL676EJ2ABAS7BVJUCNYWHEUFK","json":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK.json","graph_json":"https://pith.science/api/pith-number/TL676EJ2ABAS7BVJUCNYWHEUFK/graph.json","events_json":"https://pith.science/api/pith-number/TL676EJ2ABAS7BVJUCNYWHEUFK/events.json","paper":"https://pith.science/paper/TL676EJ2"},"agent_actions":{"view_html":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK","download_json":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK.json","view_paper":"https://pith.science/paper/TL676EJ2","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1812.09987&json=true","fetch_graph":"https://pith.science/api/pith-number/TL676EJ2ABAS7BVJUCNYWHEUFK/graph.json","fetch_events":"https://pith.science/api/pith-number/TL676EJ2ABAS7BVJUCNYWHEUFK/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK/action/timestamp_anchor","attest_storage":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK/action/storage_attestation","attest_author":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK/action/author_attestation","sign_citation":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK/action/citation_signature","submit_replication":"https://pith.science/pith/TL676EJ2ABAS7BVJUCNYWHEUFK/action/replication_record"}},"created_at":"2026-07-05T06:23:25.925877+00:00","updated_at":"2026-07-05T06:23:25.925877+00:00"}