Constraint analysis: a design process for specifying operations onobjects

A design process for an object-oriented database design environment, known as constraint analysis, is presented. Given the increased level of semantics associated with an object-oriented database schema, constraint analysis makes use of semantics expressed as database constraints to support the flexible specification of propagation actions for operations on objects. Constraints are formally represented using Horn logic. The constraint analysis process then reasons about constraints at design time to help the designer understand the effects of constraints on object manipulation, identifying possible constraint violations as well as design alternatives for handling violations. An advantage of constraint analysis is that both inherent and explicit schema constraints are included in the analysis process. A formal representation is given that supports the analysis of constraints and the automatic identification of design alternatives for responding to constraint violations     

A pattern-based object calculus

Several object-oriented database management systems have been implemented without an accompanying theoretical foundation for constraint, query specification, and processing. The pattern-based object calculus presented in this article provides such a theoretical foundation for describing and processing objectoriented databases. We view an object-oriented database as a network of interrelated classes (i.e., the intension) and a collection of time-varying object association patterns (i.e., the extension). The object calculus is based on first-order logic. It provides the formalism for interpreting precisely and uniformly the semantics of queries and integrity constraints in object-oriented databases. The power of the object calculus is shown in four aspects. First, associations among objects are expressed explicitly in an object-oriented database. Second, the nonassociation operator is included in the object calculus. Third, set-oriented operations can be performed on both homogeneous and heterogeneous object association patterns. Fourth, our approach does not assume a specific form of database schema. A proposed formalism is also applied to the design of high-level object-oriented query and constraint languages.     

Object-Oriented Data Modelling for Graphics Databases: a Declarative Approach

This paper presents a new scheme to integrate the declarative approach to graphics and object-oriented data modelling techniques to form a fruitful symbiosis for constraint-based graphics database systems. It has rich modelling constructs to describe graphics data and allows sharing of representation. It also provides useful mechanisms for management of integrity constraints. We have also identified important classes of constraints in the context of object-oriented graphics database systems. Examples are given for maintenance of constraints at the time of insertion, deletion and modification.     

面向对象知识模型的构建

介绍了面向对象技术设计知识库模式的方法。强调知识模型构建的重点是在表达、验证及推导设计限制条件，而不是传统意义上的数据。设计概念仍沿用类表示，分3个部分：决策参数、表现参数及限制条件。决策参数是从限制条件中抽象出来的数据，代表设计对象的属性或状态；表现参数是对决策参数的计算和度量；限制条件规范及限制表现参数的域值，可视为类不变量，每个类对象都必需满足之。设计概念之间的相互联系则用关联来阐述。传统面向对象技术考虑的是数据在关联中的横向、纵向传递，提出关联类以捕获数据，同时增加关联的限制条件作为关联不变量。在继承和整件-部件关联的基础上，增加了特性关联。模型构建构建以汽车制造中模板设计为例加以说明。     

Disjunctions, independence, refinements

An important question in constraint satisfaction is how to restrict the problem to ensure tractability (since the general problem is NP-hard). The use of disjunctions has proven to be a useful method for constructing tractable constraint classes from existing classes; the well-known ‘max-closed’ and ‘ORD-Horn’ constraints are examples of tractable classes that can be constructed this way. Three sufficient conditions (the guaranteed satisfaction property, 1-independence and 2-independence) that each ensure the tractability of constraints combined by disjunctions have been proposed in the literature. We show that these conditions are both necessary and sufficient for tractability in three different natural classes of disjunctive constraints. This suggests that deciding this kind of property is a very important task when dealing with disjunctive constraints. We provide a simple, automatic method for checking the 1-independence property—this method is applicable whenever the consistency of the constraints under consideration can be decided by path-consistency. Our method builds on a connection between independence and refinements (which is a way of reducing one constraint satisfaction problem to another.)     

A persistent complex object database language

To support a number of emerging applications we propose a persistent complex object database language which is “value” based. The object space is built through the set and tuple object constructors, with practically no normalization constraints on the nesting levels. The proposed persistent database language can serve both as an interface language to the database management system in itself or as the target language of a conceptual data language. Some of the features of the language include: (i) Notion of “path's” capturing logical references to retrieve and update the persistent database, (ii) a rich set of allowable schema types, including disjuncts, and (iii) a collection of powerful operator constructors for sets.     

