Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
Home
Journals
Archaeology International
Architecture_MPS
Europe and the World: A law review
Film Education Journal
History Education Research Journal
International Journal of Development Education and Global Learning
International Journal of Social Pedagogy
Jewish Historical Studies: A Journal of English-Speaking Jewry
Journal of Bentham Studies
London Review of Education
Radical Americas
Research for All
The Journal of the Sylvia Townsend Warner Society
The London Journal of Canadian Studies
About
About UCL Press
Who we are
Contact us
My ScienceOpen
Sign in
Register
Dashboard
Search
32
views
7
references
Top references
cited by
10
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
4,621
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Programming Languages and Systems
An Algebraic Approach to Bi-directional Updating
other
Author(s):
Shin-Cheng Mu
,
Zhenjiang Hu
,
Masato Takeichi
Publication date
(Print):
2004
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Numerical Algebra, Matrix Theory, Differential-Algebraic Equations, and Control Theory
Most cited references
7
Record
: found
Abstract
: not found
Article
: not found
Update semantics of relational views
N. Spyratos
,
F. Bancilhon
(1981)
0
comments
Cited
36
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
On the correct translation of update operations on relational views
Philip A. Bernstein
,
Umeshwar Dayal
(1982)
0
comments
Cited
18
times
– based on
0
reviews
Review now
Bookmark
Record
: found
Abstract
: not found
Article
: not found
Properties and update semantics of consistent views
Paolo Paolini
,
Georg Gottlob
,
Roberto V. Zicari
(1988)
0
comments
Cited
7
times
– based on
0
reviews
Review now
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2004
Pages
: 2-20
DOI:
10.1007/978-3-540-30477-7_2
SO-VID:
2bc6a115-9471-491d-8de9-a8a594f75956
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
A CLP Approach to Modelling Systems
pp. 2
An Algebraic Approach to Bi-directional Updating
pp. 21
Network Fusion
pp. 41
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type
pp. 57
An Implementation of Subtyping Among Regular Expression Types
pp. 74
An Implementation Scheme for XML Transformation Languages Through Derivation of Stream Processors
pp. 91
Detecting Software Defects in Telecom Applications Through Lightweight Static Analysis: A War Story
pp. 107
History Effects and Verification
pp. 129
Controlled Declassification Based on Intransitive Noninterference
pp. 146
A Concurrent System of Multi-ported Processes with Causal Dependency
pp. 163
Concurrency Combinators for Declarative Synchronization
pp. 179
A Uniform Reduction Equivalence for Process Calculi
pp. 196
Substructural Operational Semantics and Linear Destination-Passing Style (Invited Talk)
pp. 197
PType System: A Featherweight Parallelizability Detector
pp. 213
A Type Theory for Krivine-Style Evaluation and Compilation
pp. 229
Region-Based Memory Management for a Dynamically-Typed Language
pp. 246
Protocol Specialization
pp. 262
Automatic Generation of Editors for Higher-Order Data Structures
pp. 280
A MATLAB-Based Code Generator for Sparse Matrix Computations
pp. 296
D-Fusion: A Distinctive Fusion Calculus
pp. 311
A Functional Language for Logarithmic Space
pp. 327
Build, Augment and Destroy, Universally
pp. 348
Free Σ-Monoids: A Higher-Order Syntax with Metavariables
pp. 364
The Scala Experiment – Can We Provide Better Language Support for Component Systems?
pp. 366
Pointcuts as Functional Queries
pp. 382
Formal Design and Verification of Real-Time Embedded Software
pp. 398
McJava – A Design and Implementation of Java with Mixin-Types
pp. 415
A Relational Model for Object-Oriented Designs
pp. 437
Exploiting Java Objects Behavior for Memory Management and Optimizations
Similar content
4,621
On SL(3,C)-covariant spinor equation and generalized Duffin-Kemmer algebra
Authors:
A Solov'yov
Perioperative outcomes of emergency and elective colorectal surgery: a bi-institutional study.
Authors:
Alexander H Seeto
,
Hajir Nabi
,
Matthew J Burstow
…
SR-BI-mediated high density lipoprotein (HDL) endocytosis leads to HDL resecretion facilitating cholesterol efflux.
Authors:
Herbert Stangl
,
Ivo Volf
,
Erik Eckhardt
…
See all similar
Cited by
9
Bidirectional Transformations: A Cross-Discipline Perspective
Authors:
Krzysztof Czarnecki
,
J. Foster
,
Zhenjiang Hu
…
Bidirectional model transformations in QVT: semantic issues and open questions
Authors:
Perdita Stevens
A Landscape of Bidirectional Model Transformations
Authors:
Perdita Stevens
See all cited by