Abstract. We present a procedure for deciding (database) query containment under constraints. The technique is to extend the logic DLR with an ABox, and to transform query subsumption problems into DLR ABox satisfiability problems. Such problems can then be decided, via a reification transformation, using a highly optimised reasoner for the SHIQ description logic. We use a simple example to support our hypothesis that this procedure will work well with realistic problems. 1
|
1015
|
Foundations of databases
– Abiteboul, Hull, et al.
- 1995
|
|
316
|
Optimal implementation of conjunctive queries in relational databases
– Chandra, Merlin
- 1977
|
|
285
|
Propositional dynamic logic of regular programs
– Fischer, Ladner
- 1979
|
|
234
|
Practical reasoning for expressive description logics
– Horrocks, Sattler, et al.
- 1999
|
|
177
|
On the decidability of query containment under constraints
– Calvanese, Giancomo, et al.
- 1998
|
|
137
|
Description logic framework for information integration
– Calvanese, Giacomo, et al.
- 1998
|
|
136
|
Representing and using interschema knowledge in cooperative information systems
– Catarci, Lenzerini
- 1993
|
|
118
|
Description logics for conceptual data modeling
– Calvanese, Lenzerini, et al.
- 1998
|
|
94
|
A description logic with transitive and inverse roles and role hierarchies
– Horrocks, Sattler
- 1999
|
|
89
|
Tbox and Abox reasoning in expressive description logics
– Giacomo, Lenzerini
- 1996
|
|
85
|
CARIN: A representation language combining Horn rules and description logics
– Levy, Rousset
- 1996
|
|
79
|
Conjunctive query containment revisited
– Chekuri, Rajaraman
- 1997
|
|
79
|
Reasoning with individuals for the description logic SHIQ
– Horrocks, Sattler, et al.
- 2000
|
|
68
|
FaCT and iFaCT
– Horrocks
- 1999
|
|
60
|
Testing containment of conjunctive queries under functional and inclusion dependencies
– Johnson
- 1984
|
|
59
|
Structured objects: Modeling and reasoning
– Calvanese, Giacomo, et al.
- 1995
|
|
59
|
What's in an aggregate: Foundations for description logics with tuples and sets
– Giacomo, Lenzerini
- 1995
|
|
57
|
Reasoning with individuals in concept languages
– Schaerf
- 1994
|
|
56
|
Source integration in data warehousing
– Calvanese, Giacomo, et al.
- 1998
|
|
55
|
Decidability of Class-Based Knowledge Representation Formalisms
– Giacomo
- 1995
|
|
35
|
Answering queries using views in description logics
– Calvanese, Giacomo, et al.
- 1999
|
|
30
|
Containment and minimization of positive conjunctive queries in oodb’s
– Chan
- 1992
|
|
28
|
Unrestricted and Finite Model Reasoning in Class-Based Representation Formalisms
– Calvanese
- 1996
|
|
16
|
Query containment using a DLR ABox
– Horrocks, Sattler, et al.
- 1999
|
|
8
|
Abox reasoning with transitive roles and axioms
– Tessaris, Gough
- 1999
|
|
2
|
Use of the data reconciliation tool at telecom italia. DWQ deliverable D.4.3, Foundations of Data Warehouse Quality (DWQ
– Calvanese, Giacomo, et al.
- 1999
|
|
