Data & Knowledge Engineering, Volume 34, 2000

Volume 34, Number 1, July 2000

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

Nick Koudas:
Indexing support for spatial joins. 99-124
Zohra Bellahsene:
Updates and object-generating views in ODBS. 125-163
Harry W. Agius, Marios C. Angelides:
A method for developing interactive multimedia from their semantic content. 165-187
Ran Giladi, Chanan Glezer, Nir Melamoud, Phillip Ein-Dor, Opher Etzion:
The metaknowledge-based intelligent routing system (MIRS). 189-217

Adnan H. Yahya:
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases. 219-249
Eliseo Clementini, Paolino Di Felice, Krzysztof Koperski:
Mining multiple-level spatial association rules for objects with a broad boundary. 251-270
David Edmond, Arthur H. M. ter Hofstede:
A reflective infrastructure for workflow adaptability. 271-304
Anthony Hunter:
Merging potentially inconsistent items of structured text. 305-332