| D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Database integration for datawarehousing. Technical Report DWQ-UNIROMA-001, DWQ Consortium, Mar. 1997. |
....are exploited. For reasoning at the logical level, we provide suitable techniques for query containment. In particular, we have developed an algorithm for deciding query containment with respect to a DM, which exploits a reduction to unsatisfiability in O QP , and which extends the one in [4, 5] to deal with both intramodel and intermodel assertions. Example. Figure 3 shows a DM, ZR , that represents an enterprise and two sources containing information about contracts between clients and departments for services, and about registration of clients at departments ....
D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Database integration for datawarehousing. Technical Report DWQ-UNIROMA-001, DWQ Consortium, Mar. 1997.
....Logics, are exploited. For reasoning at the logical level, we provide suitable techniques for query containment. In particular, we have developed an algorithm for deciding query containment with respect to a DM, which exploits a reduction to unsatisfiability in CIQ, and which extends the one in [4, 5] to deal with both intramodel and intermodel assertions. Example. Figure 3 shows a DM, W = M 0 ; M 1 ; M 2 ; G) that represents an enterprise and two sources containing information about contracts between clients and departments for services, and about registration of clients at departments (in ....
D. Calvanese, G. De Giacomo, M. Lenzerini, D. Nardi, and R. Rosati. Database integration for datawarehousing. Technical Report DWQ-UNIROMA-001, DWQ Consortium, Mar. 1997.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC