Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Logic programs with classical negation
Logic programming
Logic programs with exceptions
Logic programming
Proceedings of the 1990 North American conference on Logic programming
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 limited external query processors (extended abstract)
PODS '96 Proceedings of the fifteenth 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
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Optimizing Queries with Materialized Views
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
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
Query planning and optimization in information integration
Query planning and optimization in information integration
| Hi-index | 0.00 |
In this paper we consider the problem of answering queries using materialized views in the presence of negative goals. The solution is carried out by 'inverting' views and deriving both positive and negative knowledge. In order to derive negative knowledge we invert conjunctive views with negation into a set of (extended) views which may also have, in addition to negation-as-failure, a different form of negation called classical (or strong) negation. Finally, we analyze the problem of inferring knowledge from views based on relations with functional dependencies.