Contents

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

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

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

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

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

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

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

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