Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem

JN Foster, MB Greenwald, JT Moore… - ACM Transactions on …, 2007 - dl.acm.org
We propose a novel approach to the view-update problem for tree-structured data: a domain-
specific programming language in which all expressions denote bidirectional …

Relational lenses: a language for updatable views

A Bohannon, BC Pierce, JA Vaughan - … of the twenty-fifth ACM SIGMOD …, 2006 - dl.acm.org
We propose a novel approach to the classical view update problem. The view update
problem arises from the fact that modifications to a database view may not correspond …

Elements of relational database theory

PC Kanellakis - Formal models and semantics, 1990 - Elsevier
Publisher Summary This chapter presents a systematic and unifying introduction to
relational database theory, including some of the recent developments in database logic …

Combinators for bi-directional tree transformations: a linguistic approach to the view update problem

JN Foster, MB Greenwald, JT Moore, BC Pierce… - ACM SIGPLAN …, 2005 - dl.acm.org
We propose a novel approach to the well-known view update problem for the case of tree-
structured data: a domain-specific programming language in which all expressions denote …

[PDF][PDF] Database Updates through Abduction.

AC Kakas, P Mancarella - VLDB, 1990 - vldb.org
The problem of view updates in deductive databases is studied by casting this in a naturally
associated abductive framework. It is shown that this abductive approach deals successfully …

Updatable views in object-oriented databases

MH Scholl, C Laasch, M Tresch - … '91 Munich, Germany, December 16–18 …, 1991 - Springer
Object-oriented database systems (ooDBMSs) are supposed to offer at least the functionality
available in commercial relational DBMSs of today. One important consequence of this is …

Bidirectionalization transformation based on automatic derivation of view complement functions

K Matsuda, Z Hu, K Nakano, M Hamana… - ACM SIGPLAN …, 2007 - dl.acm.org
Bidirectional transformation is a pair of transformations: a view function and a backward
transformation. A view function maps one data structure called source onto another called …

A programmable editor for developing structured documents based on bidirectional transformations

Z Hu, SC Mu, M Takeichi - Proceedings of the 2004 ACM SIGPLAN …, 2004 - dl.acm.org
This paper presents a novel editor supporting interactive refinement in the development of
structured documents. The user performs a sequence of editing operations on the document …

Bidirectionalizing graph transformations

S Hidaka, Z Hu, K Inaba, H Kato, K Matsuda… - Proceedings of the 15th …, 2010 - dl.acm.org
Bidirectional transformations provide a novel mechanism for synchronizing and maintaining
the consistency of information between input and output. Despite many promising results on …

Generation of query and update views for object relational mapping

A Adya, PA Bernstein, S Melnik - US Patent 7,647,298, 2010 - Google Patents
BACKGROUND Bridging applications and databases is a longstanding problem. In 1996,
Carey and DeWitt outlined why many technologies, including object-oriented databases and …