几何设计约束的表示与满足问题研究

对于智能ＣＡＤ系统来说，具有解决几何设计约束的功能是重要的。本文提出了一种面向对象的几何设计约束表示方法，它可以通过两种方式来表达。文中给出了一个约束传播算法，用于解决约束满足问题。     

A general framework for reason maintenance

There are several different kinds of reason-maintenance system in existence, which provide rather different functionalities. I present a general structure that subsumes most such systems, and that allows some new behaviors to emerge. The general framework is based on logic-style clauses (disjunctions of literals) instead of justifications. Literals are tagged with labels that say what assumption sets make them true and false. Nonmonotonicity is implemented by allowing clauses to contain disjuncts of the form Lp, which supports propagation through a clause whenever p is not known to be true. The resulting system supports two popular styles of dependency-directed backtracking, using nogoods and assumption retraction. Assumption retraction does not require a separate contradiction-elimination phase, but occurs automatically during label propagation. Label propagation can be achieved by the usual variants of Boolean constraint propagation, provided there are no “odd loops” through the clauses, and it can be shown that the system itself never creates odd loops.     

Revision programming

In this paper we introduce revision programming — a logic-based framework for describing constraints on databases and providing a computational mechanism to enforce them. Revision programming captures those constraints that can be stated in terms of the membership (presence or absence) of items (records) in a database. Each such constraint is represented by a revision rule ← ₁,…,_k, where and all ga_i are of the form in(a) and out(b). Collections of revision rules form revision programs. Similarly as logic programs, revision programs admit both declarative and imperative (procedural) interpretations. In our paper, we introduce a semantics that reflects both interpretations. Given a revision program, this semantics assigns to any database B a collection (possibly empty) of P-justified revisions of B. The paper contains a thorough study of revision programming. We exhibit several fundamental properties of revision programming. We study the relationship of revision programming to logic programming. We investigate complexity of reasoning with revision programs as well as algorithms to compute P-justified revisions. Most importantly from the practical database perspective, we identify two classes of revision programs, safe and stratified, with a desirable property that they determine for each initial database a unique revision.     

Modeling glasses using the reverse Monte Carlo algorithm: addition of nuclear magnetic resonance and expanded coordination number constraints

In simple oxide glasses the coordination number and oxidation state of the glass-forming element can be predicted directly from the “8 − n” rule. Tellurite glasses, however, are unusual in that the coordination number of oxygen around tellurium varies without a corresponding change in the oxidation state of tellurium. To model sodium tellurite glasses successfully using the reverse Monte Carlo algorithm several new constraints have been added. Changes include extending the original coordination constraint to allow multiple coordination numbers, and the addition of a new coordination constraint to keep the oxidation state of tellurium constant by limiting the number of bridging and nonbridging oxygens bonded to each tellurium atom. In addition, the second moment of the distribution of dipolar couplings for sodium atoms obtained from a spin-echo NMR experiment was added as a new constraint. The resulting real-space models are presented and the effectiveness of the new constraints is discussed.     

General Properties and Termination Conditions for Soft Constraint Propagation

Soft constraints based on semirings are a generalization of classical constraints, where tuples of variables' values in each soft constraint are associated to elements from an algebraic structure called semiring. This framework is able to express, for example, fuzzy, classical, weighted, valued and over-constrained constraint problems.Classical constraint propagation has been extended and adapted to soft constraints by defining a schema for soft constraint propagation [8]. On the other hand, in [1–3] it has been proven that most of the well known constraint propagation algorithms for classical constraints can be cast within a single schema.In this paper we combine these two schemas and we provide a more general framework where the schema of [3] can be used for soft constraints. In doing so, we generalize the concept of soft constraint propagation, and we provide new sufficient and independent conditions for its termination.     

An agent-oriented approach to change propagation in software maintenance

