检索结果-内蒙古大学图书馆

COLAN - A FUNCTIONAL CONSTRAINT LANGUAGE AND ITS IMPLEMENTATION

DATA & KNOWLEDGE ENGINEERING 1995年第3期14卷 203-249页

作者： BASSILIADES, N GRAY, PMD UNIV ABERDEEN KINGS COLL DEPT COMP SCI ABERDEEN AB9 2UE SCOTLAND

This paper is about the definition of CoLan, a high-level declarative Constraint Description Language, for use with an object-oriented Database (OODB). CoLan has features of both first-order logic and functional programming and is based on Daplex. CoLan expressions are translated into Prolog code that implements the operational semantics of the constraint. Pieces of generated code are cached inside the class descriptor of the 'host' class attached to appropriate slots. The pieces of code are retrieved along an inheritance path when an update on the database is attempted. If the update violates any of the retrieved constaints then it is rejected with an informative message. Thus constraints are expressed declaratively and they can even be retracted individually. However, they are implemented efficiently as code-generated methods, triggered selectively by an update. The implementation is described for the ADAM OODB, which uses meta-classes of the CoLan system to generate class descriptions.

关键词： SEMANTIC INTEGRITY CONSTRAINTS object-oriented databases FUNCTIONAL DATA MODEL CONSTRAINT COMPILATION INCREMENTAL CONSTRAINT CHECKING NUMERICAL QUANTIFIERS

来源：评论

学校读者我要写书评

暂无评论

Separating adaptable persistence attributes through computational reflection

引用

IEEE SOFTWARE 2004年第6期21卷 41-+页

作者： Ortin, F Lopez, B Perez-Schofield, JBG Univ Oviedo Oviedo Spain Univ Vigo Vigo Spain

A prototype persistence system based on the nitrO reflective system demonstrates that computational reflection is a suitable technique for dynamically and transparently adapting any application's persistence attributes, following the separation-of-concerns principle. Because computational reflection offers the runtime customization of language semantics, it lets developers combine programming language and database management systems into a single computational model.

关键词： Java SQL object-oriented databases object-oriented programming persistent objects relational databases software maintenance software metrics software quality adaptable persistence attributes computational reflection database management systems object que Relational databases object oriented programming Software measurement SQL Software maintenance object-oriented databases database management systems Java programming language software quality tangling

来源：评论

学校读者我要写书评

暂无评论

GNOMES: An object-oriented nonmanifold geometric engine

引用

COMPUTER-AIDED DESIGN 1995年第11期27卷 853-868页

作者： Sriram, RD Wong, A He, LX ARIES TECHNOL LOWELLMA 01854 SCHLUMBERGER AUSTIN SYST CTR AUSTINTX 78726

/Geometric modelling is an integral part of most CAD/CAM applications. However, there is not a widespread and integrated use of geometric modelling throughout the product lifecycle. The primary reason for this is the differences in the modelling requirements of applications that are used at the various stages of the product development cycle. The paper describes a geometric engine, GNOMES, which provides a geometric modelling framework that can be shared by many applications. This is achieved using a unified representation which can model a large class of point sets that includes nonmanifold point sets, nonclosed point sets, and sets with cracks or missing points. Powerful high-level modelling operations (Boolean, topological, and structural operations) which are useful for constructing more complex models or interrogating the geometric models have been implemented. GNOMES also provides various database facilities through the use of a distributed object-oriented database management system. These facilities include support for persistent GNOMES objects, long and short duration transaction management for concurrent access by multiple applications, a general query facility, and a version and configuration management facility which can be used to record the evolution of GNOMES models. The GNOMES architecture is based on object-oriented principles, and it provides clear abstractions in a small set of encapsulated classes. The goal in developing GNOMES is to provide a geometric engine that is reasonably easy to understand and easily extensible, and that can be used as a basic building block of a collaborative engineering environment. The paper describes the GNOMES representation scheme, its object-oriented design, and sample applications which illustrate various GNOMES functionalities.

关键词： nonmanifold geometry collaborative product development object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

INITIAL SOFTWARE PROCESS MANAGEMENT IN EPOS

引用

SOFTWARE ENGINEERING JOURNAL 1991年第5期6卷 275-284页

作者： CONRADI, R OSJORD, E WESTBY, PH LIU, C NORWEGIAN INST TECHNOL DIV COMP SYST & TELEMATN-7034 TRONDHEIMNORWAY BEIJING POLYTECH UNIV BEIJINGPEOPLES R CHINA

EPOS* is an instrumentable, kernel software engineering environment (SEE), featuring change-oriented versioning to manage evolving software products or configurations, through file-based workspaces attached to a versioned DBMS. Management of the associated software development processes, i.e. to describe, plan, control and execute software activities. Integration of the two areas above. An object-oriented ERA data model, EPOS-OOER, to describe 'passive' software products and 'active' tasks. Work procedures are expressed as task types, which may be customised through simple versioning in project-specific workspaces. The design, implementation and preliminary experience of EPOS process management is the subject of this paper.

关键词： change-oriented versioning Software engineering techniques software development processes programming environments versioned DBMS file-based workspaces SEE software activities expert systems EPOs-OOER Expert systems and other AI software and techniques object-oriented ERA data model project-specific workspaces configuration management object-oriented databases evolving software products object-oriented databases task types Programming support EPOS process management kernal software engineering environment expert system

来源：评论

学校读者我要写书评

暂无评论

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model

