{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2017:CV4S5DBNTJ5SAG3FDMMK4HG5JC","short_pith_number":"pith:CV4S5DBN","canonical_record":{"source":{"id":"1704.01286","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-05T06:59:15Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"a40df315b2ac31ee01385b55e3039b165df9f8e056f60c83a815f3b4aa7bbfe9","abstract_canon_sha256":"aa78aeb0cfa312868b8cd1e531443352b710cb2f5ba0fa6ce594c85673241f0b"},"schema_version":"1.0"},"canonical_sha256":"15792e8c2d9a7b201b651b18ae1cdd48921822a4aa2833ab3d0bfccf8c21ec6f","source":{"kind":"arxiv","id":"1704.01286","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01286","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01286v1","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01286","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"pith_short_12","alias_value":"CV4S5DBNTJ5S","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CV4S5DBNTJ5SAG3F","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CV4S5DBN","created_at":"2026-05-18T12:31:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2017:CV4S5DBNTJ5SAG3FDMMK4HG5JC","target":"record","payload":{"canonical_record":{"source":{"id":"1704.01286","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-05T06:59:15Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"a40df315b2ac31ee01385b55e3039b165df9f8e056f60c83a815f3b4aa7bbfe9","abstract_canon_sha256":"aa78aeb0cfa312868b8cd1e531443352b710cb2f5ba0fa6ce594c85673241f0b"},"schema_version":"1.0"},"canonical_sha256":"15792e8c2d9a7b201b651b18ae1cdd48921822a4aa2833ab3d0bfccf8c21ec6f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:58.558448Z","signature_b64":"jLPWCq2YSplur4tfqnrv950arsLomvwFLMppCnEtpidLRXPsmYuZwJEFivtuaLJq0PcX5bsBfeYkTyuaMttiBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"15792e8c2d9a7b201b651b18ae1cdd48921822a4aa2833ab3d0bfccf8c21ec6f","last_reissued_at":"2026-05-18T00:46:58.557852Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:58.557852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1704.01286","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-18T00:46:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"alcJM3eOI1G1p8oPL3k6T+0FbUox4mcQL7KreMOWGRYJ7DLvk4S9Njio7f2Jlp5/Mq5avWKm5fgEYaeX356ICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:38:41.672262Z"},"content_sha256":"1e5491293f79d37aa28e90e7a40be72a200537c73e3974ed8c1d033bc8bc75d6","schema_version":"1.0","event_id":"sha256:1e5491293f79d37aa28e90e7a40be72a200537c73e3974ed8c1d033bc8bc75d6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2017:CV4S5DBNTJ5SAG3FDMMK4HG5JC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Conjunctive Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Thomas Schwentick, Thomas Zeume","submitted_at":"2017-04-05T06:59:15Z","abstract_excerpt":"The article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of positive atoms, it studies the impact of additional operators and features - such as union, atomic negation and quantification - on the dynamic expressiveness, for the standard semantics as well as for Delta-semantics.\n  Although many different combinations of these features are possible, they basically yield five important fragments for the sta"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01286","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-18T00:46:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FpioF9FnA8T64OywvdcVT9LBBbVQYKUfrwmj10OXn7SN9WRl0rVO/Pm/ushHtN/0apcQYqk36jmDJ1tEsLw8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T05:38:41.672627Z"},"content_sha256":"5f10297167a6eb067161e2a84d4cc741c17166aaebefbdb5e2107f88dd92a37d","schema_version":"1.0","event_id":"sha256:5f10297167a6eb067161e2a84d4cc741c17166aaebefbdb5e2107f88dd92a37d"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/bundle.json","state_url":"https://pith.science/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/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-06-03T05:38:41Z","links":{"resolver":"https://pith.science/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC","bundle":"https://pith.science/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/bundle.json","state":"https://pith.science/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/CV4S5DBNTJ5SAG3FDMMK4HG5JC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2017:CV4S5DBNTJ5SAG3FDMMK4HG5JC","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":"aa78aeb0cfa312868b8cd1e531443352b710cb2f5ba0fa6ce594c85673241f0b","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-05T06:59:15Z","title_canon_sha256":"a40df315b2ac31ee01385b55e3039b165df9f8e056f60c83a815f3b4aa7bbfe9"},"schema_version":"1.0","source":{"id":"1704.01286","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1704.01286","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"arxiv_version","alias_value":"1704.01286v1","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.01286","created_at":"2026-05-18T00:46:58Z"},{"alias_kind":"pith_short_12","alias_value":"CV4S5DBNTJ5S","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_16","alias_value":"CV4S5DBNTJ5SAG3F","created_at":"2026-05-18T12:31:10Z"},{"alias_kind":"pith_short_8","alias_value":"CV4S5DBN","created_at":"2026-05-18T12:31:10Z"}],"graph_snapshots":[{"event_id":"sha256:5f10297167a6eb067161e2a84d4cc741c17166aaebefbdb5e2107f88dd92a37d","target":"graph","created_at":"2026-05-18T00:46:58Z","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 article investigates classes of queries maintainable by conjunctive queries (CQs) and their extensions and restrictions in the dynamic complexity framework of Patnaik and Immerman. Starting from the basic language of quantifier-free conjunctions of positive atoms, it studies the impact of additional operators and features - such as union, atomic negation and quantification - on the dynamic expressiveness, for the standard semantics as well as for Delta-semantics.\n  Although many different combinations of these features are possible, they basically yield five important fragments for the sta","authors_text":"Thomas Schwentick, Thomas Zeume","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-05T06:59:15Z","title":"Dynamic Conjunctive Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.01286","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:1e5491293f79d37aa28e90e7a40be72a200537c73e3974ed8c1d033bc8bc75d6","target":"record","created_at":"2026-05-18T00:46:58Z","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":"aa78aeb0cfa312868b8cd1e531443352b710cb2f5ba0fa6ce594c85673241f0b","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-05T06:59:15Z","title_canon_sha256":"a40df315b2ac31ee01385b55e3039b165df9f8e056f60c83a815f3b4aa7bbfe9"},"schema_version":"1.0","source":{"id":"1704.01286","kind":"arxiv","version":1}},"canonical_sha256":"15792e8c2d9a7b201b651b18ae1cdd48921822a4aa2833ab3d0bfccf8c21ec6f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"15792e8c2d9a7b201b651b18ae1cdd48921822a4aa2833ab3d0bfccf8c21ec6f","first_computed_at":"2026-05-18T00:46:58.557852Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:46:58.557852Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"jLPWCq2YSplur4tfqnrv950arsLomvwFLMppCnEtpidLRXPsmYuZwJEFivtuaLJq0PcX5bsBfeYkTyuaMttiBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:46:58.558448Z","signed_message":"canonical_sha256_bytes"},"source_id":"1704.01286","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1e5491293f79d37aa28e90e7a40be72a200537c73e3974ed8c1d033bc8bc75d6","sha256:5f10297167a6eb067161e2a84d4cc741c17166aaebefbdb5e2107f88dd92a37d"],"state_sha256":"b8d602af328e38377f7255bec0551672c7db0d08b857d87c87264e7113cd3f46"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"6OSmojYY8M6KxKxNN7wW1sY0iN+Qo+wb7F/bv2l1vcl0IGFulYp01RVoo4xO/QOXWYZJFP45epZq/vXTUlFwBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T05:38:41.674570Z","bundle_sha256":"6c9faed55c1d4f300ca6e749b24127e7d8880055e1441f89bb797e524001ea06"}}