Contents

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

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

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

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

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

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

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

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