Skip to content

An algebraic approach to bi-directional updating

42Citations
Citations of this article
14Readers
Mendeley users who have this article in their library.
Get full text

Abstract

In many occasions would one encounter the task of maintaining the consistency of two pieces of structured data that are related by some transform - synchronising bookmarks in different web browsers, the source and the view in an editor, or views in databases, to name a few. This paper proposes a formal model of such tasks, basing on a programming language allowing injective functions only. The programmer designs the transformation as if she is writing a functional program, while the synchronisation behaviour is automatically derived by algebraic reasoning. The main advantage is being able to deal with duplication and structural changes. The result will be integrated to our structure XML editor in the Programmable Structured Document project.

Cite

CITATION STYLE

APA

Mu, S. C., Hu, Z., & Takeichi, M. (2004). An algebraic approach to bi-directional updating. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3302, 2–20. https://doi.org/10.1007/978-3-540-30477-7_2

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free