Journal of the ACM (JACM)
The theory of database concurrency control
The theory of database concurrency control
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
Conceptual level concurrency control of relational update transactions
Lecture notes in computer science on ICDT '88
Comment on Bancilhon and Spyratos' “Update semantics and relational views”
ACM Transactions on Database Systems (TODS)
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Data abstractions for database systems
ACM Transactions on Database Systems (TODS)
System R: relational approach to database management
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Transactions and integrity constraints
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
The notions of consistency and predicate locks in a database system
Communications of the ACM
An algebra of quotient relations
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
Formal definition of mappings in a data base
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
A Guide to DB2
First-Order Dynamic Logic
The logic of a relational data manipulation language
POPL '79 Proceedings of the 6th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Data abstraction, views and updates in RIGEL
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Canonical view update support through boolean algebras of components
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Independent and separable database schemes
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Algebraic aspects of relational database decomposition
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
An operational approach to data bases
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
On complementary and independent mappings on databases
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
A Relational Database View Update Translation Mechanism
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
A Pragmatic Approach to Structured Database Design
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Properties and Update Semantics of Consistent Views
Properties and Update Semantics of Consistent Views
Updating relational databases through views (complements, mappings, select, project, join)
Updating relational databases through views (complements, mappings, select, project, join)
A validation tool for designing database views that permit updates
A validation tool for designing database views that permit updates
Object subclass hierarchy in SQL: a simple approach
Communications of the ACM
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
A polymorphic calculus for views and object sharing (extended abstract)
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
An execution model for limited ambiguity rules and its application to derived data update
ACM Transactions on Database Systems (TODS)
Communications of the ACM
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
A procedural semantics for stratified database updates
Annals of Mathematics and Artificial Intelligence
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
Decomposing Heterogeneous Inter-Entity Relationship Updates
IEEE Transactions on Knowledge and Data Engineering
Closed World Databases Opened Through Null Values
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Database Updates through Abduction
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Contexts and Views in Object-Oriented Languages
CONTEXT '99 Proceedings of the Second International and Interdisciplinary Conference on Modeling and Using Context
Uniqueness of Update Strategies for Database Views
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
Contextualization as an Abstraction Mechanism for Conceptual Modelling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
A programmable editor for developing structured documents based on bidirectional transformations
Proceedings of the 2004 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Relational lenses: a language for updatable views
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem
ACM Transactions on Programming Languages and Systems (TOPLAS) - Special issue on POPL 2005
Bidirectional interpretation of XQuery
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Compiling mappings to bridge applications and databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Bidirectionalization transformation based on automatic derivation of view complement functions
ICFP '07 Proceedings of the 12th ACM SIGPLAN international conference on Functional programming
Fibrations and universal view updatability
Theoretical Computer Science
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
Compiling mappings to bridge applications and databases
ACM Transactions on Database Systems (TODS)
Towards an Algebraic Theory of Bidirectional Transformations
ICGT '08 Proceedings of the 4th international conference on Graph Transformations
Algebraic Models for Bidirectional Model Synchronization
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Design Space of Heterogeneous Synchronization
Generative and Transformational Techniques in Software Engineering II
Defining Abstract Graph Views as Module Interfaces
Applications of Graph Transformations with Industrial Relevance
Foundations for Bidirectional Programming
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Multi-language synchronization
ESOP'07 Proceedings of the 16th European conference on Programming
The viewpoint abstraction in object-oriented modeling and the UML
ER'00 Proceedings of the 19th international conference on Conceptual modeling
Update support for database views via cooperation
ADBIS'07 Proceedings of the 11th East European conference on Advances in databases and information systems
Adventures in bidirectional programming
FSTTCS'07 Proceedings of the 27th international conference on Foundations of software technology and theoretical computer science
Revealing the X/O impedance mismatch: changing lead into gold
SSDGP'06 Proceedings of the 2006 international conference on Datatype-generic programming
Combining syntactic and semantic bidirectionalization
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Matching lenses: alignment and view update
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
Bidirectionalizing graph transformations
Proceedings of the 15th ACM SIGPLAN international conference on Functional programming
View update translation for XML
Proceedings of the 14th International Conference on Database Theory
Model synchronization: mappings, tiles, and categories
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Algebraic incremental maintenance of XML views
Proceedings of the 14th International Conference on Extending Database Technology
Incremental updates for efficient bidirectional transformations
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
Lenses, fibrations and universal translations
Mathematical Structures in Computer Science
Mappings make data processing go 'round
GTTSE'05 Proceedings of the 2005 international conference on Generative and Transformational Techniques in Software Engineering
Linguistic foundations for bidirectional transformations: invited tutorial
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Supporting feature model refinement with updatable view
Frontiers of Computer Science: Selected Publications from Chinese Universities
Algebraic incremental maintenance of XML views
ACM Transactions on Database Systems (TODS)
Hi-index | 0.03 |
The problem of translating view updates to database updates is considered. Both databases and views are modeled as data abstractions. A data abstraction consists of a set of states and of a set of primitive update operators representing state transition functions. It is shown how complex update programs can be built from primitive update operators and how view update programs are translated into database update programs. Special attention is paid to a class of views that we call “consistent.” Loosely speaking, a consistent view is a view with the following property: If the effect of a view update program on a view state is determined, then the effect of the corresponding database update is unambiguously determined. Thus, in order to know how to translate a given view update into a database update, it is sufficient to be aware of a functional specification of such a program. We show that consistent views have a number of interesting properties with respect to the concurrency of (high-level) update transactions. Moreover we show that the class of consistent views includes as a subset the class of views that translate updates under maintenance of a constant complement. However, we show that there exist consistent views that do not translate under constant complement. The results of Bancilhon and Spyratos [6] are generalized in order to capture the update semantics of the entire class of consistent views. In particular we show that the class of consistent views is obtained if we relax the requirement of a constant complement by allowing the complement to decrease according to a suitable partial order.