[논문 리뷰] View Synthesis from Schema Mappings

Diego Calvanese, Giuseppe De Giacomo외 2명|arXiv (Cornell University)|2010. 03. 05.

Advanced Database Systems and Queries참고 문헌 35인용 수 3

한 줄 요약

이 논문은 데이터 통합 및 웨어하우징 분야에서 새로운 문제인 스키마 매핑에서의 뷰 합성 기법을 제안한다. 이는 소스 스키마에서 타겟 스키마로의 스키마 매핑으로부터 자동으로 타겟 스키마 뷰를 생성하는 기법이다. 이는 조건부 쿼리와 정규 경로 쿼리를 사용하여 관계형 및 반구조화된 데이터에 대해 기술되며, 복잡도 상한선을 설정한다: 2RPQ의 경우 ExpTime, CRPQ의 경우 2ExpSpace이다.

ABSTRACT

In data management, and in particular in data integration, data exchange, query optimization, and data privacy, the notion of view plays a central role. In several contexts, such as data integration, data mashups, and data warehousing, the need arises of designing views starting from a set of known correspondences between queries over different schemas. In this paper we deal with the issue of automating such a design process. We call this novel problem "view synthesis from schema mappings": given a set of schema mappings, each relating a query over a source schema to a query over a target schema, automatically synthesize for each source a view over the target schema in such a way that for each mapping, the query over the source is a rewriting of the query over the target wrt the synthesized views. We study view synthesis from schema mappings both in the relational setting, where queries and views are (unions of) conjunctive queries, and in the semistructured data setting, where queries and views are (two-way) regular path queries, as well as unions of conjunctions thereof. We provide techniques and complexity upper bounds for each of these cases.

연구 동기 및 목표

• 데이터 통합 및 웨어하우징 분야에서 소스-타겟 스키마 매핑으로부터 타겟 스키마 뷰를 자동으로 생성하는 문제에 도전한다.
• 소스 쿼리가 합성된 뷰 위에서 재작성 가능한 쿼리 재작성 문제로 뷰 합성을 공식화한다.
• 다양한 쿼리 언어(조인 쿼리, 2RPQ, CRPQ, UC2RPQ)에 대해 뷰 존재성의 결정 가능성과 복잡도 분석을 제공한다.
• 정규 경로 쿼리 및 그 확장 기법을 사용하여 반구조화된 데이터 모델에 대한 프레임워크를 확장한다.
• 정확하고 정확한 재작성 의미론을 갖춘 뷰 합성의 이론적 기초를 탐색한다.

제안 방법

• 각 소스 쿼리에 대해, 소스 쿼리가 뷰 위에서 논리적으로 동치가 되도록 타겟 뷰를 합성함으로써 뷰 합성을 쿼리 재작성 문제로 모델링한다.
• 쿼리 포함 문제를 단어 오ート마타(NWA 및 2NWA)의 언어 포함 문제로 감소시키기 위해 오ート마타 이론 기법을 사용한다.
• 트리 오트마타와 동치류 기법을 적용하여 뷰 닫힘 성질을 관리하고 뷰의 복잡도를 최소화한다.
• 복잡한 쿼리(예: CRPQ)의 포함 문제를 단어 오트마타 구축을 통해 정규 언어의 포함 문제로 감소시킨다.
• 쿼리 포함 문제에서 오트마타 언어 포함 문제로의 감소를 활용하여 결정 가능성과 복잡도 분석을 가능하게 한다.
• 소스 및 타겟 매핑에서 뷰 정의 오트마타를 구성하고 포함 제약 조건을 검증하여 합성된 뷰의 정확성을 확보한다.

실험 결과

연구 질문

• RQ1 소스-타겟 스키마 매핑 집합으로부터 타겟 스키마 뷰를 자동으로 합성할 수 있을까? 이때 소스 쿼리는 뷰 위에서 재작성 가능해야 한다.
• RQ2 다양한 쿼리 언어(예: 2RPQ, CRPQ)에 대해 뷰 존재 문제의 계산 복잡도 상한선은 무엇인가?
• RQ3 정확한 재작성(논리적 동치) 의미론과 확실한 답변(일반적인 답변) 의미론 간에 뷰 합성의 복잡도는 어떻게 달라지는가?
• RQ4 오트마타 이론 기법을 효과적으로 활용하여 반구조화된 데이터 모델에서 쿼리 포함 문제를 감소시키고 뷰 합성을 가능하게 할 수 있는가?
• RQ5 CRPQ 및 UC2RPQ와 같은 더 풍부한 쿼리 언어에 대해, 뷰 합성의 결정 가능성과 복잡도 측면에서 이론적 한계는 무엇인가?

주요 결과

• 관계형 및 반구조화된 데이터 모델 모두에서 뷰 존재 문제는 결정 가능하며, 이는 쿼리 언어에 따라 복잡도 상한선이 달라진다.
• 2RPQ의 경우, 뷰 존재 문제는 ExpTime 내에 있으며, 정확한 뷰 존재 문제는 ExpSpace 내에 있다.
• CRPQ의 경우, 뷰 존재 문제는 2ExpTime 내에 있으며, 정확한 뷰 존재 문제는 2ExpSpace 내에 있다.
• UC2RPQ의 경우, 2RPQ 뷰와 오트마타 기반 포함 검사 기법을 사용함으로써 복잡도 상한선이 CRPQ와 동일하다.
• 단어 오트마타(NWA 및 2NWA)의 사용은 복잡한 쿼리 포함 문제를 언어 포함 문제로 감소시키며, 이는 합성 기법의 핵심을 형성한다.
• 동치류 기법을 통해 뷰 최소화와 동치에 대한 닫힘 성질 확보가 가능하여, 합성된 뷰의 효율성과 정확도가 향상된다.