{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:BBO3BTCAE7P4ADQFIHH5RLVBLG","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"91a83476aec4a1264d7f7d39cee1b6735e352d1fb1d6d3efc150ce66dc3c7619","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-13T22:17:47Z","title_canon_sha256":"c8bdaa1a3dddcafdfdbd4445bac40dcbdcd6d73a33777ee693a0c671cae77470"},"schema_version":"1.0","source":{"id":"1212.3357","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1212.3357","created_at":"2026-05-18T03:07:02Z"},{"alias_kind":"arxiv_version","alias_value":"1212.3357v2","created_at":"2026-05-18T03:07:02Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1212.3357","created_at":"2026-05-18T03:07:02Z"},{"alias_kind":"pith_short_12","alias_value":"BBO3BTCAE7P4","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_16","alias_value":"BBO3BTCAE7P4ADQF","created_at":"2026-05-18T12:26:58Z"},{"alias_kind":"pith_short_8","alias_value":"BBO3BTCA","created_at":"2026-05-18T12:26:58Z"}],"graph_snapshots":[{"event_id":"sha256:88e8d9698a38933a47174caea7b0c51e5937cdd8caedf086aa7758c3fd960341","target":"graph","created_at":"2026-05-18T03:07:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The chase algorithm is a fundamental tool for query evaluation and query containment under constraints, where the constraints are (sub-classes of) tuple-generating dependencies (TGDs) and equality generating depencies (EGDs). So far, most of the research on this topic has focused on cases where the chase procedure terminates, with some notable exceptions. In this paper we take a general approach, and we propose large classes of TGDs under which the chase does not always terminate. Our languages, in particular, are inspired by guarded logic: we show that by enforcing syntactic properties on the","authors_text":"Andrea Cali, Georg Gottlob, Michael Kifer","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-13T22:17:47Z","title":"Taming the Infinite Chase: Query Answering under Expressive Integrity Constraints"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1212.3357","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:9f34af1b2def58bff3e76d3938e55fd7b0317d9c69a7ee90cfdd4c92b0f23ebc","target":"record","created_at":"2026-05-18T03:07:02Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"91a83476aec4a1264d7f7d39cee1b6735e352d1fb1d6d3efc150ce66dc3c7619","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2012-12-13T22:17:47Z","title_canon_sha256":"c8bdaa1a3dddcafdfdbd4445bac40dcbdcd6d73a33777ee693a0c671cae77470"},"schema_version":"1.0","source":{"id":"1212.3357","kind":"arxiv","version":2}},"canonical_sha256":"085db0cc4027dfc00e0541cfd8aea1598153feda0f6b72dd19f638c7662058d0","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"085db0cc4027dfc00e0541cfd8aea1598153feda0f6b72dd19f638c7662058d0","first_computed_at":"2026-05-18T03:07:02.065097Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:07:02.065097Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1kYZM2SwwWHSeTGoCJR557UV/dyOB8ZlfDue8YfHS7/tlyBcWKQM5IrazPllzrk8aTHhTe2YFqW9lm4WXl6HBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:07:02.065544Z","signed_message":"canonical_sha256_bytes"},"source_id":"1212.3357","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9f34af1b2def58bff3e76d3938e55fd7b0317d9c69a7ee90cfdd4c92b0f23ebc","sha256:88e8d9698a38933a47174caea7b0c51e5937cdd8caedf086aa7758c3fd960341"],"state_sha256":"66163e61c22549e8040c879ca09bdd3f757dd8f005fdeceeab1b7338020798a4"}