Integrity = validity + completeness
ACM Transactions on Database Systems (TODS)
Panorama: a database system that annotates its answers to queries with their properties
Journal of Intelligent Information Systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Theory of answering queries using views
ACM SIGMOD Record
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Completeness Information and Its Application to Query Processing
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Obtaining Complete Answers from Incomplete Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
CADE-18 Proceedings of the 18th International Conference on Automated Deduction
Answering queries using views: A survey
The VLDB Journal — The International Journal on Very Large Data Bases
A Superposition Decision Procedure for the Guarded Fragment with Equality
LICS '99 Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science
Optimal implementation of conjunctive queries in relational data bases
STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Computing queries from derived relations
VLDB '85 Proceedings of the 11th international conference on Very Large Data Bases - Volume 11
On representing incomplete information in a relational data base
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
A STEP towards realizing Codd's vision of rendezvous with the casual user
VLDB '07 Proceedings of the 33rd international conference on Very large data bases
Query-by-example: a data base language
IBM Systems Journal
Hi-index | 0.00 |
Although there has been much work in recent years on answering queries using views, there has been less work on deriving answers from partial databases. That is given a partial database state D V , materialized via the view V, what queries can be asked over D V that can be answered with certainty using only the instance of the partial database and standard query evaluation mechanisms. We define these as the derivable answers and show several special cases in which we can compute and intensionally describe them.