next up previous
    Next: Reachable Nodes Up: Implementation of XY Stratification: Previous: Termination Condition

    Examples of XY-stratified Programs


     
    • Reachable Nodes
      • LDL++ Source Code
      • Data
      • Query Result
    • Temporal Projection
      • LDL++ Source Code
      • Data
      • Query Result

    Haixun Wang
    4/22/1998