Contents

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

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

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

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

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

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

GRANULARITY ANALYSIS FOR LOGIC PROGRAMS Huang Zhiyi and Hu Shouren 1994,5(10):50-54 [Abstract(3285)]  [View PDF(3750)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(3989)]  [View PDF(3941)284.51 K]

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