{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:SKTIPNZWTXSRIFXWLBTDU5CSFQ","short_pith_number":"pith:SKTIPNZW","canonical_record":{"source":{"id":"cs/0606065","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"cs.DB","submitted_at":"2006-06-14T09:49:17Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"58e735ea313d5b35f15bb1fa7f25ae565443861375493bf6d511333ad13d9f91","abstract_canon_sha256":"d8290a435895107163320c73fc7a8955580b56dc104c13ee64637e98b9577428"},"schema_version":"1.0"},"canonical_sha256":"92a687b7369de51416f658663a74522c2615beb2011074e2ca8a1711230d41b5","source":{"kind":"arxiv","id":"cs/0606065","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0606065","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0606065v4","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0606065","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"SKTIPNZWTXSR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"SKTIPNZWTXSRIFXW","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"SKTIPNZW","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:SKTIPNZWTXSRIFXWLBTDU5CSFQ","target":"record","payload":{"canonical_record":{"source":{"id":"cs/0606065","kind":"arxiv","version":4},"metadata":{"license":"","primary_cat":"cs.DB","submitted_at":"2006-06-14T09:49:17Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"58e735ea313d5b35f15bb1fa7f25ae565443861375493bf6d511333ad13d9f91","abstract_canon_sha256":"d8290a435895107163320c73fc7a8955580b56dc104c13ee64637e98b9577428"},"schema_version":"1.0"},"canonical_sha256":"92a687b7369de51416f658663a74522c2615beb2011074e2ca8a1711230d41b5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:53:03.369747Z","signature_b64":"Jfw9/6WYqvYpRzPDqx8PdTbIYNLjnv1VtYWQ3mUYqHXlYe/iDF1tKpI9brvwjYtV2YWUUNEK2w/lFHrdrcYiBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"92a687b7369de51416f658663a74522c2615beb2011074e2ca8a1711230d41b5","last_reissued_at":"2026-05-18T00:53:03.369243Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:53:03.369243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"cs/0606065","source_version":4,"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:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qD8hdG3NSCIm53UfSIotiV+JtVY91ZWMgB4pOflDHDfpFr4GHDD7qiqbwvxzvKjr8EQ6t2IKxd9oFfGJVDzyBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:18:32.261903Z"},"content_sha256":"fc1b28d7edfe87157f3c51fc96baf46b0752df3a2d924db6beb789625665c9e5","schema_version":"1.0","event_id":"sha256:fc1b28d7edfe87157f3c51fc96baf46b0752df3a2d924db6beb789625665c9e5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:SKTIPNZWTXSRIFXWLBTDU5CSFQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the complexity of XPath containment in the presence of disjunction, DTDs, and variables","license":"","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.DB","authors_text":"Frank Neven, Thomas Schwentick","submitted_at":"2006-06-14T09:49:17Z","abstract_excerpt":"XPath is a simple language for navigating an XML-tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath. We restrict attention to the most common XPath expressions which navigate along the child and/or descendant axis. In addition to basic expressions using only node tests and simple predicates, we also consider disjunction and variables (ranging over nodes). Further, we investigate the containment problem relative to a given DTD. With respect to variables we study two semantics, (1) the original semantic"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0606065","kind":"arxiv","version":4},"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:53:03Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Nk5NMZFTXX4RKnYMJ0LSmOqgtPQXc5PMq/gg2Sdpx1c3ZXIyROYr6tGUYbUiKSQ0njW6m6MoQH936wYylKnKCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T06:18:32.262246Z"},"content_sha256":"35413624708d2ad6ff2671b0c4328474af0ab606f634ab29ee3a7d1db0402ce0","schema_version":"1.0","event_id":"sha256:35413624708d2ad6ff2671b0c4328474af0ab606f634ab29ee3a7d1db0402ce0"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/bundle.json","state_url":"https://pith.science/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/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-03T06:18:32Z","links":{"resolver":"https://pith.science/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ","bundle":"https://pith.science/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/bundle.json","state":"https://pith.science/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/SKTIPNZWTXSRIFXWLBTDU5CSFQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:SKTIPNZWTXSRIFXWLBTDU5CSFQ","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":"d8290a435895107163320c73fc7a8955580b56dc104c13ee64637e98b9577428","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.DB","submitted_at":"2006-06-14T09:49:17Z","title_canon_sha256":"58e735ea313d5b35f15bb1fa7f25ae565443861375493bf6d511333ad13d9f91"},"schema_version":"1.0","source":{"id":"cs/0606065","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"cs/0606065","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"arxiv_version","alias_value":"cs/0606065v4","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.cs/0606065","created_at":"2026-05-18T00:53:03Z"},{"alias_kind":"pith_short_12","alias_value":"SKTIPNZWTXSR","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"SKTIPNZWTXSRIFXW","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"SKTIPNZW","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:35413624708d2ad6ff2671b0c4328474af0ab606f634ab29ee3a7d1db0402ce0","target":"graph","created_at":"2026-05-18T00:53: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":"XPath is a simple language for navigating an XML-tree and returning a set of answer nodes. The focus in this paper is on the complexity of the containment problem for various fragments of XPath. We restrict attention to the most common XPath expressions which navigate along the child and/or descendant axis. In addition to basic expressions using only node tests and simple predicates, we also consider disjunction and variables (ranging over nodes). Further, we investigate the containment problem relative to a given DTD. With respect to variables we study two semantics, (1) the original semantic","authors_text":"Frank Neven, Thomas Schwentick","cross_cats":["cs.LO"],"headline":"","license":"","primary_cat":"cs.DB","submitted_at":"2006-06-14T09:49:17Z","title":"On the complexity of XPath containment in the presence of disjunction, DTDs, and variables"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"cs/0606065","kind":"arxiv","version":4},"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:fc1b28d7edfe87157f3c51fc96baf46b0752df3a2d924db6beb789625665c9e5","target":"record","created_at":"2026-05-18T00:53: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":"d8290a435895107163320c73fc7a8955580b56dc104c13ee64637e98b9577428","cross_cats_sorted":["cs.LO"],"license":"","primary_cat":"cs.DB","submitted_at":"2006-06-14T09:49:17Z","title_canon_sha256":"58e735ea313d5b35f15bb1fa7f25ae565443861375493bf6d511333ad13d9f91"},"schema_version":"1.0","source":{"id":"cs/0606065","kind":"arxiv","version":4}},"canonical_sha256":"92a687b7369de51416f658663a74522c2615beb2011074e2ca8a1711230d41b5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"92a687b7369de51416f658663a74522c2615beb2011074e2ca8a1711230d41b5","first_computed_at":"2026-05-18T00:53:03.369243Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:53:03.369243Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"Jfw9/6WYqvYpRzPDqx8PdTbIYNLjnv1VtYWQ3mUYqHXlYe/iDF1tKpI9brvwjYtV2YWUUNEK2w/lFHrdrcYiBQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:53:03.369747Z","signed_message":"canonical_sha256_bytes"},"source_id":"cs/0606065","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:fc1b28d7edfe87157f3c51fc96baf46b0752df3a2d924db6beb789625665c9e5","sha256:35413624708d2ad6ff2671b0c4328474af0ab606f634ab29ee3a7d1db0402ce0"],"state_sha256":"a53aa4bc8d17d45cd2b727206b130c8e3e0d372f81c5430f56bd6f460e1f7365"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"F/LEGSNXzPD/pJPW/XB2Jj7Y7Vq6MkFpprdyAM04YLK9sCReyWmk3LnjvAK1yOAqv+oNEuzbfq7t/Cn1Kad5CQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T06:18:32.264167Z","bundle_sha256":"80fb34a3dbc2ea596c91067931972f660c30df29b7d7a72363400aec82bbedfe"}}