72,800 research outputs found
Cendrarsiana
Schema mappings have been extensively studied in the context of data exchange and data integration, where they have turned out to be the right level of abstraction for formalizing data interoperability tasks. Up to now and for the most part, schema mappings have been studied as static objects, in the sense that each time the focus has been on a single schema mapping of interest or, in the case of composition, on a pair of schema mappings of interest. In this paper, we adopt a dynamic viewpoint and embark on a study of sequences of schema mappings and of the limiting behavior of such sequences. To this effect, we first introduce a natural notion of distance on sets of finite target instances that expresses how "Close" two sets of target instances are as regards the certain answers of conjunctive queries on these sets. Using this notion of distance, we investigate pointwise limits and uniform limits of sequences of schema mappings, as well as the companion notions of pointwise Cauchy and uniformly Cauchy sequences of schema mappings. We obtain a number of results about the limits of sequences of GAV schema mappings and the limits of sequences of LAV schema mappings that reveal striking differences between these two classes of schema mappings. We also consider the completion of the metric space of sets of target instances and obtain concrete representations of limits of sequences of schema mappings in terms of generalized schema mappings, that is, schema mappings with infinite target instances as solutions to (finite) source instances
Mappings of least Dirichlet energy and their Hopf differentials
The paper is concerned with mappings between planar domains having least
Dirichlet energy. The existence and uniqueness (up to a conformal change of
variables in the domain) of the energy-minimal mappings is established within
the class of strong limits of homeomorphisms in the
Sobolev space , a result of considerable interest in the
mathematical models of Nonlinear Elasticity. The inner variation leads to the
Hopf differential and its trajectories.
For a pair of doubly connected domains, in which has finite conformal
modulus, we establish the following principle:
A mapping is energy-minimal if and only if
its Hopf-differential is analytic in and real along the boundary of .
In general, the energy-minimal mappings may not be injective, in which case
one observes the occurrence of cracks in . Nevertheless, cracks are
triggered only by the points in the boundary of where fails to be
convex. The general law of formation of cracks reads as follows:
Cracks propagate along vertical trajectories of the Hopf differential from
the boundary of toward the interior of where they eventually terminate
before making a crosscut.Comment: 51 pages, 4 figure
- …