{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:TRJ7EMLF2VAAIPMIBY26KND5XY","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":"8e1a55732f794ff51b4095758829c2d5cf16729f129bec28a93411bb60584494","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-04-27T23:17:00Z","title_canon_sha256":"86b415e8a348385dee6493ea9b965cd4e39baeb943366e73b79dbd9f7df5d2d9"},"schema_version":"1.0","source":{"id":"1204.6346","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1204.6346","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"arxiv_version","alias_value":"1204.6346v1","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1204.6346","created_at":"2026-05-18T03:56:45Z"},{"alias_kind":"pith_short_12","alias_value":"TRJ7EMLF2VAA","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_16","alias_value":"TRJ7EMLF2VAAIPMI","created_at":"2026-05-18T12:27:23Z"},{"alias_kind":"pith_short_8","alias_value":"TRJ7EMLF","created_at":"2026-05-18T12:27:23Z"}],"graph_snapshots":[{"event_id":"sha256:06c636338776efdac2310d568fbb8ad3d04ba23ef5aa7d3c8fe437195c11201d","target":"graph","created_at":"2026-05-18T03:56:45Z","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":"In this paper, a new technique for the optimization of (partially) bound queries over disjunctive Datalog programs with stratified negation is presented. The technique exploits the propagation of query bindings and extends the Magic Set (MS) optimization technique.\n  An important feature of disjunctive Datalog is nonmonotonicity, which calls for nondeterministic implementations, such as backtracking search. A distinguishing characteristic of the new method is that the optimization can be exploited also during the nondeterministic phase. In particular, after some assumptions have been made duri","authors_text":"Gianluigi Greco, Mario Alviano, Nicola Leone, Wolfgang Faber","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-04-27T23:17:00Z","title":"Magic Sets for Disjunctive Datalog Programs"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1204.6346","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:c3b638ceb990077522ad5703399ec380152b01b383fe1c8f6696a4f439c8f414","target":"record","created_at":"2026-05-18T03:56:45Z","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":"8e1a55732f794ff51b4095758829c2d5cf16729f129bec28a93411bb60584494","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2012-04-27T23:17:00Z","title_canon_sha256":"86b415e8a348385dee6493ea9b965cd4e39baeb943366e73b79dbd9f7df5d2d9"},"schema_version":"1.0","source":{"id":"1204.6346","kind":"arxiv","version":1}},"canonical_sha256":"9c53f23165d540043d880e35e5347dbe1e9f6c0d35384bf8410ebbd6328c3de1","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9c53f23165d540043d880e35e5347dbe1e9f6c0d35384bf8410ebbd6328c3de1","first_computed_at":"2026-05-18T03:56:45.804193Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:56:45.804193Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"5wEwPjfh0AMz5TVOjk7112F7O+ZTKK2vRhyDy90tOTZ/rrWSSsW7Zpq/sjvbDB8zSCd8j0NnTCFJu8y2YTkFCg==","signature_status":"signed_v1","signed_at":"2026-05-18T03:56:45.804957Z","signed_message":"canonical_sha256_bytes"},"source_id":"1204.6346","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:c3b638ceb990077522ad5703399ec380152b01b383fe1c8f6696a4f439c8f414","sha256:06c636338776efdac2310d568fbb8ad3d04ba23ef5aa7d3c8fe437195c11201d"],"state_sha256":"d84ecb874b0a5b5cc33128e3282b4e3e58496d614b8f58059508ec7c29fba431"}