Designing, Specifying and Querying Metadata for Virtual Data Integration Systems

Authors:
Leopoldo Bertossi;Gayathri Jayaraman
Affiliations:
School of Computer Science, Carleton University, Ottawa, Canada and University of Concepcion, Chile;Dept. Systems and Computer Engineering, Carleton University, Ottawa, Canada
Venue:
Globe '09 Proceedings of the 2nd International Conference on Data Management in Grid and Peer-to-Peer Systems
Year:
2009

Citing 11
Cited 0

Mediators in the Architecture of Future Information Systems

Computer
Disjunctive datalog

ACM Transactions on Database Systems (TODS)
Complexity of answering queries using materialized views

PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Information integration using logical views

Theoretical Computer Science - Special issue on the 6th International Conference on Database Theory—ICDT '97
Data integration: a theoretical perspective

Proceedings of the twenty-first ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Consistent query answering in databases

ACM SIGMOD Record
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
Information integration in the enterprise

Communications of the ACM - Enterprise information integration: and other tools for merging data
The Consistency Extractor System: Querying Inconsistent Databases Using Answer Set Programs

SUM '07 Proceedings of the 1st international conference on Scalable Uncertainty Management
Logic programs for consistently querying data integration systems

IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Consistent query answers in virtual data integration systems

Inconsistency Tolerance

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for representing metadata, like the global and local schemas, the mappings between the former and the latter, and global integrity constraints. XQuery is used to retrieve relevant information for query planning. The system uses an extended inverse rules algorithm for computing certain answers that is provably correct for monotone relational global queries. For query answering, evaluation engines for answer set programs on relational databases are used. The programs declaratively specify the legal instances of the integration system.