Contents

PARALLELIZATION TECHNIQUES FOR QUERY PROCESSING AND DATA DECLUSTERING METHODS Li Jianzhong 1994,5(10):1-10 [Abstract(4074)]  [View PDF(5340)358.20 K]

PARALLEL DATA OPERATION ALGORITHMS AND QUERY OPTIMIZATION TECHNIQUES Li Jianzhong 1994,5(10):11-23 [Abstract(3859)]  [View PDF(5354)801.06 K]

STATE LOGIC PROGRAMMING LANGUAGE Yan Zhixin 1994,5(10):24-32 [Abstract(3886)]  [View PDF(7602)874.74 K]

A NEW DEFINITION OF PROOF-NETS Huang Linpeng and Sun Yongqiang 1994,5(10):33-37 [Abstract(3716)]  [View PDF(4397)560.02 K]

SOFTWARE PROCESS MODEL JMOSP Zhang Ran;,Zhan Yuchao and Ye Yunwen 1994,5(10):38-43 [Abstract(3738)]  [View PDF(4625)272.30 K]

A COUNTING ALGORITHM FOR GENERALIZED QUERIES Fan Ming and Li Lianyou 1994,5(10):44-49 [Abstract(3851)]  [View PDF(4461)466.45 K]

GRANULARITY ANALYSIS FOR LOGIC PROGRAMS Huang Zhiyi and Hu Shouren 1994,5(10):50-54 [Abstract(3362)]  [View PDF(4414)416.31 K]

A FAST APPROACH TO (CHAR/CHINESE CHARACTER) TEXT SEARCHING ALLOWING ERRORS Zou Xukai and Wang Suqin 1994,5(10):55-59 [Abstract(4076)]  [View PDF(4389)284.51 K]

A KNOWLEDGE -BASED RETRIEVAL SYSTEM FOR SOFTWARE COMPONENTS Yu Jiang;,Quan Bingzhe and Jin Chunzhao 1994,5(10):60-64 [Abstract(3575)]  [View PDF(4566)311.94 K]