{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:SJKOGEGDJEC5VJ5UY5QRZUHDQW","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":"e447bd2dc64810e6aa9312e64b5c3fc6688289c3d18536316b405b17c566fdd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T20:45:20Z","title_canon_sha256":"391db98505abf22f5d791e27018ddf9f8415b73b912038f439d9b009d7380c46"},"schema_version":"1.0","source":{"id":"2005.05423","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.05423","created_at":"2026-07-05T01:02:20Z"},{"alias_kind":"arxiv_version","alias_value":"2005.05423v1","created_at":"2026-07-05T01:02:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.05423","created_at":"2026-07-05T01:02:20Z"},{"alias_kind":"pith_short_12","alias_value":"SJKOGEGDJEC5","created_at":"2026-07-05T01:02:20Z"},{"alias_kind":"pith_short_16","alias_value":"SJKOGEGDJEC5VJ5U","created_at":"2026-07-05T01:02:20Z"},{"alias_kind":"pith_short_8","alias_value":"SJKOGEGD","created_at":"2026-07-05T01:02:20Z"}],"graph_snapshots":[{"event_id":"sha256:6f8fca837bd001cc943bbab7d4e58c08318e79d2863c848579e325e19f497394","target":"graph","created_at":"2026-07-05T01:02:20Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2005.05423/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"The chase procedure for existential rules is an indispensable tool for several database applications, where its termination guarantees the decidability of these tasks. Most previous studies have focused on the skolem chase variant and its termination analysis. It is known that the restricted chase variant is a more powerful tool in termination analysis provided a database is given. But all-instance termination presents a challenge since the critical database and similar techniques do not work. In this paper, we develop a novel technique to characterize the activeness of all possible cycles of ","authors_text":"Arash Karimi, Heng Zhang, Jia-Huai You","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T20:45:20Z","title":"Restricted Chase Termination for Existential Rules: a Hierarchical Approach and Experimentation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.05423","kind":"arxiv","version":1},"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:8d03966957b7f88e628042acffdaf924bb234240ca81c48bfad7dffe4468a5c3","target":"record","created_at":"2026-07-05T01:02:20Z","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":"e447bd2dc64810e6aa9312e64b5c3fc6688289c3d18536316b405b17c566fdd0","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2020-05-11T20:45:20Z","title_canon_sha256":"391db98505abf22f5d791e27018ddf9f8415b73b912038f439d9b009d7380c46"},"schema_version":"1.0","source":{"id":"2005.05423","kind":"arxiv","version":1}},"canonical_sha256":"9254e310c34905daa7b4c7611cd0e385803c1c6994ac35069bd13bf3d1d31cb4","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9254e310c34905daa7b4c7611cd0e385803c1c6994ac35069bd13bf3d1d31cb4","first_computed_at":"2026-07-05T01:02:20.350501Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T01:02:20.350501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ZmNeNqXbdlhb/s+RbHjjoKiEhkzXPQTXhA02oD8q4j5TjdRd7TvAmLVoS9w6xI7He8RkSPtfB+aBqgoZiG8TCQ==","signature_status":"signed_v1","signed_at":"2026-07-05T01:02:20.350979Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.05423","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8d03966957b7f88e628042acffdaf924bb234240ca81c48bfad7dffe4468a5c3","sha256:6f8fca837bd001cc943bbab7d4e58c08318e79d2863c848579e325e19f497394"],"state_sha256":"beb98fe506360c0928a1284b5158fe869662342ffa04b7e3f7613dc4511451d8"}