next up previous
    Next: Introduction

    Implementation of XY Stratification: An Extension to LDL++

    Haixun Wang
    UCLA CS Dept.


     
    • Introduction
    • XY Stratification
    • Implementation of XY Stratification in LDL++
    • Rule Optimization
      • Copy Rule Optimization
      • Delete Rule Optimization
    • Termination Condition
    • Examples of XY-stratified Programs
      • Reachable Nodes
        • LDL++ Source Code
        • Data
        • Query Result
      • Temporal Projection
        • LDL++ Source Code
        • Data
        • Query Result
    • Using Aggregation in XY Stratified Programs
      • Bill of Material
        • LDL++ Source Code
        • Data
        • Query Result
      • Huffman Code
        • LDL++ Source Code
        • Data
        • Query Result
      • Prim's Algorithm
        • LDL++ Source Code
        • Data
        • Query Result
      • Dijkstra's Algorithm
        • LDL++ Source Code
        • Data
        • Query Result
      • Traveling Salesman Problem
        • LDL++ Source Code
        • Data
        • Query Result
      • Kruskal's Algorithm for Computing a Least-Cost Spanning Tree
        • LDL++ Source Code
        • Data
        • Query Result
    • References
    • About this document ...

    Haixun Wang
    4/22/1998