We use cookies to improve your experience with our site.
Advanced Search

An Algorithm for Determining Database Consistency Under the Closed World Assumption
Shen Yidong
1992, 7(4): 289-294.
Abstract
Form alizing Incomplete Knowledge in Incomplete Databases
Shen Yidong
1992, 7(4): 295-304.
Abstract
Concurrency Control Mechanism of Complex Objects
Xu Qingyun, Wang Nengbin
1992, 7(4): 305-310.
Abstract
Concurrency Control of Single-Level Transaction in WHYMX Object-Oriented Database System
Xu Qingyun, Wang Nengbin
1992, 7(4): 311-315.
Abstract
Range Query Processing in Multidisk Systems
Li Jianzhong
1992, 7(4): 316-327.
Abstract
A Frame Based Architecture for Information Integration in CIMS
Wu Xindong
1992, 7(4): 328-332.
Abstract
Net Operations
Jiang Changjun, Wu Zhehui
1992, 7(4): 333-344.
Abstract
R-Technology of Programming: Basic Notions and Implementation
I.V.Vel bitsky, A.L.Kovalev, I.V.Kasatkina, Wang Lei
1992, 7(4): 345-355.
Abstract
A Study of Optimization and Rule/Goal Graph for a Logical Query
Li Tianzhu
1992, 7(4): 356-362.
Abstract
Extending Hoare Logic with an Infinite While-Rule
Shao Zhiqing
1992, 7(4): 363-368.
Abstract
Conflict-Resolution in Multi-ES Cooperation System
Liu Dayou, Zheng Fangqing, Ma Zhifang, Shi Qiaolin
1992, 7(4): 369-378.
Abstract
Identification of Nonstationary Cellular Automata
Andrew I. Adamatzky
1992, 7(4): 379-382.
Abstract