{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2018:TCI7PLXNZF7TQEMQMH66TABK5S","short_pith_number":"pith:TCI7PLXN","canonical_record":{"source":{"id":"1803.01390","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-03-04T17:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"f6beac402cc62c4e79bdc6f438ec5f2ac3f32d0970d80fe2b2786f82ab899b75","abstract_canon_sha256":"f99b7066267b83b1e0cd094f9578234022dbbd84b930c8884c6f486212109c9d"},"schema_version":"1.0"},"canonical_sha256":"9891f7aeedc97f38119061fde9802aecad4ec0134cd77504e8468282c077b677","source":{"kind":"arxiv","id":"1803.01390","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.01390","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.01390v1","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.01390","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"pith_short_12","alias_value":"TCI7PLXNZF7T","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TCI7PLXNZF7TQEMQ","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TCI7PLXN","created_at":"2026-05-18T12:32:53Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2018:TCI7PLXNZF7TQEMQMH66TABK5S","target":"record","payload":{"canonical_record":{"source":{"id":"1803.01390","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-03-04T17:38:51Z","cross_cats_sorted":[],"title_canon_sha256":"f6beac402cc62c4e79bdc6f438ec5f2ac3f32d0970d80fe2b2786f82ab899b75","abstract_canon_sha256":"f99b7066267b83b1e0cd094f9578234022dbbd84b930c8884c6f486212109c9d"},"schema_version":"1.0"},"canonical_sha256":"9891f7aeedc97f38119061fde9802aecad4ec0134cd77504e8468282c077b677","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:22:00.806374Z","signature_b64":"NN/msVj39uHUK0PGO+UUVJR16ueHIXWMJo+lG51w8PHdtcbzmcHiAlYiLpisWn3xqHnwH6JD0WuylJifklYWDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"9891f7aeedc97f38119061fde9802aecad4ec0134cd77504e8468282c077b677","last_reissued_at":"2026-05-18T00:22:00.805755Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:22:00.805755Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1803.01390","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:22:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"edmjp4yg5+ImMLvK3LzdZHUeoGRkJlXnZi5VUSF9AjU/dtj1QBIoNNAhUkDSURgNivMc3bhv3GZ0cMAzrcsdDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T05:37:05.649095Z"},"content_sha256":"1671ba989451952e62316e077c4e5ca58c9a0775ecb13e7bba72833512739120","schema_version":"1.0","event_id":"sha256:1671ba989451952e62316e077c4e5ca58c9a0775ecb13e7bba72833512739120"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2018:TCI7PLXNZF7TQEMQMH66TABK5S","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Dirk Van Gucht, George H. L. Fletcher, Jan Van den Bussche, Jelle Hellings, Marc Gyssens, Stijn Vansummeren, Yuqing Wu","submitted_at":"2018-03-04T17:38:51Z","abstract_excerpt":"Motivated by the continuing interest in the tree data model, we study the expressive power of downward navigational query languages on trees and chains. Basic navigational queries are built from the identity relation and edge relations using composition and union. We study the effects on relative expressiveness when we add transitive closure, projections, coprojections, intersection, and difference; this for boolean queries and path queries on labeled and unlabeled structures. In all cases, we present the complete Hasse diagram. In particular, we establish, for each query language fragment tha"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.01390","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:22:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+ImwTM7rBV+dAJufd2E0aCD/nRQ6QZ1rh7x03Bk4PdMstW0wTMswZ8hgnrC8WvHWauKcL95svHHxzfkKbiW2Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-07T05:37:05.649669Z"},"content_sha256":"b66aa170a6a98be06ec357df508ee878a1952e0fb3739534e032121c6b7c3426","schema_version":"1.0","event_id":"sha256:b66aa170a6a98be06ec357df508ee878a1952e0fb3739534e032121c6b7c3426"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/TCI7PLXNZF7TQEMQMH66TABK5S/bundle.json","state_url":"https://pith.science/pith/TCI7PLXNZF7TQEMQMH66TABK5S/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/TCI7PLXNZF7TQEMQMH66TABK5S/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:37:05Z","links":{"resolver":"https://pith.science/pith/TCI7PLXNZF7TQEMQMH66TABK5S","bundle":"https://pith.science/pith/TCI7PLXNZF7TQEMQMH66TABK5S/bundle.json","state":"https://pith.science/pith/TCI7PLXNZF7TQEMQMH66TABK5S/state.json","well_known_bundle":"https://pith.science/.well-known/pith/TCI7PLXNZF7TQEMQMH66TABK5S/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:TCI7PLXNZF7TQEMQMH66TABK5S","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":"f99b7066267b83b1e0cd094f9578234022dbbd84b930c8884c6f486212109c9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-03-04T17:38:51Z","title_canon_sha256":"f6beac402cc62c4e79bdc6f438ec5f2ac3f32d0970d80fe2b2786f82ab899b75"},"schema_version":"1.0","source":{"id":"1803.01390","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1803.01390","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"arxiv_version","alias_value":"1803.01390v1","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1803.01390","created_at":"2026-05-18T00:22:00Z"},{"alias_kind":"pith_short_12","alias_value":"TCI7PLXNZF7T","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_16","alias_value":"TCI7PLXNZF7TQEMQ","created_at":"2026-05-18T12:32:53Z"},{"alias_kind":"pith_short_8","alias_value":"TCI7PLXN","created_at":"2026-05-18T12:32:53Z"}],"graph_snapshots":[{"event_id":"sha256:b66aa170a6a98be06ec357df508ee878a1952e0fb3739534e032121c6b7c3426","target":"graph","created_at":"2026-05-18T00:22:00Z","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":"Motivated by the continuing interest in the tree data model, we study the expressive power of downward navigational query languages on trees and chains. Basic navigational queries are built from the identity relation and edge relations using composition and union. We study the effects on relative expressiveness when we add transitive closure, projections, coprojections, intersection, and difference; this for boolean queries and path queries on labeled and unlabeled structures. In all cases, we present the complete Hasse diagram. In particular, we establish, for each query language fragment tha","authors_text":"Dirk Van Gucht, George H. L. Fletcher, Jan Van den Bussche, Jelle Hellings, Marc Gyssens, Stijn Vansummeren, Yuqing Wu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-03-04T17:38:51Z","title":"Comparing Downward Fragments of the Relational Calculus with Transitive Closure on Trees"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1803.01390","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:1671ba989451952e62316e077c4e5ca58c9a0775ecb13e7bba72833512739120","target":"record","created_at":"2026-05-18T00:22:00Z","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":"f99b7066267b83b1e0cd094f9578234022dbbd84b930c8884c6f486212109c9d","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.DB","submitted_at":"2018-03-04T17:38:51Z","title_canon_sha256":"f6beac402cc62c4e79bdc6f438ec5f2ac3f32d0970d80fe2b2786f82ab899b75"},"schema_version":"1.0","source":{"id":"1803.01390","kind":"arxiv","version":1}},"canonical_sha256":"9891f7aeedc97f38119061fde9802aecad4ec0134cd77504e8468282c077b677","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9891f7aeedc97f38119061fde9802aecad4ec0134cd77504e8468282c077b677","first_computed_at":"2026-05-18T00:22:00.805755Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:22:00.805755Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NN/msVj39uHUK0PGO+UUVJR16ueHIXWMJo+lG51w8PHdtcbzmcHiAlYiLpisWn3xqHnwH6JD0WuylJifklYWDA==","signature_status":"signed_v1","signed_at":"2026-05-18T00:22:00.806374Z","signed_message":"canonical_sha256_bytes"},"source_id":"1803.01390","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:1671ba989451952e62316e077c4e5ca58c9a0775ecb13e7bba72833512739120","sha256:b66aa170a6a98be06ec357df508ee878a1952e0fb3739534e032121c6b7c3426"],"state_sha256":"1bc56bd0c187705162a7e6e601a87ab810336275f7295a7ec50cc1bd4127dcc9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"1r/QU5ZU/mQNKYOrdLuJ+Mp3fOASer8sZ04PYWeilAeDjXjr7ts6hNlR8lJKYFkn8LCXXQGmisLcdSrKdzRlAQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-07T05:37:05.652912Z","bundle_sha256":"2b2392755f4fc254a4b5dc3140d5e0e25c91a520e2dba1a40d508d9fe5ace229"}}