This invention describes a new type of spreadsheet that instead of using arithmetic to relate data entries uses logical relationships. This fundamentally changes how the spreadsheet works and increases the user's ability to manipulate and extrapolate scenarios.
Researchers in Prof. Michael Genesereth's laboratory have developed "count indexes", a unique indexing scheme to efficiently update run-length encoded columns in column stores.