Composition with target constraints

@article{Arenas2010CompositionWT,
  title={Composition with target constraints},
  author={Marcelo Arenas and Ronald Fagin and Alan Nash},
  journal={Logical Methods in Computer Science},
  year={2010},
  volume={7}
}
It is known that the composition of schema mappings, each specified by source-to-target tgds (st-tgds), can be specified by a second-order tgd (SO tgd). We consider the question of what happens when target constraints are allowed. Specifically, we consider the question of specifying the composition of standard schema mappings (those specified by st-tgds, target egds, and a weakly-acyclic set of target tgds). We show that SO tgds, even with the assistance of arbitrary source constraints and… CONTINUE READING
Highly Cited
This paper has 38 citations. REVIEW CITATIONS

From This Paper

Topics from this paper.

References

Publications referenced by this paper.

Similar Papers

Loading similar papers…