{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:HFL2CIEXWIQHTVGZPW37QYYZJA","short_pith_number":"pith:HFL2CIEX","canonical_record":{"source":{"id":"1512.05511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T09:46:42Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"fdd0d05a8805badce9936a13162a6c92c00f47cba36c083d622e9168f42d7b9e","abstract_canon_sha256":"d268bc5db66cd9f175ac9ccb1ae393285bda96a7521df8bfdd2b7ca100e7d365"},"schema_version":"1.0"},"canonical_sha256":"3957a12097b22079d4d97db7f86319480dcee9929a74139d650ac37768c03099","source":{"kind":"arxiv","id":"1512.05511","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.05511","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"arxiv_version","alias_value":"1512.05511v1","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.05511","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"pith_short_12","alias_value":"HFL2CIEXWIQH","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HFL2CIEXWIQHTVGZ","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HFL2CIEX","created_at":"2026-05-18T12:29:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:HFL2CIEXWIQHTVGZPW37QYYZJA","target":"record","payload":{"canonical_record":{"source":{"id":"1512.05511","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T09:46:42Z","cross_cats_sorted":["cs.DB"],"title_canon_sha256":"fdd0d05a8805badce9936a13162a6c92c00f47cba36c083d622e9168f42d7b9e","abstract_canon_sha256":"d268bc5db66cd9f175ac9ccb1ae393285bda96a7521df8bfdd2b7ca100e7d365"},"schema_version":"1.0"},"canonical_sha256":"3957a12097b22079d4d97db7f86319480dcee9929a74139d650ac37768c03099","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:24:09.902165Z","signature_b64":"38ziijBXhfan2o3fcqx9tS0zKCumlP+9h6X24I/qves8z77e2p4Znv+vLd2jflPb1RZCBxhz7uzUCgRCFOBDDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"3957a12097b22079d4d97db7f86319480dcee9929a74139d650ac37768c03099","last_reissued_at":"2026-05-18T01:24:09.901605Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:24:09.901605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1512.05511","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-18T01:24:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aAwRDclfdKgi+muJncXfli5Pc90N+HAoCKsboA4AlE6Q2BEe+D9mlmkQpWDLV82FBftYJEdOhskl3oc89vMICg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:27:16.884619Z"},"content_sha256":"71d35457f2490a24bf69c10ce3eef742e6417e4f1a49d50682a4211074a9c94e","schema_version":"1.0","event_id":"sha256:71d35457f2490a24bf69c10ce3eef742e6417e4f1a49d50682a4211074a9c94e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:HFL2CIEXWIQHTVGZPW37QYYZJA","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Dynamic Graph Queries","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.DB"],"primary_cat":"cs.LO","authors_text":"Nils Vortmeier, Pablo Mu\\~noz, Thomas Zeume","submitted_at":"2015-12-17T09:46:42Z","abstract_excerpt":"Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries often combine first-order and navigational features.\n  Motivated by recent results on maintaining dynamic reachability, we study the dynamic evaluation of traditional query languages for graphs in the descriptive complexity framework. Our focus is on maintaining regular path queries, and extensions thereof, by first-order formulas. In particular we are inter"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.05511","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-18T01:24:09Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"imVR/45yZyPp0UzwoL2y20TzBHO/Ixn1tKZt6rwtQOCIurMCeEc44ngbpsAXWwKvaxua+V630e02Vtd/IGIPBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-30T01:27:16.884965Z"},"content_sha256":"6950b54ade75d055771fb58a305f2d4075298cbe3ca6210967a5e9d3b4a9ddd5","schema_version":"1.0","event_id":"sha256:6950b54ade75d055771fb58a305f2d4075298cbe3ca6210967a5e9d3b4a9ddd5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/bundle.json","state_url":"https://pith.science/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/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-30T01:27:16Z","links":{"resolver":"https://pith.science/pith/HFL2CIEXWIQHTVGZPW37QYYZJA","bundle":"https://pith.science/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/bundle.json","state":"https://pith.science/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/state.json","well_known_bundle":"https://pith.science/.well-known/pith/HFL2CIEXWIQHTVGZPW37QYYZJA/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:HFL2CIEXWIQHTVGZPW37QYYZJA","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":"d268bc5db66cd9f175ac9ccb1ae393285bda96a7521df8bfdd2b7ca100e7d365","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T09:46:42Z","title_canon_sha256":"fdd0d05a8805badce9936a13162a6c92c00f47cba36c083d622e9168f42d7b9e"},"schema_version":"1.0","source":{"id":"1512.05511","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1512.05511","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"arxiv_version","alias_value":"1512.05511v1","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1512.05511","created_at":"2026-05-18T01:24:09Z"},{"alias_kind":"pith_short_12","alias_value":"HFL2CIEXWIQH","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_16","alias_value":"HFL2CIEXWIQHTVGZ","created_at":"2026-05-18T12:29:25Z"},{"alias_kind":"pith_short_8","alias_value":"HFL2CIEX","created_at":"2026-05-18T12:29:25Z"}],"graph_snapshots":[{"event_id":"sha256:6950b54ade75d055771fb58a305f2d4075298cbe3ca6210967a5e9d3b4a9ddd5","target":"graph","created_at":"2026-05-18T01:24:09Z","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":"Graph databases in many applications---semantic web, transport or biological networks among others---are not only large, but also frequently modified. Evaluating graph queries in this dynamic context is a challenging task, as those queries often combine first-order and navigational features.\n  Motivated by recent results on maintaining dynamic reachability, we study the dynamic evaluation of traditional query languages for graphs in the descriptive complexity framework. Our focus is on maintaining regular path queries, and extensions thereof, by first-order formulas. In particular we are inter","authors_text":"Nils Vortmeier, Pablo Mu\\~noz, Thomas Zeume","cross_cats":["cs.DB"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T09:46:42Z","title":"Dynamic Graph Queries"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1512.05511","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:71d35457f2490a24bf69c10ce3eef742e6417e4f1a49d50682a4211074a9c94e","target":"record","created_at":"2026-05-18T01:24:09Z","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":"d268bc5db66cd9f175ac9ccb1ae393285bda96a7521df8bfdd2b7ca100e7d365","cross_cats_sorted":["cs.DB"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-12-17T09:46:42Z","title_canon_sha256":"fdd0d05a8805badce9936a13162a6c92c00f47cba36c083d622e9168f42d7b9e"},"schema_version":"1.0","source":{"id":"1512.05511","kind":"arxiv","version":1}},"canonical_sha256":"3957a12097b22079d4d97db7f86319480dcee9929a74139d650ac37768c03099","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"3957a12097b22079d4d97db7f86319480dcee9929a74139d650ac37768c03099","first_computed_at":"2026-05-18T01:24:09.901605Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:24:09.901605Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"38ziijBXhfan2o3fcqx9tS0zKCumlP+9h6X24I/qves8z77e2p4Znv+vLd2jflPb1RZCBxhz7uzUCgRCFOBDDA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:24:09.902165Z","signed_message":"canonical_sha256_bytes"},"source_id":"1512.05511","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:71d35457f2490a24bf69c10ce3eef742e6417e4f1a49d50682a4211074a9c94e","sha256:6950b54ade75d055771fb58a305f2d4075298cbe3ca6210967a5e9d3b4a9ddd5"],"state_sha256":"3597cf9b5d3f98abb7a39f0bf9e08d3dc443933257b7526af960b026c96a45cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NIpKLL0OGQC6R/TqZtPseejMLmckDUg8yG7TCX0evEBLjlh1G4MfSr/GZtRW7LmQfgA6YXXgsV4evEc/cfKEBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-30T01:27:16.886958Z","bundle_sha256":"9af7e8d4ed6c8ecb1415d98c7560df607c3c7641cfbcab4c561e9f88491133c3"}}