{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:TJRLLAFO7SERSHZWYJMWXISZ46","short_pith_number":"pith:TJRLLAFO","canonical_record":{"source":{"id":"1901.03897","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-01-12T20:51:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b70dabb3b798726db03617df7c034de938b9f1d300c9a4e8d8c108e688d0fb6f","abstract_canon_sha256":"2866df95e762817cb280b2ead94922964c02f9623c3decd59a58bd5b26b869f3"},"schema_version":"1.0"},"canonical_sha256":"9a62b580aefc89191f36c2596ba259e7978572d559b2986a9cf74caed102b11c","source":{"kind":"arxiv","id":"1901.03897","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03897","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03897v2","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03897","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"pith_short_12","alias_value":"TJRLLAFO7SER","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"TJRLLAFO7SERSHZW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"TJRLLAFO","created_at":"2026-05-18T12:33:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:TJRLLAFO7SERSHZWYJMWXISZ46","target":"record","payload":{"canonical_record":{"source":{"id":"1901.03897","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-01-12T20:51:58Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"b70dabb3b798726db03617df7c034de938b9f1d300c9a4e8d8c108e688d0fb6f","abstract_canon_sha256":"2866df95e762817cb280b2ead94922964c02f9623c3decd59a58bd5b26b869f3"},"schema_version":"1.0"},"canonical_sha256":"9a62b580aefc89191f36c2596ba259e7978572d559b2986a9cf74caed102b11c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:41:21.911336Z","signature_b64":"K2Q4FerPulVLHBe13uUiZFC/MScUrRy7XirsDEnRvcy6Oo5Y8p17e+sPPatrLZQFWHiERD+8GaZilnE63/ljBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9a62b580aefc89191f36c2596ba259e7978572d559b2986a9cf74caed102b11c","last_reissued_at":"2026-05-17T23:41:21.910819Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:41:21.910819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1901.03897","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:41:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xTUDbdA/IhBBqjyrrRmluuSyeT+SXexvynzks6I9NOe/IHUKW4ilLzEdKgsMtszjb7RiBK6bG3BI7rqzaBihDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:35:00.431571Z"},"content_sha256":"32934b10eabbf41af410a79cb3d345146ecd1c0fdcc83c1c3ef724b008ffe94e","schema_version":"1.0","event_id":"sha256:32934b10eabbf41af410a79cb3d345146ecd1c0fdcc83c1c3ef724b008ffe94e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:TJRLLAFO7SERSHZWYJMWXISZ46","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"All-Instances Restricted Chase Termination","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Andreas Pieris, Jerzy Marcinkowski, Tomasz Gogacz","submitted_at":"2019-01-12T20:51:58Z","abstract_excerpt":"The chase procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination: for a given set of tuple-generating dependencies (TGDs), is it the case that the chase terminates for every input database? In view of the fact that this problem is undecidable, it is natural to ask whether known well-behaved classes of TGDs ensure decidability. We consider here the main paradigms that led to robust TGD-based formalisms, that is, guardedness and stickiness. Although all-instances termination is well-"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03897","kind":"arxiv","version":2},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-17T23:41:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WX2m6/vV6+AprZWSRLZEN4uIPMjX5fQXhBAbxbhIWOAmcdF2BYQG2e2twcqEKErBuu/UCkBrlfAu/WoF8sfrDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-29T16:35:00.432231Z"},"content_sha256":"5b632390007f86a4fd31a046f61b5bef254c48b07d31d31d3147025d736686df","schema_version":"1.0","event_id":"sha256:5b632390007f86a4fd31a046f61b5bef254c48b07d31d31d3147025d736686df"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TJRLLAFO7SERSHZWYJMWXISZ46/bundle.json","state_url":"https://pith.science/pith/TJRLLAFO7SERSHZWYJMWXISZ46/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TJRLLAFO7SERSHZWYJMWXISZ46/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-05-29T16:35:00Z","links":{"resolver":"https://pith.science/pith/TJRLLAFO7SERSHZWYJMWXISZ46","bundle":"https://pith.science/pith/TJRLLAFO7SERSHZWYJMWXISZ46/bundle.json","state":"https://pith.science/pith/TJRLLAFO7SERSHZWYJMWXISZ46/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TJRLLAFO7SERSHZWYJMWXISZ46/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:TJRLLAFO7SERSHZWYJMWXISZ46","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":"2866df95e762817cb280b2ead94922964c02f9623c3decd59a58bd5b26b869f3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-01-12T20:51:58Z","title_canon_sha256":"b70dabb3b798726db03617df7c034de938b9f1d300c9a4e8d8c108e688d0fb6f"},"schema_version":"1.0","source":{"id":"1901.03897","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1901.03897","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"arxiv_version","alias_value":"1901.03897v2","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1901.03897","created_at":"2026-05-17T23:41:21Z"},{"alias_kind":"pith_short_12","alias_value":"TJRLLAFO7SER","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_16","alias_value":"TJRLLAFO7SERSHZW","created_at":"2026-05-18T12:33:27Z"},{"alias_kind":"pith_short_8","alias_value":"TJRLLAFO","created_at":"2026-05-18T12:33:27Z"}],"graph_snapshots":[{"event_id":"sha256:5b632390007f86a4fd31a046f61b5bef254c48b07d31d31d3147025d736686df","target":"graph","created_at":"2026-05-17T23:41:21Z","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 procedure is a fundamental algorithmic tool in database theory with a variety of applications. A key problem concerning the chase procedure is all-instances termination: for a given set of tuple-generating dependencies (TGDs), is it the case that the chase terminates for every input database? In view of the fact that this problem is undecidable, it is natural to ask whether known well-behaved classes of TGDs ensure decidability. We consider here the main paradigms that led to robust TGD-based formalisms, that is, guardedness and stickiness. Although all-instances termination is well-","authors_text":"Andreas Pieris, Jerzy Marcinkowski, Tomasz Gogacz","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-01-12T20:51:58Z","title":"All-Instances Restricted Chase Termination"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1901.03897","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:32934b10eabbf41af410a79cb3d345146ecd1c0fdcc83c1c3ef724b008ffe94e","target":"record","created_at":"2026-05-17T23:41:21Z","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":"2866df95e762817cb280b2ead94922964c02f9623c3decd59a58bd5b26b869f3","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2019-01-12T20:51:58Z","title_canon_sha256":"b70dabb3b798726db03617df7c034de938b9f1d300c9a4e8d8c108e688d0fb6f"},"schema_version":"1.0","source":{"id":"1901.03897","kind":"arxiv","version":2}},"canonical_sha256":"9a62b580aefc89191f36c2596ba259e7978572d559b2986a9cf74caed102b11c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9a62b580aefc89191f36c2596ba259e7978572d559b2986a9cf74caed102b11c","first_computed_at":"2026-05-17T23:41:21.910819Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:41:21.910819Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"K2Q4FerPulVLHBe13uUiZFC/MScUrRy7XirsDEnRvcy6Oo5Y8p17e+sPPatrLZQFWHiERD+8GaZilnE63/ljBQ==","signature_status":"signed_v1","signed_at":"2026-05-17T23:41:21.911336Z","signed_message":"canonical_sha256_bytes"},"source_id":"1901.03897","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:32934b10eabbf41af410a79cb3d345146ecd1c0fdcc83c1c3ef724b008ffe94e","sha256:5b632390007f86a4fd31a046f61b5bef254c48b07d31d31d3147025d736686df"],"state_sha256":"966c079b2b9a9d68f1c8295c21502efc892ef3de2f4fcb960c232219d555ebdd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"opmGgVFOdl9AbV5ZrdfOwT7Pd+rB2WD286sh8IgVnXY9SO4W4hNYDH5Ta0yRBdAFesGBzDriJtVsLb1SIdmIDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-29T16:35:00.435622Z","bundle_sha256":"c1c397f7c62f2ad9e3aa7f437bf3d042b13c78f88949cdde8664d23eed94b27a"}}