We use cookies to improve your experience with our site.

An Algorithm for Determining Database Consistency Under the Closed World Assumption
Form alizing Incomplete Knowledge in Incomplete Databases
Concurrency Control Mechanism of Complex Objects
Concurrency Control of Single-Level Transaction in WHYMX Object-Oriented Database System
Range Query Processing in Multidisk Systems
A Frame Based Architecture for Information Integration in CIMS
Net Operations
R-Technology of Programming: Basic Notions and Implementation
A Study of Optimization and Rule/Goal Graph for a Logical Query
Extending Hoare Logic with an Infinite While-Rule
Conflict-Resolution in Multi-ES Cooperation System
Identification of Nonstationary Cellular Automata
Current Issue Cover