{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2007:OAFQE4A7WI77I66FPHPKPQ4FXL","short_pith_number":"pith:OAFQE4A7","schema_version":"1.0","canonical_sha256":"700b02701fb23ff47bc579dea7c385baf5af0d01a3bd5f991ac5454716551ae8","source":{"kind":"arxiv","id":"0711.3375","version":1},"attestation_state":"computed","paper":{"title":"An Inflationary Fixed Point Operator in XQuery","license":"","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Jan Rittinger, Jens Teubner, Loredana Afanasiev, Maarten Marx, Torsten Grust","submitted_at":"2007-11-21T13:22:15Z","abstract_excerpt":"We introduce a controlled form of recursion in XQuery, inflationary fixed points, familiar in the context of relational databases. This imposes restrictions on the expressible types of recursion, but we show that inflationary fixed points nevertheless are sufficiently versatile to capture a wide range of interesting use cases, including the semantics of Regular XPath and its core transitive closure construct.\n  While the optimization of general user-defined recursive functions in XQuery appears elusive, we will describe how inflationary fixed points can be efficiently evaluated, provided that "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"0711.3375","kind":"arxiv","version":1},"metadata":{"license":"","primary_cat":"cs.DB","submitted_at":"2007-11-21T13:22:15Z","cross_cats_sorted":[],"title_canon_sha256":"531ecf4d75a86bf7eacf1dace4ad40b0a0eb33160b60cc9937f505705d88fb7c","abstract_canon_sha256":"38ec375c0c00a77c0562a0f224a52b82d159feacf44a31adb76b926c2ce44b5e"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-04T15:05:45.841529Z","signature_b64":"x7gD6RtwgX9IqByN2IOX6T1xdWyn4HbdNHiTjboStXpoBE44yNC9JdyJDkAJ+1CD1gW6EGXcdycgiIJvoue7AQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"700b02701fb23ff47bc579dea7c385baf5af0d01a3bd5f991ac5454716551ae8","last_reissued_at":"2026-07-04T15:05:45.841118Z","signature_status":"signed_v1","first_computed_at":"2026-07-04T15:05:45.841118Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"An Inflationary Fixed Point Operator in XQuery","license":"","headline":"","cross_cats":[],"primary_cat":"cs.DB","authors_text":"Jan Rittinger, Jens Teubner, Loredana Afanasiev, Maarten Marx, Torsten Grust","submitted_at":"2007-11-21T13:22:15Z","abstract_excerpt":"We introduce a controlled form of recursion in XQuery, inflationary fixed points, familiar in the context of relational databases. This imposes restrictions on the expressible types of recursion, but we show that inflationary fixed points nevertheless are sufficiently versatile to capture a wide range of interesting use cases, including the semantics of Regular XPath and its core transitive closure construct.\n  While the optimization of general user-defined recursive functions in XQuery appears elusive, we will describe how inflationary fixed points can be efficiently evaluated, provided that "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"0711.3375","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/0711.3375/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"0711.3375","created_at":"2026-07-04T15:05:45.841184+00:00"},{"alias_kind":"arxiv_version","alias_value":"0711.3375v1","created_at":"2026-07-04T15:05:45.841184+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.0711.3375","created_at":"2026-07-04T15:05:45.841184+00:00"},{"alias_kind":"pith_short_12","alias_value":"OAFQE4A7WI77","created_at":"2026-07-04T15:05:45.841184+00:00"},{"alias_kind":"pith_short_16","alias_value":"OAFQE4A7WI77I66F","created_at":"2026-07-04T15:05:45.841184+00:00"},{"alias_kind":"pith_short_8","alias_value":"OAFQE4A7","created_at":"2026-07-04T15:05:45.841184+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL","json":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL.json","graph_json":"https://pith.science/api/pith-number/OAFQE4A7WI77I66FPHPKPQ4FXL/graph.json","events_json":"https://pith.science/api/pith-number/OAFQE4A7WI77I66FPHPKPQ4FXL/events.json","paper":"https://pith.science/paper/OAFQE4A7"},"agent_actions":{"view_html":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL","download_json":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL.json","view_paper":"https://pith.science/paper/OAFQE4A7","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=0711.3375&json=true","fetch_graph":"https://pith.science/api/pith-number/OAFQE4A7WI77I66FPHPKPQ4FXL/graph.json","fetch_events":"https://pith.science/api/pith-number/OAFQE4A7WI77I66FPHPKPQ4FXL/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL/action/timestamp_anchor","attest_storage":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL/action/storage_attestation","attest_author":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL/action/author_attestation","sign_citation":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL/action/citation_signature","submit_replication":"https://pith.science/pith/OAFQE4A7WI77I66FPHPKPQ4FXL/action/replication_record"}},"created_at":"2026-07-04T15:05:45.841184+00:00","updated_at":"2026-07-04T15:05:45.841184+00:00"}