We revisit the view update problem and the abstract functional framework by Bancilhon and Spyratos in a setting where views and updates are exactly given by functions that are expressible in first-order logic. We give a characterisation of views and their inverses based on the notion of definability, and we introduce a general method for checking whether a view update can be uniquely translated...

Legal translation is a type of translation for legal terms and documents from a source language (SL) into a target language (TL). Moreover, it is also a translation from one legal system into another. It involves all the legal texts that are used in different legal settings; in courts, legal reports, contracts, etc. This paper aimed at examining the translatability of Google Translation (GT) fo...

The ModelJoin language offers the definition of views that combine information from heterogeneous models. These views are currently realised by unidirectional transformations. Thus, updates to the views are not translated back to the models. In this paper, we study the view-update problem for ModelJoin view definitions. We propose translation strategies for view updates, and show that generated...