{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:6FMOMGW5ZJPNB4GFWFPFQP4FC5","short_pith_number":"pith:6FMOMGW5","canonical_record":{"source":{"id":"1502.03258","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-02-11T10:49:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2e2dfc32d19a8599a415e49b4318670bd4ccec9337b04c7d4a80d778a4cfec3e","abstract_canon_sha256":"284fc40b707da24f5afd70bcc8ff79b17519f64a7d51b16a475e6783498fef64"},"schema_version":"1.0"},"canonical_sha256":"f158e61addca5ed0f0c5b15e583f85174bdddd749c9b48d1a1e90726181f4c84","source":{"kind":"arxiv","id":"1502.03258","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.03258","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"arxiv_version","alias_value":"1502.03258v1","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.03258","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"pith_short_12","alias_value":"6FMOMGW5ZJPN","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"6FMOMGW5ZJPNB4GF","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"6FMOMGW5","created_at":"2026-05-18T12:29:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:6FMOMGW5ZJPNB4GFWFPFQP4FC5","target":"record","payload":{"canonical_record":{"source":{"id":"1502.03258","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-02-11T10:49:04Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"2e2dfc32d19a8599a415e49b4318670bd4ccec9337b04c7d4a80d778a4cfec3e","abstract_canon_sha256":"284fc40b707da24f5afd70bcc8ff79b17519f64a7d51b16a475e6783498fef64"},"schema_version":"1.0"},"canonical_sha256":"f158e61addca5ed0f0c5b15e583f85174bdddd749c9b48d1a1e90726181f4c84","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:27:19.869697Z","signature_b64":"cZ2Jt4fPR3kcSaOr5hWyDW/FYLy0B1dWJIhSECy+l+aByDOAOZ9bFL+/YflOh8RIG/cbF5b5uolXfnoeUxYUCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f158e61addca5ed0f0c5b15e583f85174bdddd749c9b48d1a1e90726181f4c84","last_reissued_at":"2026-05-18T02:27:19.868908Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:27:19.868908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1502.03258","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-18T02:27:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"8iBeFlx5zzt5oRwTz0iN3UYRqE9x5tYcS2Yl298AJOz4IOYhkkRbGd80hCEzvv6NFOCfqZkprHf8vq/xxKm8Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T05:05:33.694047Z"},"content_sha256":"150bb46b08f21ba50a4ae6e99132c4bb92bc9eb468c1bc4259c2b66c8a9f57e4","schema_version":"1.0","event_id":"sha256:150bb46b08f21ba50a4ae6e99132c4bb92bc9eb468c1bc4259c2b66c8a9f57e4"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:6FMOMGW5ZJPNB4GFWFPFQP4FC5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Structural characterizations of the navigational expressiveness of relation algebras on a tree","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Dirk Van Gucht, George H. L. Fletcher, Jan Paredaens, Marc Gyssens, Yuqing Wu","submitted_at":"2015-02-11T10:49:04Z","abstract_excerpt":"Given a document D in the form of an unordered node-labeled tree, we study the expressiveness on D of various basic fragments of XPath, the core navigational language on XML documents. Working from the perspective of these languages as fragments of Tarski's relation algebra, we give characterizations, in terms of the structure of D, for when a binary relation on its nodes is definable by an expression in these algebras. Since each pair of nodes in such a relation represents a unique path in D, our results therefore capture the sets of paths in D definable in each of the fragments. We refer to "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.03258","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-18T02:27:19Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"7AtKmRlMALvdUg8SGqupMx6MfZQg8M01nOHm0v3YPivwN46wDPlX4T2UyxU5eTfYOKLqZDlhTmKf5RPgVbf8CQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T05:05:33.694670Z"},"content_sha256":"5f4c2363957a4630e82fa2907a1cf535714a15b42ee6c2d4d9f9f83609896676","schema_version":"1.0","event_id":"sha256:5f4c2363957a4630e82fa2907a1cf535714a15b42ee6c2d4d9f9f83609896676"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/bundle.json","state_url":"https://pith.science/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/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-07T05:05:33Z","links":{"resolver":"https://pith.science/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5","bundle":"https://pith.science/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/bundle.json","state":"https://pith.science/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6FMOMGW5ZJPNB4GFWFPFQP4FC5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:6FMOMGW5ZJPNB4GFWFPFQP4FC5","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":"284fc40b707da24f5afd70bcc8ff79b17519f64a7d51b16a475e6783498fef64","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-02-11T10:49:04Z","title_canon_sha256":"2e2dfc32d19a8599a415e49b4318670bd4ccec9337b04c7d4a80d778a4cfec3e"},"schema_version":"1.0","source":{"id":"1502.03258","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1502.03258","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"arxiv_version","alias_value":"1502.03258v1","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1502.03258","created_at":"2026-05-18T02:27:19Z"},{"alias_kind":"pith_short_12","alias_value":"6FMOMGW5ZJPN","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_16","alias_value":"6FMOMGW5ZJPNB4GF","created_at":"2026-05-18T12:29:07Z"},{"alias_kind":"pith_short_8","alias_value":"6FMOMGW5","created_at":"2026-05-18T12:29:07Z"}],"graph_snapshots":[{"event_id":"sha256:5f4c2363957a4630e82fa2907a1cf535714a15b42ee6c2d4d9f9f83609896676","target":"graph","created_at":"2026-05-18T02:27:19Z","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":"Given a document D in the form of an unordered node-labeled tree, we study the expressiveness on D of various basic fragments of XPath, the core navigational language on XML documents. Working from the perspective of these languages as fragments of Tarski's relation algebra, we give characterizations, in terms of the structure of D, for when a binary relation on its nodes is definable by an expression in these algebras. Since each pair of nodes in such a relation represents a unique path in D, our results therefore capture the sets of paths in D definable in each of the fragments. We refer to ","authors_text":"Dirk Van Gucht, George H. L. Fletcher, Jan Paredaens, Marc Gyssens, Yuqing Wu","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-02-11T10:49:04Z","title":"Structural characterizations of the navigational expressiveness of relation algebras on a tree"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1502.03258","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:150bb46b08f21ba50a4ae6e99132c4bb92bc9eb468c1bc4259c2b66c8a9f57e4","target":"record","created_at":"2026-05-18T02:27:19Z","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":"284fc40b707da24f5afd70bcc8ff79b17519f64a7d51b16a475e6783498fef64","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2015-02-11T10:49:04Z","title_canon_sha256":"2e2dfc32d19a8599a415e49b4318670bd4ccec9337b04c7d4a80d778a4cfec3e"},"schema_version":"1.0","source":{"id":"1502.03258","kind":"arxiv","version":1}},"canonical_sha256":"f158e61addca5ed0f0c5b15e583f85174bdddd749c9b48d1a1e90726181f4c84","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f158e61addca5ed0f0c5b15e583f85174bdddd749c9b48d1a1e90726181f4c84","first_computed_at":"2026-05-18T02:27:19.868908Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:19.868908Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"cZ2Jt4fPR3kcSaOr5hWyDW/FYLy0B1dWJIhSECy+l+aByDOAOZ9bFL+/YflOh8RIG/cbF5b5uolXfnoeUxYUCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:19.869697Z","signed_message":"canonical_sha256_bytes"},"source_id":"1502.03258","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:150bb46b08f21ba50a4ae6e99132c4bb92bc9eb468c1bc4259c2b66c8a9f57e4","sha256:5f4c2363957a4630e82fa2907a1cf535714a15b42ee6c2d4d9f9f83609896676"],"state_sha256":"d3bb8444b91efc0bf6bb9d7d053d111a28bb937188cedb0229353ed6cf4cf756"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qaPv3vF5m5sZq9hLZH528gCwPGn1mnkADBXb/Nx2w6DnXi6k0/GM/N2NnW5FWwheaxg53CWiAJDTgFgfgCrHAg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T05:05:33.698921Z","bundle_sha256":"d49db3736ec843496c2ce690282c9b83d3706d2011338ce743aa3e8f241a99e1"}}