In this paper the catalog management strategy of the successfully integrating andrunning DDBMS C-POREL is summarized. The new catalog management strategyand its implementation scheme are based on the analysis of the catalog managementmethods of the pioneer DDBMS. The goal of the new strategy is to improve the systemefficiency. Analysis and practice show that this strategy is successful.

Acyclic databases possess several desirable properties for their design and use. Adistributed algorithm is proposed for determining a minimal cover of an alpha-, beta-,gamma-, or Berge-acyclic database scheme over a set of attributes in a distributedenvironment.

Story understanding is one of the important branches of natural language under-standing research in AI techniques. A new approach to story understanding is proposedin this paper. The so-called Story Parsing Grammar (SPG) is used to represent thestory abstracting processes with different degrees in story understanding, and the storyunderstanding process is converted to the story recognizing process done by the syn-tactic parser of SPG. This kind of story understanding is called story parsing. In thispaper, f…

Declarative semantics gives the meaning of a logic program in terms of properties,while the procedural semantics gives the meaning in terms of the execution or evalua-tion of the program. From the database point of view, the procedural semantics of theprogram is equally important. This paper focuses on the study of the bottom-up eval-uation of the WFM semantics of datalog- programs. To compute the WFM, first, thestability transformation is revisited, and a new operator Op and its fixpoint are defined.Based …

The relationship between TMS and general logic programs is an important issue in non-monotonic logic programming. In this paper, we prove that, after we translate the TMS theory into a general logic program, the TMS's well-founded assignment (orextension) is equivalent to the corresponding general logic program's stable model. It means that TMS can be completely integrated into a non-monotonic logic programming environment.

In this paper we consider the problem of sequential processing and present a sequen-tial model based on the back-propagation algorithm. This model is intended to deal with intrinsically sequential problems, such as word recognition, speech recognition,natural language understanding. This model can be used to train a network to learn the sequence of input patterns, in a fixed order or a random order. Besides, this mod-el is open- and partial-associative, characterized as "recognizing while accumulating",whic…

The best algorithms of INSERT and DELETE operations on heap is presented,by which HEAPSORT is improved. Inserting one element into and deleting one element from a heap of n elements spend at most [loglogn] comparisons and [logn]comparisons and transfers of element in the worst cases respectively. The improved HEAPSoRT spends n log n + n log logn + O(n) comparisons and element transfers (notswapl) in the worst case. It may be the best HEAPSORT algorithm since the lower bound of sorting algorithm [log nl] n l…

In the previous paper, some important properties of extensions of general default theories were given. In order to further explore default logic, a characterization of extensions is presented. And a class of defaults, so-called Auto-compatible Default Theory, is also iotroduced. All these essentially develop the theories of Reiter and his followers.

This paper mainly introduces a model of the Object-Oriented User Interface Gen-eration Tool (OOUIGT) and describes the procedure of the implementation. The oOUIGT (FasTool) has been implemented on SGI workstation. This enables the UI designing not to be a lower level programming procedure, but to be a higher level description procedure which is formal,convenient, comprehensive and fast.

Numerous new RISC processors provide support for supercomputing. By using the "mini-Cray" i860 superscalar processor, an add-on board has been developed to boost the performance of a real time system. A parallel heterogeneous multiprocessor supercomputing system, TSP, is constructed. In this paper, we present the system design consideration and described the architecture of the TSP and its features.