Issue No. 05 - October (1994 vol. 6)
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/69.317709
<p>We present an encoding algorithm for lattices that significantly reduces space requirements while allowing fast computations of least upper bounds and greatest lower bounds of pairs of elements. We analyze the algorithms for encoding, LUB and GLB computations, and prove their correctness. Empirical experiments reveal that our method is significantly more space efficient than the transitive closure method, and the saving becomes increasingly more important as the size of the lattice increases.</p>
encoding; inheritance; inference mechanisms; space-and-time-efficient coding algorithm; lattice computations; encoding algorithm; space requirements
D. Ganguly, C. Mohan and S. Ranka, "A Space-and-Time-Efficient Coding Algorithm for Lattice Computations," in IEEE Transactions on Knowledge & Data Engineering, vol. 6, no. , pp. 819-829, 1994.