{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2008:YP7YG5HI4DY4LTXWLXKAZFOSSL","short_pith_number":"pith:YP7YG5HI","canonical_record":{"source":{"id":"0809.2386","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2008-09-14T10:01:27Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d63020b0b6f3a1fa6436954c211c60973d9d137673954a28f7fa7f44694792ed","abstract_canon_sha256":"41d2ed28931e28f6773c5bf1c7a367e8b6dcdfef9725b517e99a438e6765f06b"},"schema_version":"1.0"},"canonical_sha256":"c3ff8374e8e0f1c5cef65dd40c95d292ccca3d5f7bbe9237ce40414fcc0c1c8f","source":{"kind":"arxiv","id":"0809.2386","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2386","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2386v3","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2386","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"pith_short_12","alias_value":"YP7YG5HI4DY4","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"YP7YG5HI4DY4LTXW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"YP7YG5HI","created_at":"2026-05-18T12:25:58Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2008:YP7YG5HI4DY4LTXWLXKAZFOSSL","target":"record","payload":{"canonical_record":{"source":{"id":"0809.2386","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2008-09-14T10:01:27Z","cross_cats_sorted":["cs.CC"],"title_canon_sha256":"d63020b0b6f3a1fa6436954c211c60973d9d137673954a28f7fa7f44694792ed","abstract_canon_sha256":"41d2ed28931e28f6773c5bf1c7a367e8b6dcdfef9725b517e99a438e6765f06b"},"schema_version":"1.0"},"canonical_sha256":"c3ff8374e8e0f1c5cef65dd40c95d292ccca3d5f7bbe9237ce40414fcc0c1c8f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:57:53.905972Z","signature_b64":"9Vjd7GpWib+aDQ0005O5eGm5Mv5JqeBKGZ2Fmye/7/4gdZFcgrFNTqYvD+UJBqwjHa/GI9+Gi9IsxUohnCc3AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"c3ff8374e8e0f1c5cef65dd40c95d292ccca3d5f7bbe9237ce40414fcc0c1c8f","last_reissued_at":"2026-05-18T03:57:53.905337Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:57:53.905337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"0809.2386","source_version":3,"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-18T03:57:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EFrBFSsDC56IukXJiLewl/XmWr5rx8wqI4S3fxmIeSJi/yreomwNvMMkEOr3EKEulMvZ/APHH4S28xAcQqoJCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:56:09.141648Z"},"content_sha256":"876a8882ad0791b17e9d3bc676ab8f25377dcad774954e0c43c719ef261e81ab","schema_version":"1.0","event_id":"sha256:876a8882ad0791b17e9d3bc676ab8f25377dcad774954e0c43c719ef261e81ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2008:YP7YG5HI4DY4LTXWLXKAZFOSSL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Datalog and Constraint Satisfaction with Infinite Templates","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","headline":"","cross_cats":["cs.CC"],"primary_cat":"cs.LO","authors_text":"Manuel Bodirsky, Victor Dalmau","submitted_at":"2008-09-14T10:01:27Z","abstract_excerpt":"On finite structures, there is a well-known connection between the expressive power of Datalog, finite variable logics, the existential pebble game, and bounded hypertree duality. We study this connection for infinite structures. This has applications for constraint satisfaction with infinite templates. If the template Gamma is omega-categorical, we present various equivalent characterizations of those Gamma such that the constraint satisfaction problem (CSP) for Gamma can be solved by a Datalog program. We also show that CSP(Gamma) can be solved in polynomial time for arbitrary omega-categori"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2386","kind":"arxiv","version":3},"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-18T03:57:53Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"62ivIgJBtbeETnHpdJlxhY7B6sX2Jf29tAWkKa6DcZpt3XIi1I7C8YU7Q/VX+D18umFKtDy3jeAwWvTQox4JBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-26T21:56:09.142115Z"},"content_sha256":"a664b300b018e745945af617a31620197f5d516fc54d25eca576996126e94106","schema_version":"1.0","event_id":"sha256:a664b300b018e745945af617a31620197f5d516fc54d25eca576996126e94106"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/bundle.json","state_url":"https://pith.science/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/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-26T21:56:09Z","links":{"resolver":"https://pith.science/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL","bundle":"https://pith.science/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/bundle.json","state":"https://pith.science/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/YP7YG5HI4DY4LTXWLXKAZFOSSL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2008:YP7YG5HI4DY4LTXWLXKAZFOSSL","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":"41d2ed28931e28f6773c5bf1c7a367e8b6dcdfef9725b517e99a438e6765f06b","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2008-09-14T10:01:27Z","title_canon_sha256":"d63020b0b6f3a1fa6436954c211c60973d9d137673954a28f7fa7f44694792ed"},"schema_version":"1.0","source":{"id":"0809.2386","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"0809.2386","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"arxiv_version","alias_value":"0809.2386v3","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0809.2386","created_at":"2026-05-18T03:57:53Z"},{"alias_kind":"pith_short_12","alias_value":"YP7YG5HI4DY4","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_16","alias_value":"YP7YG5HI4DY4LTXW","created_at":"2026-05-18T12:25:58Z"},{"alias_kind":"pith_short_8","alias_value":"YP7YG5HI","created_at":"2026-05-18T12:25:58Z"}],"graph_snapshots":[{"event_id":"sha256:a664b300b018e745945af617a31620197f5d516fc54d25eca576996126e94106","target":"graph","created_at":"2026-05-18T03:57:53Z","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":"On finite structures, there is a well-known connection between the expressive power of Datalog, finite variable logics, the existential pebble game, and bounded hypertree duality. We study this connection for infinite structures. This has applications for constraint satisfaction with infinite templates. If the template Gamma is omega-categorical, we present various equivalent characterizations of those Gamma such that the constraint satisfaction problem (CSP) for Gamma can be solved by a Datalog program. We also show that CSP(Gamma) can be solved in polynomial time for arbitrary omega-categori","authors_text":"Manuel Bodirsky, Victor Dalmau","cross_cats":["cs.CC"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2008-09-14T10:01:27Z","title":"Datalog and Constraint Satisfaction with Infinite Templates"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0809.2386","kind":"arxiv","version":3},"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:876a8882ad0791b17e9d3bc676ab8f25377dcad774954e0c43c719ef261e81ab","target":"record","created_at":"2026-05-18T03:57:53Z","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":"41d2ed28931e28f6773c5bf1c7a367e8b6dcdfef9725b517e99a438e6765f06b","cross_cats_sorted":["cs.CC"],"license":"http://creativecommons.org/licenses/by-nc-sa/3.0/","primary_cat":"cs.LO","submitted_at":"2008-09-14T10:01:27Z","title_canon_sha256":"d63020b0b6f3a1fa6436954c211c60973d9d137673954a28f7fa7f44694792ed"},"schema_version":"1.0","source":{"id":"0809.2386","kind":"arxiv","version":3}},"canonical_sha256":"c3ff8374e8e0f1c5cef65dd40c95d292ccca3d5f7bbe9237ce40414fcc0c1c8f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"c3ff8374e8e0f1c5cef65dd40c95d292ccca3d5f7bbe9237ce40414fcc0c1c8f","first_computed_at":"2026-05-18T03:57:53.905337Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:57:53.905337Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"9Vjd7GpWib+aDQ0005O5eGm5Mv5JqeBKGZ2Fmye/7/4gdZFcgrFNTqYvD+UJBqwjHa/GI9+Gi9IsxUohnCc3AA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:57:53.905972Z","signed_message":"canonical_sha256_bytes"},"source_id":"0809.2386","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:876a8882ad0791b17e9d3bc676ab8f25377dcad774954e0c43c719ef261e81ab","sha256:a664b300b018e745945af617a31620197f5d516fc54d25eca576996126e94106"],"state_sha256":"9c8743a19da655af249b6568813d9b13923489ac411b03f6bfd661f86963fe4f"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"v8IP+UnodT9+znnw/JGnuVfhhjgDMdnzS5Bt05CoNguRMEhfthrvauqXrSOKrfyE2iFXFx5Aw/TMnNCHefqqAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-26T21:56:09.145594Z","bundle_sha256":"1215a38f379fb0c23d2980c2a29b758e0054c64462355f5f1479f934fe853758"}}