Contents

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

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

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

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

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

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

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

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