Answering queries using views (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering queries using templates with binding patterns (extended abstract)
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Answering recursive queries using views
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Complexity of answering queries using materialized views
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Rewriting of regular expressions and regular path queries
PODS '99 Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
View-based query processing for regular path queries with inverse
PODS '00 Proceedings of the nineteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Information Integration Using Logical Views
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Conjunctive Query Containment Revisited
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Automated Selection of Materialized Views and Indexes in SQL Databases
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Semantic Data Caching and Replacement
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Describing and Using Query Capabilities of Heterogeneous Sources
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Generalized Implicit Definitions on Finite Structures
CSL '95 Selected Papers from the9th International Workshop on Computer Science Logic
Physical Data Independence, Constraints, and Optimization with Universal Plans
VLDB '99 Proceedings of the 25th International Conference on Very Large Data Bases
Query Transformation for PSJ-Queries
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
On the content of materialized aggregate views
Journal of Computer and System Sciences - Special issue on PODS 2000
Robbers, marshals, and guards: game theoretic and logical characterizations of hypertree width
Journal of Computer and System Sciences - Special issu on PODS 2001
The logical complexity of queries on unordered graphs
The logical complexity of queries on unordered graphs
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Elements Of Finite Model Theory (Texts in Theoretical Computer Science. An Eatcs Series)
Views and queries: determinacy and rewriting
Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
The Semijoin Algebra and the Guarded Fragment
Journal of Logic, Language and Information
Queries determined by views: pack your views
Proceedings of the twenty-sixth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Determinacy and rewriting of conjunctive queries using views: a progress report
ICDT'07 Proceedings of the 11th international conference on Database Theory
Rewriting conjunctive queries determined by views
MFCS'07 Proceedings of the 32nd international conference on Mathematical Foundations of Computer Science
Determinacy and rewriting of conjunctive queries over unary database schemas
Proceedings of the 2011 ACM Symposium on Applied Computing
Certain answers for views and queries expressed as non-recursive datalog programs with negation
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
View determinacy for preserving selected information in data transformations
Information Systems
PODS '12 Proceedings of the 31st symposium on Principles of Database Systems
Beth definability in expressive description logics
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Two
Exact query reformulation with first-order ontologies and databases
JELIA'12 Proceedings of the 13th European conference on Logics in Artificial Intelligence
The definability abduction problem for data exchange
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
A theory of pricing private data
Proceedings of the 16th International Conference on Database Theory
Access patterns and integrity constraints revisited
Proceedings of the 16th International Conference on Database Theory
Fine-grained disclosure control for app ecosystems
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Getting unique solution in data exchange
Proceedings of the VLDB Endowment
Beth definability in expressive description logics
Journal of Artificial Intelligence Research
Exact query reformulation over databases with first-order and description logics ontologies
Journal of Artificial Intelligence Research
Hi-index | 0.00 |
We investigate the question of whether a query Q can be answered using a set V of views. We first define the problem in information-theoretic terms: we say that V determines Q if V provides enough information to uniquely determine the answer to Q. Next, we look at the problem of rewriting Q in terms of V using a specific language. Given a view language V and query language Q, we say that a rewriting language R is complete for V-to-Q rewritings if every Q ∈ Q can be rewritten in terms of V ∈ V using a query in R, whenever V determines Q. While query rewriting using views has been extensively investigated for some specific languages, the connection to the information-theoretic notion of determinacy, and the question of completeness of a rewriting language have received little attention. In this article we investigate systematically the notion of determinacy and its connection to rewriting. The results concern decidability of determinacy for various view and query languages, as well as the power required of complete rewriting languages. We consider languages ranging from first-order to conjunctive queries.