Marcelo Arenas, Pablo Barcelo, Leonid Libkin, Filip Murlak
Springer International Publishing
26.74 € · Paperback
Data exchange is the problem of finding an instance of a target schema, given an instance of a source schema and a specification of the relationship between the source and the target. Such a target instance should correctly represent information from the source instance under the constraints imposed...