Qian Ken Pu

• On formal methods of multidimensional databases