ゼミ ArrayStore: A Storage Manager for Complex Parallel Array Processing http://scidb.cs.washington.edu/paper/sigmod362-soroush.pdf 有限な前順序離散集合