1. An algorithm for determining database consistency under the closed world assumption

   • Yidong Shen

   Regular Papers Pages: 289 - 294

2. Formalizing incomplete knowledge in incomplete databases

   • Yidong Shen

   Regular Papers Pages: 295 - 304

3. Concurrency control mechanism of complex objects

   • Qingyun Xu
   • Nengbin Wang

   Regular Papers Pages: 305 - 310

4. Concurrency control of single-level transaction in WHYMX object-oriented database system

   • Qingyun Xu
   • Nengbin Wang

   Regular Papers Pages: 311 - 315

5. Range query processing in multidisk systems

   • Jianzhong Li

   Regular Papers Pages: 316 - 327

6. A frame based architecture for information integration in CIMS

   • Xindong Wu

   Regular Papers Pages: 328 - 332

7. Net operations

   • Changjun Jiang
   • Zhehui Wu

   Regular Papers Pages: 333 - 344

8. R-technology of programming: Basic notions and implementation

   • I. V. Vel'bitsky
   • A. L. Kovalev
   • Lei Wang

   Regular Papers Pages: 345 - 355

9. A study of optimization and Rule/Goal Graph for a logical query

   • Tianzhu Li

   Regular Papers Pages: 356 - 362

10. Extending Hoare logic with an infinite while-rule

    • Zhiqing Shao

    Regular Papers Pages: 363 - 368

11. Conflict-resolution in multi-ES cooperation system

    • Dayou Liu
    • Fangqing Zheng
    • Qiaolin Shi

    Regular Papers Pages: 369 - 378

12. Identification of nonstationary cellular automata

    • Andrew I. Adamatzky

    Research Note Pages: 379 - 382