引用

CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE 2001年第11期13卷 1013-1032页

作者： Spelt, D Even, S Univ Twente Ctr Telemat & Informat Technol NL-7500 AE Enschede Netherlands

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.

关键词： object-oriented databases formal methods theorem proving

来源：评论

学校读者我要写书评

暂无评论

A fuzzy object-oriented Data model for managing vague and uncertain information

引用

INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS 1999年第7期14卷 623-651页

作者： Bordogna, G Pasi, G Lucarella, D CNR Inst Multimedia Informat I-20131 Milan Italy Natl Elect Energy Co Ctr Automat Res Milan Italy

In this paper, a fuzzy object-oriented Data model (FOOD) is defined based on the extension of a Graph-based object model (D. Lucarella and A. Zanzi "A graph-oriented data model," in Database and Expert Systems Applications, R. Wagner and H. Toma, Eds., Springer-Verlag, Berlin, 1996, pp. 197-206), in order to manage both crisp and imperfect *** These capabilities are requisites of many current applications dealing with data of different nature and with complex interrelationships. The model is based on a visual paradigm which supports both the representation of the data semantics and the direct browsing of the information. In the extended model both the database scheme and instances are represented as directed labeled graphs in which the fuzzy and uncertain information has its own representation. (C) 1999 John Wiley & Sons, Inc.

关键词： object-oriented databases fuzzy set theory possibility theory graphs-based models

来源：评论

学校读者我要写书评

暂无评论

Garbage collecting the internet: A survey of distributed garbage collection

引用

ACM COMPUTING SURVEYS 1998年第3期30卷 330-373页

作者： Abdullahi, SE Ringwood, GA Queen Mary Univ London London WC1E 7HU England

Internet programming languages such as Java present new challenges to garbage-collection design. The spectrum of garbage-collection sehema for linked structures distributed over a network are reviewed here. Distributed garbage collectors are classified first because they evolved from single-address-space collectors, This taxonomy is used as a framework to explore distribution issues: locality of action, communication overhead and indeterministic communication latency.

关键词： automatic storage reclamation distributed object-oriented management distributed file systems distributed memories memory management network communication distributed object-oriented databases reference counting

来源：评论

学校读者我要写书评

暂无评论

object DATA MODEL = object-oriented + SEMANTIC MODELS

引用

COMPUTER STANDARDS & INTERFACES 1991年第1-3期13卷 99-103页

作者： QING, L AUSTRALIAN NATL UNIV DEPT COMP SCICANBERRAACT 2601AUSTRALIA

The term 'object-oriented database' has been used to refer to different characteristics and mechanisms supported by semantic databases and (behaviorally) object-oriented ones. while this indicates the current confusion due to the lack of a common model, it also suggests the potential desirability of combining these two kinds of modeling facilities into the same nutshell. This paper summarizes from these two paradigms the features common to both, the features influenced/adopted by each other, and the features which are presented in one paradigm but missing from the other. After a brief analysis and discussion of these features, we conclude this paper by proposing our major theme: a complete object data model should take the union of the facilities offered by these two kinds of models.

关键词： SEMANTIC DATA MODELING object-oriented databases object DATA MODEL

来源：评论

学校读者我要写书评

暂无评论

Genetic algorithm-based approach to allocation of distributed objects using graph models

引用

INTEGRATED COMPUTER-AIDED ENGINEERING 2001年第2期8卷 135-150页

作者： Choi, S Oh, JW Wu, C Seoul Natl Univ Sch Engn & Comp Sci SE Lab Seoul South Korea Duksung Womens Univ Sch Comp Sci Seoul South Korea

In this paper, the partitioning/allocation model and algorithm for mapping object-oriented (OO) applications into the heterogeneous distributed environments are proposed. Our model applies the graph-theoretic approach, dealing with a lot of characteristics of OO paradigm. In addition, individual metrics for communication cost, concurrency and load balance are defined. Our allocation algorithm is based on the Niched Pareto Genetic Algorithm (NPGA). The reason for using this technique is that a partitioning/allocation problem is multiobjective problem with non-commensurable (measured in different unit) objectives, and NPGA was proved to be effective in this kind of problem. We validated our model and algorithm by experimenting on the three typical OO systems in CORBA-based distributed environments. The main advantage of this approach is that the algorithm produces not a single solution, but a family of solutions known as the Pareto-optimal set, out of which the developer can select an optimal solution appropriate for his or her environmental conditions.

关键词： GENETIC algorithms GRAPH theory object-oriented databases

来源：评论

学校读者我要写书评

暂无评论

Conceptual object-oriented database: A theoretical model

引用

INFORMATION SCIENCES 1998年第1-4期105卷 31-68页

作者： Hines, ML Univ Missouri Comp Sci Telecommun Program Kansas City MO 64111 USA

The evolution of object-oriented databases (OODBs) has not been accompanied by an equivalent evolution of theoretical models, leaving the foundations for OODBs ill-defined. Design of OODBs has been hampered by the lack of design techniques/tools which correspond to the theoretical model. This paper defines a core conceptual object-oriented database (COODB) model providing a foundation and framework for theoretical research. Structural and behavioral definitions for an object, a class, and a class hierarchy are given. A specification hierarchy is introduced as a design tool, and a messaging component is defined which enables asynchronous and synchronous interaction. (C) 1998 Elsevier Science Inc. All rights reserved.

关键词： object-oriented databases system specification metadata evolution

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：