A threshold of ln n for approximating set cover
Journal of the ACM (JACM)
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)
PODS '85 Proceedings of the fourth ACM SIGACT-SIGMOD symposium on Principles of database systems
Tracing the lineage of view data in a warehousing environment
ACM Transactions on Database Systems (TODS)
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
The complexity of satisfiability problems
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
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
Representing and Querying Data Transformations
ICDE '05 Proceedings of the 21st International Conference on Data Engineering
A cost-based model and effective heuristic for repairing constraints by value modification
Proceedings of the 2005 ACM SIGMOD international conference on Management of data
Meta-data indexing for XPath location steps
Proceedings of the 2006 ACM SIGMOD international conference on Management of data
Data & Knowledge Engineering - Special issue: ER 2004
ULDBs: databases with uncertainty and lineage
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
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
Intensional associations between data and metadata
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
Proceedings of the 2007 ACM SIGMOD international conference on Management of data
A formal model of annotations of digital content
ACM Transactions on Information Systems (TOIS)
Fibrations and universal view updatability
Theoretical Computer Science
An annotation management system for relational databases
VLDB '04 Proceedings of the Thirtieth international conference on Very large data bases - Volume 30
Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A programmable editor for developing structured documents based on bidirectional transformations
Higher-Order and Symbolic Computation
ViP: A User-Centric View-Based Annotation Framework for Scientific Data
SSDBM '08 Proceedings of the 20th international conference on Scientific and Statistical Database Management
Advances and Challenges for Scalable Provenance in Stream Processing Systems
Provenance and Annotation of Data and Processes
Containment of conjunctive queries on annotated relations
Proceedings of the 12th International Conference on Database Theory
Supporting annotations on relations
Proceedings of the 12th International Conference on Extending Database Technology: Advances in Database Technology
Updating recursive XML views of relations
Journal of Computer Science and Technology
Schema exchange: Generic mappings for transforming data and metadata
Data & Knowledge Engineering
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
Empowering Provenance in Data Integration
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
Proceedings of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications
Modeling Associations through Intensional Attributes
ER '09 Proceedings of the 28th International Conference on Conceptual Modeling
Understanding provenance black boxes
Distributed and Parallel Databases
Multi-language synchronization
ESOP'07 Proceedings of the 16th European conference on Programming
Query and update through XML views
DNIS'07 Proceedings of the 5th international conference on Databases in networked information systems
Xml publishing: bridging theory and practice
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Relational completeness of query languages for annotated databases
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Provenance as dependency analysis
DBPL'07 Proceedings of the 11th international conference on Database programming languages
Schema exchange: a template-based approach to data and metadata translation
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Annotation search: the FAST way
ECDL'09 Proceedings of the 13th European conference on Research and advanced technology for digital libraries
A graph model of data and workflow provenance
TAPP'10 Proceedings of the 2nd conference on Theory and practice of provenance
Updating XML views and querying XML views with update syntax
International Journal of Computational Science and Engineering
Exploiting conflict structures in inconsistent databases
ADBIS'10 Proceedings of the 14th east European conference on Advances in databases and information systems
Relational completeness of query languages for annotated databases
Journal of Computer and System Sciences
Maximizing conjunctive views in deletion propagation
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Tracing data errors with view-conditioned causality
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
Propagation of multi-granularity annotations
DEXA'11 Proceedings of the 22nd international conference on Database and expert systems applications - Volume Part II
Providing flexible tradeoff for provenance tracking
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
Reliable provenance information for multimedia data using invertible fragile watermarks
BNCOD'11 Proceedings of the 28th British national conference on Advances in databases
Improving data quality by source analysis
Journal of Data and Information Quality (JDIQ)
Provenance as dependency analysis
Mathematical Structures in Computer Science - Programming Language Interference and Dependence
A system architecture as a support to a flexible annotation service
DELOS'04 Proceedings of the 6th Thematic conference on Peer-to-Peer, Grid, and Service-Orientation in Digital Library Architectures
A calculus for propagating semantic annotations through scientific workflow queries
EDBT'06 Proceedings of the 2006 international conference on Current Trends in Database Technology
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
Maximizing Conjunctive Views in Deletion Propagation
ACM Transactions on Database Systems (TODS)
International Journal of Systems and Service-Oriented Engineering
Provenance-based dictionary refinement in information extraction
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
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
Multi-tuple deletion propagation: approximations and complexity
Proceedings of the VLDB Endowment
Hi-index | 0.00 |
We study two classes of view update problems in relational databases. We are given a source database S, a monotone query Q, and the view Q(S) generated by the query. The first problem that we consider is the classical view deletion problem where we wish to identify a minimal set T of tuples in S whose deletion will eliminate a given tuple t from the view. We study the complexity of optimizing two natural objectives in this setting, namely, find T to minimize the side-effects on the view, and the source, respectively. For both objective functions, we show a dichotomy in the complexity. Interestingly, the problem is either in P or is NP-hard, for queries in the same class in either objective function.The second problem in our study is the annotation placement problem. Suppose we annotate an attribute of a tuple in S. The rules for carrying the annotation forward through a query are easily stated. On the other hand, suppose we annotate an attribute of a tuple in the view Q(S), what annotation(s) in S will cause this annotation to appear in the view, minimizing the propagation to other attributes in Q(S)? View annotation is becoming an increasingly useful method of communicating meta-data among users of shared scientific data sets, and to our knowledge, there has been no formal study of this problem.Our study of these problems gives us important insights into computational issues involved in data provenance or lineage --- the process by which data moves through databases. We show that the two problems correspond to two fundamentally distinct notions of provenance, why and where-provenance.