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)
Journal of the ACM (JACM)
Query processing in deductive databases with incomplete information
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
A dynamic framework for object projection views
ACM Transactions on Database Systems (TODS)
Equivalence and optimization of relational transactions
Journal of the ACM (JACM)
A model-based approach to updating databases with incomplete information
ACM Transactions on Database Systems (TODS)
An application oriented approach to view updates
COCS '88 Proceedings of the ACM SIGOIS and IEEECS TC-OA 1988 conference on Office information systems
Update and retrieval in a relational database through a universal schema interface
ACM Transactions on Database Systems (TODS)
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
NFQL: the natural forms query language
ACM Transactions on Database Systems (TODS)
Transformation approach for consistency in object-oriented knowledge bases
ACM SIGART Bulletin
Updating databases in the weak instance model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
View updates in relational databases with an independent scheme
ACM Transactions on Database Systems (TODS)
Polynomial-time implication problems for unary inclusion dependencies
Journal of the ACM (JACM)
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
An incremental access method for ViewCache: concept, algorithms, and cost analysis
ACM Transactions on Database Systems (TODS)
Language features for interoperability of databases with schematic discrepancies
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Updating relational databases through object-based views
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Updating relational databases through weak instance interfaces
ACM Transactions on Database Systems (TODS)
On the semantics of theory change: arbitration between old and new information
PODS '93 Proceedings of the twelfth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Unique complements and decompositions of database schemata
Journal of Computer and System Sciences
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Preserving update semantics in schema integration
CIKM '94 Proceedings of the third international conference on Information and knowledge management
Declarative updates of relational databases
ACM Transactions on Database Systems (TODS)
Comment on Bancilhon and Spyratos' “Update semantics and relational views”
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)
Managing semantic heterogeneity in databases: a theoretical prospective
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Abductive Knowledge Base Updates for Contextual Reasoning
Journal of Intelligent Information Systems
Improving the performance of lineage tracing in data warehouse
Proceedings of the 1999 ACM symposium on Applied computing
Decomposition of relational schemata into components defined by both projection and restriction
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
The design of Star's records processing: data processing for the noncomputer professional
ACM Transactions on Information Systems (TOIS)
Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
On the computation of relational view complements
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On propagation of deletions and annotations through views
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
View updates in a semantic data modelling paradigm
ADC '01 Proceedings of the 12th Australasian database conference
Canonical view update support through boolean algebras of components
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Object projection views in the dynamic relational model
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the equivalence of logical databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
Inverting relational expressions: a uniform and natural technique for various database problems
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Information theoretic aspects of data bases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
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
An operational approach to data bases
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
Deduction Trees and the View Update Problem in Indefinite Deductive Databases
Journal of Automated Reasoning
On complementary and independent mappings on databases
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Searching a minimal semantically-equivalent subset of a set of partial values
The VLDB Journal — The International Journal on Very Large Data Bases
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
A Generalized Relational Model for Indefinite and Maybe Information
IEEE Transactions on Knowledge and Data Engineering
Decomposing Heterogeneous Inter-Entity Relationship Updates
IEEE Transactions on Knowledge and Data Engineering
An Extended Authorization Model for Relational Databases
IEEE Transactions on Knowledge and Data Engineering
Mathemtical Model of Composite Objects and Its Application for Organizing Engineering Databases
IEEE Transactions on Software Engineering
A Relational Database View Update Translation Mechanism
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Transactions in Relational Databases (Preliminary Report)
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Active Views for Electronic Commerce
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
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
Uniqueness of Update Strategies for Database Views
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
An Overview of Compositional Translations
COMPOS'97 Revised Lectures from the International Symposium on Compositionality: The Significant Difference
Solving the Problem of Semantic Heterogeneity in Defining Mediator Update Translators
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Contextualization as an Abstraction Mechanism for Conceptual Modelling
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
Monotonic complements for independent data warehouses
The VLDB Journal — The International Journal on Very Large Data Bases
The impact of the constant complement approach towards view updating
Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
On the computation of relational view complements
ACM Transactions on Database Systems (TODS)
Design issues in distributed multidatabase systems
SAC '86 Proceedings of the 1986 workshop on Applied computing
Unary inclusion dependencies have polynomial time inference problems
STOC '83 Proceedings of the fifteenth annual ACM symposium on Theory of computing
An Order-Based Theory of Updates for Closed Database Views
Annals of Mathematics and Artificial Intelligence
Middleware support for reconciling client updates and data transcoding
Proceedings of the 2nd international conference on Mobile systems, applications, and services
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
Supporting executable mappings in model management
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
The complexity of embedded axiomatization for a class of closed database views
Annals of Mathematics and Artificial Intelligence
Relational lenses: a language for updatable views
Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Data & Knowledge Engineering - Special issue: ER 2004
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
PATAXÓ: A framework to allow updates through XML views
ACM Transactions on Database Systems (TODS)
Annotation propagation revisited for key preserving views
CIKM '06 Proceedings of the 15th ACM international conference on Information and knowledge management
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
Exploiting schemas in data synchronization
Journal of Computer and System Sciences
Bidirectional interpretation of XQuery
Proceedings of the 2007 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Model management 2.0: manipulating richer mappings
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Compiling mappings to bridge applications and databases
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Effective and efficient update of xml in RDBMS
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Update semantics for incomplete databases
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Understanding the implications of view update policies
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Hit data model data bases from the functional point of view
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
Derived relations: a unified mechanism for views, snapshots, and distributed data
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Independent components of databases
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Translation structures of relational views
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
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
From XML view updates to relational view updates: old solutions to a new problem
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Towards automatic model synchronization from model transformations
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
Boomerang: resourceful lenses for string data
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
Opportunities and challenges for traceable graph rewriting systems
Proceedings of the third international workshop on Graph and model transformations
Proceedings of the 13th ACM SIGPLAN international conference on Functional programming
Compiling mappings to bridge applications and databases
ACM Transactions on Database Systems (TODS)
Constant Complements, Reversibility and Universal View Updates
AMAST 2008 Proceedings of the 12th international conference on Algebraic Methodology and Software Technology
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
Bidirectionalization for free! (Pearl)
Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Semantic Bijectivity and the Uniqueness of Constant-Complement Updates in the Relational Context
Semantics in Data and Knowledge Bases
A Model of Database Components and their Interconnection Based upon Communicating Views
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Foundations for Bidirectional Programming
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Bidirectional Transformations: A Cross-Discipline Perspective
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Provenance in Databases: Why, How, and Where
Foundations and Trends in Databases
Controlled Query Evaluation and Inference-Free View Updates
Proceedings of the 23rd Annual IFIP WG 11.3 Working Conference on Data and Applications Security XXIII
Inconsistency Management and View Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
The view update problem for XML
Proceedings of the 2010 EDBT/ICDT Workshops
Updating relational data via SPARQL/update
Proceedings of the 2010 EDBT/ICDT Workshops
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
Information-optimal reflections of view updates on relational database schemata
FoIKS'08 Proceedings of the 5th international conference on Foundations of information and knowledge systems
An optimized two-step solution for updating XML views
DASFAA'08 Proceedings of the 13th international conference on Database systems for advanced applications
Views and queries: Determinacy and rewriting
ACM Transactions on Database Systems (TODS)
Requirements and protocols for inference-proof interactions in information systems
ESORICS'09 Proceedings of the 14th European conference on Research in computer security
A quantum interpretation of the view-update problem
ADC '10 Proceedings of the Twenty-First Australasian Conference on Database Technologies - Volume 104
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
MPC'10 Proceedings of the 10th international conference on Mathematics of program construction
Update rewriting and integrity constraint maintenance in a schema evolution support system: PRISM++
Proceedings of the VLDB Endowment
Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
A Simple Model of Negotiation for Cooperative Updates on Database Schema Components
Proceedings of the 2011 conference on Information Modelling and Knowledge Bases XXII
Maximizing conjunctive views in deletion propagation
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Dagstuhl seminar on bidirectional transformations (BX)
ACM SIGMOD Record
Toward bidirectionalization of ATL with GRoundTram
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Characterization of optimal complements of database views defined by projection
SDKB'10 Proceedings of the 4th international conference on Semantics in data and knowledge bases
Incremental updates for efficient bidirectional transformations
Proceedings of the 16th ACM SIGPLAN international conference on Functional programming
A comparison of RDB-to-RDF mapping languages
Proceedings of the 7th International Conference on Semantic Systems
Implementation of updateable object views in the ODRA OODBMS
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part II
Determinacy and rewriting of conjunctive queries using views: a progress report
ICDT'07 Proceedings of the 11th international conference on Database Theory
Exploiting schemas in data synchronization
DBPL'05 Proceedings of the 10th international conference on Database Programming Languages
Ideas for connecting inductive program synthesis and bidirectionalization
PEPM '12 Proceedings of the ACM SIGPLAN 2012 workshop on Partial evaluation and program manipulation
Connecting keywords through pointer paths over the web
Proceedings of the 2005 international conference on Federation over the Web
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
Independent update reflections on interdependent database views
Conceptual Modelling and Its Theoretical Foundations
Communications of the ACM
Information-based distance measures and the canonical reflection of view updates
Annals of Mathematics and Artificial Intelligence
A framework for the checking and refactoring of crosscutting concepts
ACM Transactions on Software Engineering and Methodology (TOSEM)
Linguistic foundations for bidirectional transformations: invited tutorial
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
A dichotomy in the complexity of deletion propagation with functional dependencies
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Inference-Proof view update transactions with minimal refusals
DPM'11 Proceedings of the 6th international conference, and 4th international conference on Data Privacy Management and Autonomous Spontaneus Security
FD covers and universal complements of simple projections
FoIKS'12 Proceedings of the 7th international conference on Foundations of Information and Knowledge Systems
DASFAA'12 Proceedings of the 17th international conference on Database Systems for Advanced Applications - Volume Part I
Three complementary approaches to bidirectional programming
SSGIP'10 Proceedings of the 2010 international spring school conference on Generic and Indexed Programming
Modifying Intensional Logic Knowledge
Fundamenta Informaticae
Maximizing Conjunctive Views in Deletion Propagation
ACM Transactions on Database Systems (TODS)
When data, knowledge and processes meet together
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
Programming language approaches to bidirectional transformation
Proceedings of the Twelfth Workshop on Language Descriptions, Tools, and Applications
Automating the database schema evolution process
The VLDB Journal — The International Journal on Very Large Data Bases
Synchronizing concurrent model updates based on bidirectional transformation
Software and Systems Modeling (SoSyM)
Incremental mapping compilation in an object-to-relational mapping system
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Flexible views for view-based model-driven development
Proceedings of the 18th international doctoral symposium on Components and architecture
Flexible views for rapid model-driven development
Proceedings of the 1st Workshop on View-Based, Aspect-Oriented and Orthographic Software Modelling
Collaborative data sharing via update exchange and provenance
ACM Transactions on Database Systems (TODS)
Wondering why data are missing from query results?: ask conseil why-not
Proceedings of the 22nd ACM international conference on Conference on information & knowledge management
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
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)
Multi-tuple deletion propagation: approximations and complexity
Proceedings of the VLDB Endowment
Semantic bidirectionalization revisited
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Monadic combinators for "Putback" style bidirectional programming
Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation
Hi-index | 0.02 |
A database view is a portion of the data structured in a way suitable to a specific application. Updates on views must be translated into updates on the underlying database. This paper studies the translation process in the relational model.The procedure is as follows: first, a “complete” set of updates is defined such thattogether with every update the set contains a “return” update, that is, one that brings the view back to the original state;given two updates in the set, their composition is also in the set.To translate a complete set, we define a mapping called a “translator,” that associates with each view update a unique database update called a “translation.” The constraint on a translation is to take the database to a state mapping onto the updated view. The constraint on the translator is to be a morphism.We propose a method for defining translators. Together with the user-defined view, we define a “complementary” view such that the database could be computed from the view and its complement. We show that a view can have many different complements and that the choice of a complement determines an update policy. Thus, we fix a view complement and we define the translation of a given view update in such a way that the complement remains invariant (“translation under constant complement”). The main result of the paper states that, given a complete set U of view updates, U has a translator if and only if U is translatable under constant complement.