JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY Vol.7 CONTENTS

..............page:383-384

Form alizing Incomplete Knowledge in Incomplete Databases
Shen Yidong;Dept. of Computer Science;Chongqing University;Chongqing 630044

..............page:295-304

Identification of Nonstationary Cellular Automata
Andrew I. Adamatzky;Biophysics Department;Sankt-Petersburg University;Universitetskaya nab 7/9;Sankt-Petersburg 199164;Russia

..............page:379-382

A Study of Optimization and Rule/Goal Graph for a Logical Query
Li Tianzhu;Computing Center;Hebei University;Baoding 071002

..............page:356-362

An Algorithm for Determining Database Consistency Under the Closed World Assumption
Shen Yidong;Dept. of Computer Science;Chongqing University;Chongqing 630044

..............page:289-294

Range Query Processing in Multidisk Systems
Li Jianzhong;Department of Computer Science;Heilongjiang University;Harbin 150080

..............page:316-327

Conflict-Resolution in Multi-ES Cooperation System
Liu Dayou;Zheng Fangqing;Ma Zhifang;Shi Qiaolin;Department of Computer Science;Jilin University;Changchun 130021

..............page:369-378

A Frame Based Architecture for Information Integration in CIMS
Wu Xindong;Department of Artificial Intelligence;University of Edinburgh;80 South Bridge;Edinburgh EH1 1HN;UK

..............page:328-332

Net Operations
Jiang Changjun;Wu Zhehui;Department of Applied Mathematics and Computer Science;Shandong Institute of Mining and Technology Taian;Shandong 271019

..............page:333-344

Concurrency Control Mechanism of Complex Objects
Xu Qingyun;Research Center of East China Bureau of Petroleum Geology;Nanjing 210031Wang Nengbin;Southeast University;Nanjing 210018

..............page:305-310

R-Technology of Programming: Basic Notions and Implementation
I. V. Vel’bitsky;A. L. Kovalev;Technosoft;Kiev;USSRI.V. Kasatkina;Kiev Polytechnical Institute;Kiev;USSRWang Lei;Tianjin University;Tianjin 300072;China

..............page:345-355

Concurrency Control of Single-Level Transaction in WHYMX Object-Oriented Database System
Xu Qingyun;Research Center of East China Bureau of Petroleum Geology;Nanjing 210031Wang Nengbin;Southeast University;Nanjing 210018

..............page:311-315

Extending Hoare Logic with an Infinite While-Rule
Shao Zhiqing;Department of Computer Science;East China University of Chemical Technology;Shanghai 200237

..............page:363-368