Journal: Data \& Knowledge Engineering

Volume 34, Issue 1

1 -- 20Lila Rao, Han Reichgelt. STIRDAT: A system tightly integrating relational databases and a theorem prover
21 -- 38Weifa Liang, Hui Wang, Maria E. Orlowska. Range queries in dynamic OLAP data cubes
39 -- 76Vijay Kumar, Narayan Gaddipati. An efficient CCM KRISHNA for high contention environment and its performance comparison with WDL
77 -- 97Dong-Ho Lee, Hyoung-Joo Kim. SPY-TEC: An efficient indexing method for similarity search in high-dimensional data spaces