Software maintenance and evolution is a lengthy and expensive phase in the life cycle of a software system. In this paper we focus on the change propagation problem: given a primary change that is made in order to meet a new or changed requirement, what additional, secondary, changes are needed? We propose a novel, agent-oriented, approach that works by repairing violations of desired consistency rules in a design model. Such consistency constraints are specified using the Object Constraint Language (OCL) and the Unified Modelling Language (UML) metamodel, which form the key inputs to our change propagation framework. The underlying change propagation mechanism of our framework is based on the well-known Belief-Desire-Intention (BDI) agent architecture. Our approach represents change options for repairing inconsistencies using event-triggered plans, as is done in BDI agent platforms. This naturally reflects the cascading nature of change propagation, where each change (primary or secondary) can require further changes to be made. We also propose a new method for generating repair plans from OCL consistency constraints. Furthermore, a given inconsistency will typically have a number of repair plans that could be used to restore consistency, and we propose a mechanism for semi-automatically selecting between alternative repair plans. This mechanism, which is based on a notion of cost, takes into account cascades (where fixing the violation of a constraint breaks another constraint), and synergies between constraints (where fixing the violation of a constraint also fixes another violated constraint). Finally, we report on an evaluation of the approach, covering effectiveness, efficiency and scalability.     

The power of propagation: when GAC is enough

Considerable effort in constraint programming has focused on the development of efficient propagators for individual constraints. In this paper, we consider the combined power of such propagators when applied to collections of more than one constraint. In particular we identify classes of constraint problems where such propagators can decide the existence of a solution on their own, without the need for any additional search. Sporadic examples of such classes have previously been identified, including classes based on restricting the structure of the problem, restricting the constraint types, and some hybrid examples. However, there has previously been no unifying approach which characterises all of these classes: structural, language-based and hybrid. In this paper we develop such a unifying approach and embed all the known classes into a common framework. We then use this framework to identify a further class of problems that can be solved by propagation alone.     

A structure for expert systems maintenance

An approach to the design of maintainable expert systems is presented. Central to this approach is a conceptual model in which the data and knowledge are both modelled as formal “items” in a uniform way. “Objects” are introduced as “item building” operators. The notion of the “decomposition” of items and objects provides the foundation for a single rule of normalization. This single rule applies to all items and objects, including knowledge items, and is a non-trivial generalization of the traditional normal forms for database. Coupling relationships represent the necessary maintenance paths in the conceptual model. A complete characterization of coupling relationships is given, and the value of normalization to the reduction of maintenance costs is discussed.     

Active Integrity Constraints for Database Consistency Maintenance

This paper introduces active integrity constraints (AICs), an extension of integrity constraints for consistent database maintenance. An active integrity constraint is a special constraint whose body contains a conjunction of literals which must be false and whose head contains a disjunction of update actions representing actions (insertions and deletions of tuples) to be performed if the constraint is not satisfied (that is its body is true). The AICs work in a domino-like manner as the satisfaction of one AIC may trigger the violation and therefore the activation of another one. The paper also introduces founded repairs, which are minimal sets of update actions that make the database consistent, and are specified and “supported” by active integrity constraints. The paper presents: 1) a formal declarative semantics allowing the computation of founded repairs and 2) a characterization of this semantics obtained by rewriting active integrity constraints into disjunctive logic rules, so that founded repairs can be derived from the answer sets of the derived logic program. Finally, the paper studies the computational complexity of computing founded repairs.     

Boolean operations and inclusion test for attribute–element constraints

The history of schema languages for XML is (roughly) an increase of expressiveness. While early schema languages mainly focused on the element structure, Clark first paid an equal attention to attributes by allowing both element and attribute constraints in a single constraint expression (we call his mechanism “attribute–element constraints”). In this paper, we investigate intersection and difference operations and inclusion test for attribute–element constraints, in view of their importance in static typechecking for XML processing programs. The contributions here are (1) proofs of closure under intersection and difference as well as decidability of inclusion test and (2) algorithm formulations incorporating a “divide-and-conquer” strategy for avoiding an exponential blow-up for typical inputs.     

Real-time transaction scheduling in database systems

A database system supporting a real-time application, which can be called “a real-time database system (RTDBS)”, has to provide real-time information to the executing transactions. Each RTDB transaction is associated with a timing constraint, usually in the form of a deadline. Efficient resource scheduling algorithms and concurrency control protocols are required to schedule the transactions so as to satisfy both timing constraints and data consistency requirements. In this paper,^† we concentrate on the concurrency control problem in RTDBSs. Our work has two basic goals: real-time performance evaluation of existing concurrency control approaches in RTDBSs, and proposing new concurrency control protocols with improved performance. One of the new protocols is locking-based, and it prevents the priority inversion problem^{, †} by scheduling the data lock requests based on prioritizing data items. The second new protocol extends the basic timestamp-ordering method by involving real-time priorities of transactions in the timestamp assignment procedure. Performance of the protocols is evaluated through simulations by using a detailed model of a single-site RTDBS. The relative performance of the protocols is examined as a function of transaction load, data contention (which is determined by a number of system parameters) and resource contention. The protocols are also tested under various real-time transaction processing environments. The performance of the proposed protocols appears to be good, especially under conditions of high transaction load and high data contention.     

