Traditional object-orientedprogramming languages do not support user-level object structure definition, so it is impossible to treat external or low-level data structures (like an integer, an array and a pointer) as ...
详细信息
Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction T another transaction T-1 to semantica...
详细信息
Compensation plays an important role in advanced transaction models, cooperative work and workflow systems. A schema designer is typically required to supply for each transaction T another transaction T-1 to semantically undo the effects of T. Little attention has been paid to the verification of the desirable properties of such operations, however. this paper demonstrates the use of a higher-order logic theorem prover for verifying that compensating transactions return a database to its original state. It is shown how an OODB schema is translated to the language of the theorem prover so that proofs can be performed on the compensating transactions. Copyright (C) 2001 John Wiley & Sons, Ltd.
Precise type information is invaluable for analysis and optimization of object-oriented programs. Some forms of polymorphism found in object-oriented languages pose significant difficulty for type inference, in partic...
详细信息
Re-classification changes at run-time the class membership of an object while retaining its identity. We suggest language features for object re-classification, which could extend an imperative, typed, classbased, obj...
详细信息
Containment of objects is a natural concept that has been poorly supported in object-orientedprogramming languages. For a predefined set of ownership contexts, this paper presents a type system that enforces certain ...
详细信息
Data mining is the discovery of knowledge and useful information from the large amounts of data stored in databases. the emerging data mining tools and systems lead to the demand of a powerful data mining query langua...
详细信息
We propose the flying objectthat adapts itself to the environment by means of the dynamic behavior change mechanism. the flying object is user-defined first-class and abstract entity Such properties provide independe...
详细信息
ISBN:
(纸本)0769509525
We propose the flying objectthat adapts itself to the environment by means of the dynamic behavior change mechanism. the flying object is user-defined first-class and abstract entity Such properties provide independency and transparency. the flying object model establishes a unique decomposition of the flying object. In this model, the flying object consists of four objects: the delegator that encapsulates the implementation, the message handler that interprets the messages, the event handler that provides adaptation strategies and the context objectthat holds a stare beyond the adaptation. the ability of accommodation, the openness, is one of great contributions of this model because many functions such as object migration, load balancing, distributed transaction management, the communication protocols and even adaptation strategies can be introduced by the message handler and the event handler as a plug-in module. Furthermore, a source code translation technique is introduced for automatic decomposition of the flying object as a replacement for the virtual machine customizations or low-level programming. the delegator and the context object are instantiated from the same translated class to minimize maintenance costs of classes as a result of an automatic translation. therefore, the system organized by the flying object is best suited for the open distributed environment.
A generic graphical query language for ODMG-compliant object databases – called Unified Query By Example (UQBE) – is proposed, based on the ideas of Zloof’s Query-By-Example, and using UML-like diagrams as schema n...
详细信息
Visual object database browsers are essentially based on two kinds of interactions: navigation within a collection of objects, and navigation between objects by the way of their relationships. these two inter-actional...
详细信息
More than ever before schema transformation is a prevalent problem that needs to be addressed to accomplish for example the mi- gration of legacy systems to the newer OODB systems, the generation of structured web pag...
详细信息
暂无评论