Incomplete Information in Relational Databases
Journal of the ACM (JACM)
Using Constraint Satisfaction for View Update
Journal of Intelligent Information Systems
Aggregate Queries Over Conditional Tables
Journal of Intelligent Information Systems
View Maintenance Using Conditional Tables
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
On the provenance of non-answers to queries over extracted data
Proceedings of the VLDB Endowment
MINION: A Fast, Scalable, Constraint Solver
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
How to ConQueR why-not questions
Proceedings of the 2010 ACM SIGMOD International Conference on Management of data
The complexity of causality and responsibility for query answers and non-answers
Proceedings of the VLDB Endowment
Explaining missing answers to SPJUA queries
Proceedings of the VLDB Endowment
TRAMP: understanding the behavior of schema mappings through provenance
Proceedings of the VLDB Endowment
Tracing data errors with view-conditioned causality
Proceedings of the 2011 ACM SIGMOD International Conference on Management of data
The nautilus analyzer: understanding and debugging data transformations
Proceedings of the 21st ACM international conference on Information and knowledge management
Certain and possible XPath answers
Proceedings of the 16th International Conference on Database Theory
Hi-index | 0.00 |
A central feature of relational database management systems is the ability to define multiple different views over an underlying database schema. Views provide a method of defining access control to the underlying database, since a view exposes a part of the database and hides the rest. Views also provide logical data independence to application programs that access the database. For most cases, the process of specifying the desired views in SQL is typically tedious and error-prone. While numerous tools exist to support developers in debugging program code, we are not aware of any tool that supports developers in verifying the correctness of their views defined in SQL.