In this paper, we study unsatisfiable queries posed to a mediator in an information integration system and expressed in the logical formalism of the information integration system PICSEL. First, we characterise conflicts as the minimal causes of the unsatisfiability of a query. Then, we produce its set of repairs: a repair is a query that does not generate any conflict and that has a common gen...

Many methods on modeling failure processes of repairable systems have been developed. Based on different assumptions on the repairs, the models can be classified into three categories: models for minimal repair, models for general repair and models for perfect repair. In this paper, we will discuss a log linear model based on the general repair assumption. This model is integrated with the Kiji...

Abstract The development of reinforced concrete through the 20th century has resulted in a wealth historically and culturally significant structures around world. However, durability deterioration mechanisms this new material were not well understood and, as result, many historic require ongoing maintenance repair. Patch repairs are common during repair campaigns. balancing traditional conserva...

BACKGROUND Although autografts are the gold standard for failed primary nerve repairs, they result in donor-site morbidity. Nerve conduits and decellularized allografts are a novel solution for improved functional outcomes and decreased donor-site morbidity. Unfortunately, previous reconstructive algorithms have not included the use of decellularized allograft nerve segments, either for repair ...

we define minimal cn-dominating graph $mathbf {mcn}(g)$, commonality minimal cn-dominating graph $mathbf {cmcn}(g)$ and vertex minimal cn-dominating graph $mathbf {m_{v}cn}(g)$, characterizations are given for graph $g$ for which the newly defined graphs are connected. further serval new results are developed relating to these graphs.

A repairable system can brieey be characterized as a system which is repaired rather than replaced after a failure. The most commonly used models for the failure process of a repairable system are nonhomogeneous Poisson processes (NHPP), corresponding to minimal repairs, and renewal processes (RP), corresponding to perfect repairs. The paper reviews models for more general repair actions, often...

On-Line Analytical Processing (OLAP) dimensions are usually modelled as a hierarchical set of categories (the dimension schema), and dimension instances. The latter consist in a set of elements for each category, and relations between these elements (denoted rollup). To guarantee summarizability, a dimension is required to be strict, that is, every element of the dimension instance must have a ...