Volume 34, Number 1, July 2000
Lila Rao,
Han Reichgelt:
STIRDAT: A system tightly integrating relational databases and a theorem prover.
1-20
Dong-Ho Lee,
Hyoung-Joo Kim:
SPY-TEC: An efficient indexing method for similarity search in high-dimensional data spaces.
77-97
Volume 34, Number 2, August 2000
Nick Koudas:
Indexing support for spatial joins.
99-124
Volume 34, Number 3, September 2000
Adnan H. Yahya:
Minimal model generation for refined answering of generalized queries in disjunctive deductive databases.
219-249
Anthony Hunter:
Merging potentially inconsistent items of structured text.
305-332