{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2012:FQGR54ERNUCXSICA7NFHV7OJ6X","short_pith_number":"pith:FQGR54ER","canonical_record":{"source":{"id":"1203.0077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-03-01T02:34:00Z","cross_cats_sorted":[],"title_canon_sha256":"c0c04d4028488285ba4860c8e6e6d26333ae820d1d42921b88c50bda7438494a","abstract_canon_sha256":"e9dd98dcadb45d3a3c3b28e93a266238b5519e30dcea48479e231b3621663a89"},"schema_version":"1.0"},"canonical_sha256":"2c0d1ef0916d05792040fb4a7afdc9f5ed8a3e5906641d4c7b8017cf1ebb728b","source":{"kind":"arxiv","id":"1203.0077","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0077","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0077v1","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0077","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"pith_short_12","alias_value":"FQGR54ERNUCX","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FQGR54ERNUCXSICA","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FQGR54ER","created_at":"2026-05-18T12:27:06Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2012:FQGR54ERNUCXSICA7NFHV7OJ6X","target":"record","payload":{"canonical_record":{"source":{"id":"1203.0077","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-03-01T02:34:00Z","cross_cats_sorted":[],"title_canon_sha256":"c0c04d4028488285ba4860c8e6e6d26333ae820d1d42921b88c50bda7438494a","abstract_canon_sha256":"e9dd98dcadb45d3a3c3b28e93a266238b5519e30dcea48479e231b3621663a89"},"schema_version":"1.0"},"canonical_sha256":"2c0d1ef0916d05792040fb4a7afdc9f5ed8a3e5906641d4c7b8017cf1ebb728b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:01:03.278377Z","signature_b64":"oQ1Ge1X6VF3QO9KwgOrN4HAPzqjq21uERYoT+dKJC0n98c/xDmp3MPRQbQqRgpCeCvlm8qr2yySyoWo8WTSBDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"2c0d1ef0916d05792040fb4a7afdc9f5ed8a3e5906641d4c7b8017cf1ebb728b","last_reissued_at":"2026-05-18T04:01:03.277695Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:01:03.277695Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1203.0077","source_version":1,"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-18T04:01:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"39zE4HHe8yV0cq0SYD8PtqtHpxJ/6A0YJ/wLanzriJYpOKncv7HimMshIkA7+41B74PUgcCpjcjfgODeBbjFBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:34:06.003475Z"},"content_sha256":"8442effe38a9bbb6b97d037e70ae2af1db86a81a69f37b62c8c4b8500d0f551e","schema_version":"1.0","event_id":"sha256:8442effe38a9bbb6b97d037e70ae2af1db86a81a69f37b62c8c4b8500d0f551e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2012:FQGR54ERNUCXSICA7NFHV7OJ6X","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Queries with Guarded Negation (full version)","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Balder ten Cate, Martin Otto, Vince Barany","submitted_at":"2012-03-01T02:34:00Z","abstract_excerpt":"A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical algorithms in the case of unions of conjunctive queries, but become difficult or even undecidable when queries are allowed to contain negation. Inspired by recent results in finite model theory, we consider a restricted form of negation, guarded negation. We introduce a fragment of SQL, called GN-SQL, as well as a fragment of Datalog with stratified negation,"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0077","kind":"arxiv","version":1},"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-18T04:01:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lzkbga13jVBwdPxnOfV2fNy9Mh9ycR+2PLXz79kF9T4pF451G7Q9xsD8z3AbIFIzev/sA2LFPAaSec6xI/zoAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-27T16:34:06.004136Z"},"content_sha256":"b308b65bfc95bda2bc4389cf3655448322a7a32ffd2f2379794ec6397fe15fe5","schema_version":"1.0","event_id":"sha256:b308b65bfc95bda2bc4389cf3655448322a7a32ffd2f2379794ec6397fe15fe5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/bundle.json","state_url":"https://pith.science/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/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-27T16:34:06Z","links":{"resolver":"https://pith.science/pith/FQGR54ERNUCXSICA7NFHV7OJ6X","bundle":"https://pith.science/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/bundle.json","state":"https://pith.science/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/state.json","well_known_bundle":"https://pith.science/.well-known/pith/FQGR54ERNUCXSICA7NFHV7OJ6X/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2012:FQGR54ERNUCXSICA7NFHV7OJ6X","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":"e9dd98dcadb45d3a3c3b28e93a266238b5519e30dcea48479e231b3621663a89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-03-01T02:34:00Z","title_canon_sha256":"c0c04d4028488285ba4860c8e6e6d26333ae820d1d42921b88c50bda7438494a"},"schema_version":"1.0","source":{"id":"1203.0077","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1203.0077","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"arxiv_version","alias_value":"1203.0077v1","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1203.0077","created_at":"2026-05-18T04:01:03Z"},{"alias_kind":"pith_short_12","alias_value":"FQGR54ERNUCX","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_16","alias_value":"FQGR54ERNUCXSICA","created_at":"2026-05-18T12:27:06Z"},{"alias_kind":"pith_short_8","alias_value":"FQGR54ER","created_at":"2026-05-18T12:27:06Z"}],"graph_snapshots":[{"event_id":"sha256:b308b65bfc95bda2bc4389cf3655448322a7a32ffd2f2379794ec6397fe15fe5","target":"graph","created_at":"2026-05-18T04:01:03Z","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":"A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical algorithms in the case of unions of conjunctive queries, but become difficult or even undecidable when queries are allowed to contain negation. Inspired by recent results in finite model theory, we consider a restricted form of negation, guarded negation. We introduce a fragment of SQL, called GN-SQL, as well as a fragment of Datalog with stratified negation,","authors_text":"Balder ten Cate, Martin Otto, Vince Barany","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-03-01T02:34:00Z","title":"Queries with Guarded Negation (full version)"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1203.0077","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:8442effe38a9bbb6b97d037e70ae2af1db86a81a69f37b62c8c4b8500d0f551e","target":"record","created_at":"2026-05-18T04:01:03Z","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":"e9dd98dcadb45d3a3c3b28e93a266238b5519e30dcea48479e231b3621663a89","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2012-03-01T02:34:00Z","title_canon_sha256":"c0c04d4028488285ba4860c8e6e6d26333ae820d1d42921b88c50bda7438494a"},"schema_version":"1.0","source":{"id":"1203.0077","kind":"arxiv","version":1}},"canonical_sha256":"2c0d1ef0916d05792040fb4a7afdc9f5ed8a3e5906641d4c7b8017cf1ebb728b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"2c0d1ef0916d05792040fb4a7afdc9f5ed8a3e5906641d4c7b8017cf1ebb728b","first_computed_at":"2026-05-18T04:01:03.277695Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:01:03.277695Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"oQ1Ge1X6VF3QO9KwgOrN4HAPzqjq21uERYoT+dKJC0n98c/xDmp3MPRQbQqRgpCeCvlm8qr2yySyoWo8WTSBDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:01:03.278377Z","signed_message":"canonical_sha256_bytes"},"source_id":"1203.0077","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8442effe38a9bbb6b97d037e70ae2af1db86a81a69f37b62c8c4b8500d0f551e","sha256:b308b65bfc95bda2bc4389cf3655448322a7a32ffd2f2379794ec6397fe15fe5"],"state_sha256":"33abd9ce48ea7a6fd510dd61526f2b08dbb2da4c26c03658bb2248a5d2d4038d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NcXSnrWTwt26V6U9Db1tQ6XYYpO/mMQfusMHOv+EHEg3FwqTWP5U5GZSLDta08EcXPglWrEtwLYEMq4OLh2WDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-27T16:34:06.007440Z","bundle_sha256":"4fbbd5afa1b1996d777d2ab9354213c5fde04b0f19e11b6d1c47992c4fa7c271"}}