A general treatment of dynamic integrity constraints

This paper introduces a general, set-theoretic model for expressing dynamic integrity constraints, i.e., integrity constraints on the state changes that are allowed in a given state space. In a managerial context, such dynamic integrity constraints can be seen as representations of “real world” constraints and business rules. This topic has important practical applications in many business areas. The notions of (direct) transition, reversible and irreversible transition, transition relation, and consistency of a transition relation will be introduced. The expected link with Kripke models (for modal and temporal logics) is also made explicit. Several practical examples of dynamic integrity constraints will illustrate the applicability of the theory. Some important subclasses of dynamic integrity constraints in a database context will be identified, e.g., various forms of cumulativity (which can be regarded as “transitional” inclusion dependencies concerning two different “points in time”), non-decreasing values, integrity constraints on initial and final values, life cycles, changing life cycles, and transition and constant dependencies. Several formal properties of these dependencies will be derived. For instance, it turns out that functional dependencies can be considered as “degenerated” transition dependencies. Also, the distinction between primary keys and alternate keys is reexamined, from a dynamic point of view.     

The CCUBE Constraint Object-Oriented Database System

Constraints provide a flexible and uniform way to represent diverse data capturing spatio-temporal behavior, complex modeling requirements, partial and incomplete information etc, and have been used in a wide variety of application domains. Constraint databases have recently emerged to deeply integrate data captured by constraints in databases. This paper reports on the development of the first constraint object-oriented database system, CCUBE, and describes its specification, design and implementation. The CCUBE system is designed to be used for the implementation and optimization of high-level constraint object-oriented query languages as well as for directly building software systems requiring extensible use of constraint database features. The CCUBE data manipulation language, Constraint Comprehension Calculus, is an integration of a constraint calculus for extensible constraint domains within monoid comprehensions, which serve as an optimization-level language for object-oriented queries. The data model for the constraint calculus is based on constraint spatio-temporal (CST) objects that may hold spatial, temporal or constraint data, conceptually represented by constraints. New CST objects are constructed, manipulated and queried by means of the constraint calculus. The model for the monoid comprehensions, in turn, is based on the notion of monoids, which is a generalization of collection and aggregation types. The focal point of our work is achieving the right balance between the expressiveness, complexity and representation usefulness, without which the practical use of the system would not be possible. To that end, CCUBE constraint calculus guarantees polynomial time data complexity, and, furthermore, is tightly integrated with the monoid comprehensions to allow deeply interleaved global optimization.     

A differential-geometric approach for 2D and 3D object grasping and manipulation

This article presents an expository work on a differential-geometric treatment of fundamental problems of 2D and 3D object grasping and manipulation by a pair of robot fingers with multi-joints under holonomic or nonholonomic constraints. First, Lagrange’s equation of motion of a fingers-object system whose motion is confined to a vertical plane is derived under holonomic constraints when rolling contacts between finger-ends and object surfaces are permitted. Then, a class of control signals called “blind grasping” and constructed without knowing the object kinematics or using any external sensing like vision or tactile sensation is shown to realize stable object grasping in a dynamic sense. Stability of motion and its convergence to an equibrium manifold are treated on the basis of differential geometry of solution trajectories of the closed-loop dynamics on the constraint manifolds. Second, a mathematical model of 3D object grasping and manipulation by a pair of multi-joint robot fingers is derived under the assumption that spinning motion of rotation around the opposing axis between contact points does no more arise. It is shown that, differently from the 2D case, the instantaneous axis of rotation of the object is time-varying, which induces a nonholonomic constraint expressed as a linear differential equation of rotational motion of the pinched object. It is shown that there is a class of control signals constructed without knowing the object kinematics or using external sensings that can realize “blind grasping” in a dynamic sense. Finally, it is shown that the proposed differential geometric treatment of stability can naturally cope with redundancy resolution problems of surplus degrees-of-freedom (d.f.) of the overall fingers-object system, which is closely related to Bernstein’s d.f. problem.