Hello,
I am studying the paper "Storing and Querying Large XML Instances". [https://files.basex.org/publications/Gruen%20%5B2010%5D,%20Storing%20and%20Q...]
This is very interesting and helpful to read! I apologize I fail to understand the following in 3.4.2.1 Staircase Join:
"In the partitioned plane, the scanned areas are made disjunct, i.e., scanning is canceled whenever the pre value of the currently scanned node equals the pre value of the next context node."
Since pre values are unique (?), I couldn't follow how the next context node would have the same pre value. For the partitioning step, I had the impression the next context node is not the same as the current context node, nor would it be a descendant of the current context node.
Thank you, Yasir
Hi Yasir,
Congratulations on being tough enough to work through all the details of our path algorithms. ;)
"In the partitioned plane, the scanned areas are made disjunct, i.e., scanning is canceled whenever the pre value of the currently scanned node equals the pre value of the next context node."
I agree the sentence does not contain all the details required to grasp what’s going on: “Scanning” means that the initial pre value (initially 1 in the example) will be incremented until a given condition is fulfilled. The condition in the example is: equality with the pre value of the next context node (6). Without partitioning, all remaining nodes of the document would be checked.
Hope this helps; have fun, Christian
basex-talk@mailman.uni-konstanz.de