{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2013:S2WYAHKDIKSE3GLLGPRFZ2LOII","short_pith_number":"pith:S2WYAHKD","schema_version":"1.0","canonical_sha256":"96ad801d4342a44d996b33e25ce96e423650884954b8a67bfb0dd38d410a4d7d","source":{"kind":"arxiv","id":"1303.3233","version":1},"attestation_state":"computed","paper":{"title":"Consistency Checking and Querying in Probabilistic Databases under Integrity Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Filippo Furfaro, Francesco Parisi, Sergio Flesca","submitted_at":"2013-03-13T17:53:15Z","abstract_excerpt":"We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic databases, which relies on considering a unique interpretation of the data, and address two fundamental problems: consistency checking and query evaluation. The former consists in verifying whether there is an interpretation which conforms to both the marginal probabilities of the tuples and the integrity constraints. The latter is the problem of answering que"},"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":"1303.3233","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2013-03-13T17:53:15Z","cross_cats_sorted":[],"title_canon_sha256":"d525045712678dd2670cb4030d0ce2af690624601fbf92ad31756e568377de38","abstract_canon_sha256":"ab56512a22c735375adf850d4386fd335bc78dec8e50979b0464c96b4c952555"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:30:56.304824Z","signature_b64":"yzYq+L7Ind2vdzj1j1T3ctIE5i65RU2uwhPJFX2Wsdx3jkLsuKriXo8kehYfVkb1da8g9VjCrk567VJ7E8SjBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"96ad801d4342a44d996b33e25ce96e423650884954b8a67bfb0dd38d410a4d7d","last_reissued_at":"2026-05-18T03:30:56.303932Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:30:56.303932Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Consistency Checking and Querying in Probabilistic Databases under Integrity Constraints","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Filippo Furfaro, Francesco Parisi, Sergio Flesca","submitted_at":"2013-03-13T17:53:15Z","abstract_excerpt":"We address the issue of incorporating a particular yet expressive form of integrity constraints (namely, denial constraints) into probabilistic databases. To this aim, we move away from the common way of giving semantics to probabilistic databases, which relies on considering a unique interpretation of the data, and address two fundamental problems: consistency checking and query evaluation. The former consists in verifying whether there is an interpretation which conforms to both the marginal probabilities of the tuples and the integrity constraints. The latter is the problem of answering que"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1303.3233","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":"1303.3233","created_at":"2026-05-18T03:30:56.304084+00:00"},{"alias_kind":"arxiv_version","alias_value":"1303.3233v1","created_at":"2026-05-18T03:30:56.304084+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1303.3233","created_at":"2026-05-18T03:30:56.304084+00:00"},{"alias_kind":"pith_short_12","alias_value":"S2WYAHKDIKSE","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_16","alias_value":"S2WYAHKDIKSE3GLL","created_at":"2026-05-18T12:27:59.945178+00:00"},{"alias_kind":"pith_short_8","alias_value":"S2WYAHKD","created_at":"2026-05-18T12:27:59.945178+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/S2WYAHKDIKSE3GLLGPRFZ2LOII","json":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII.json","graph_json":"https://pith.science/api/pith-number/S2WYAHKDIKSE3GLLGPRFZ2LOII/graph.json","events_json":"https://pith.science/api/pith-number/S2WYAHKDIKSE3GLLGPRFZ2LOII/events.json","paper":"https://pith.science/paper/S2WYAHKD"},"agent_actions":{"view_html":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII","download_json":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII.json","view_paper":"https://pith.science/paper/S2WYAHKD","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1303.3233&json=true","fetch_graph":"https://pith.science/api/pith-number/S2WYAHKDIKSE3GLLGPRFZ2LOII/graph.json","fetch_events":"https://pith.science/api/pith-number/S2WYAHKDIKSE3GLLGPRFZ2LOII/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII/action/timestamp_anchor","attest_storage":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII/action/storage_attestation","attest_author":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII/action/author_attestation","sign_citation":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII/action/citation_signature","submit_replication":"https://pith.science/pith/S2WYAHKDIKSE3GLLGPRFZ2LOII/action/replication_record"}},"created_at":"2026-05-18T03:30:56.304084+00:00","updated_at":"2026-05-18T03:30:56.304084+00:00"}