A logic-based approach to data integration

Authors:
John Grant;Jack Minker
Affiliations:
Department of Computer and Information Sciences, and Department of Mathematics, Towson University, Towson, MD, USA (e-mail: jgrant@towson.edu);Department of Computer Science, and Institute for Advanced Computer Studies, University of Maryland at College Park, College Park, MD, USA (e-mail: minker@cs.umd.edu)
Venue:
Theory and Practice of Logic Programming
Year:
2002

Citing 41
Cited 13

A decidable class of bounded recursions

PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of logic programming; (2nd extended ed.)

Foundations of logic programming; (2nd extended ed.)
Towards a theory of declarative knowledge

Foundations of deductive databases and logic programming
Negation as failure using tight derivations for general logic programs

Foundations of deductive databases and logic programming
Foundations of semantic query optimization for deductive databases

Foundations of deductive databases and logic programming
Computability and logic: 3rd ed.

Computability and logic: 3rd ed.
Logic-based approach to semantic query optimization

ACM Transactions on Database Systems (TODS)
Query evaluation in recursive databases: bottom-up and top-down reconciled

Data & Knowledge Engineering
The well-founded semantics for general logic programs

Journal of the ACM (JACM)
Foundations of disjunctive logic programming

Foundations of disjunctive logic programming
Understanding the new SQL: a complete guide

Understanding the new SQL: a complete guide
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
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
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
Efficient optimization of a class of relational expressions

ACM Transactions on Database Systems (TODS)
A Machine-Oriented Logic Based on the Resolution Principle

Journal of the ACM (JACM)
Query planning in infomaster

SAC '97 Proceedings of the 1997 ACM symposium on Applied computing
A chase too far?

SIGMOD '00 Proceedings of the 2000 ACM SIGMOD international conference on Management of data
logic-based techniques in data integration

Logic-based artificial intelligence
Generating efficient plans for queries using views

SIGMOD '01 Proceedings of the 2001 ACM SIGMOD international conference on Management of data
Symbolic Logic and Mechanical Theorem Proving

Symbolic Logic and Mechanical Theorem Proving
Rewriting Queries Using Views

IEEE Transactions on Knowledge and Data Engineering
Query Folding with Inclusion Dependencies

ICDE '98 Proceedings of the Fourteenth International Conference on Data Engineering
Optimizing Queries with Materialized Views

ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
Query Folding

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
A Scalable Algorithm for Answering Queries Using Views

VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
The GMAP: A Versatile Tool for Physical Data Independence

VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
Querying Heterogeneous Information Sources Using Source Descriptions

VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
Logic and Databases: A 20 Year Retrospective

LID '96 Proceedings of the International Workshop on Logic in Databases
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
Answering queries using views: A survey

The VLDB Journal — The International Journal on Very Large Data Bases
Optimal implementation of conjunctive queries in relational data bases

STOC '77 Proceedings of the ninth annual ACM symposium on Theory of computing
Semantic query optimization in deductive databases. (volumes i and ii) (integrity constraints, intelligent processing, logic)

Semantic query optimization in deductive databases. (volumes i and ii) (integrity constraints, intelligent processing, logic)
Query planning and optimization in information integration

Query planning and optimization in information integration
Query optimization using local completeness

AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Query-answering algorithms for information agents

AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Intelligent Information Integration as a Constraint Handling Problem

FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Consistent Answers from Integrated Data Sources

FQAS '02 Proceedings of the 5th International Conference on Flexible Query Answering Systems
Registering Scientific Information Sources for Semantic Mediation

ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Query rewriting using views in the presence of inclusion dependencies

WIDM '03 Proceedings of the 5th ACM international workshop on Web information and data management
Bucket-Based Query Rewriting with Disjunctive Data Source

WI '04 Proceedings of the 2004 IEEE/WIC/ACM International Conference on Web Intelligence
Social contraction and belief negotiation

Information Fusion
Rewriting queries using views with access patterns under integrity constraints

Theoretical Computer Science
Logic programs for consistently querying data integration systems

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Linking data to ontologies

Journal on data semantics X
Some modifications of bucket-based algorithms for query rewriting using views

ADVIS'04 Proceedings of the Third international conference on Advances in Information Systems
Influences of functional dependencies on bucket-based rewriting algorithms

WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
Rewriting queries using views with access patterns under integrity constraints

ICDT'05 Proceedings of the 10th international conference on Database Theory
Consistent query answers in virtual data integration systems

Inconsistency Tolerance

Quantified Score

Hi-index	0.00

Visualization

Abstract

An important aspect of data integration involves answering queries using various resources rather than by accessing database relations. The process of transforming a query from the database relations to the resources is often referred to as query folding or answering queries using views, where the views are the resources. We present a uniform approach that includes as special cases much of the previous work on this subject. Our approach is logic-based using resolution. We deal with integrity constraints, negation, and recursion also within this framework.