[논문 리뷰] The View Update Problem Revisited

Enrico Franconi, Paolo Guagliardo|arXiv (Cornell University)|2012. 11. 13.

Advanced Database Systems and Queries참고 문헌 17인용 수 10

한 줄 요약

이 논문은 제약 조건 하에서의 결정성에 기반한 프레임워크를 도입하여 관계형 데이터베이스에서 뷰 업데이트 문제를 재검토하며, 뷰 업데이트가 기초 데이터베이스에 유일하고 모호하지 않게 전파될 수 있는지를 판단할 수 있는 일반 기준을 제공한다. 주요 기여는 세 가지 다른 환경에서 뷰 매핑의 가역성 검증과 업데이트 번역 계산을 위한 결정 가능하고 효과적인 방법을 제공하는 것이다: 분리된 임베디드 종속성을 갖는 조건부 쿼리, 도메인 제약 조건이 있는 수평 분할, 포함 종속성이 있는 DLR 기반의 표현력 있는 관계대수.

ABSTRACT

In this paper, we revisit the view update problem in a relational setting and propose a framework based on the notion of determinacy under constraints. Within such a framework, we characterise when a view mapping is invertible, establishing that this is the case precisely when each database symbol has an exact rewriting in terms of the view symbols under the given constraints, and we provide a general effective criterion to understand whether the changes introduced by a view update can be propagated to the underlying database relations in a unique and unambiguous way. Afterwards, we show how determinacy under constraints can be checked, and rewritings effectively found, in three different relevant scenarios in the absence of view constraints. First, we settle the long-standing open issue of how to solve the view update problem in a multi-relational database with views that are projections of joins of relations, and we do so in a more general setting where views are defined by arbitrary conjunctive queries and database constraints are stratified embedded dependencies. Next, we study a setting based on horizontal decompositions of a single database relation, where views are defined by selections on possibly interpreted attributes (e.g., arithmetic comparisons) in the presence of domain constraints over the database schema. Lastly, we look into another multi-relational database setting, where views are defined in an expressive "Type" Relational Algebra based on the n-ary Description Logic DLR and database constraints are inclusions of expressions in that algebra.

연구 동기 및 목표

• 뷰 업데이트가 기초 데이터베이스 관계에 대해 언제 유일하고 모호하지 않게 번역될 수 있는지를 판단하는 오랜 도전 과제를 해결하기 위해.
• 제약 조건 하에서의 결정성 개념을 사용하여 관계형 데이터베이스에서 뷰 업데이트 문제에 대한 일반적인 프레임워크를 체계화하기 위해.
• 다양한 현실적인 데이터베이스 환경에서 뷰 매핑의 가역성 검증 및 업데이트 번역 계산을 위한 효과적이고 결정 가능한 기준을 제공하기 위해.
• 뷰가 조인의 프로젝션인 다중 관계형 데이터베이스에서의 열린 문제를 해결하기 위해, 이전 연구가 단일 관계형 관계나 간단한 뷰에 국한되어 있음을 고려하여 확장하기 위해.

제안 방법

• 기본 관계 기호가 뷰 기호의 형태로 정확하게 재작성될 수 있는지 여부를 판단할 수 있도록, 제약 조건 하에서의 결정성에 기반한 프레임워크를 제안하여, 뷰 매핑이 가역적인지 여부를 특성화한다.
• 주어진 제약 조건 하에서 정확한 재작성의 존재에 의존하여, 뷰 업데이트가 기초 관계로 고유하게 전파될 수 있는지 여부를 확인할 수 있는 일반 기준을 도입한다.
• 이 프레임워크를 세 가지 다른 시나리오에 적용한다: 분리된 임베디드 종속성이 있는 조건부 쿼리, 도메인 제약 조건이 있는 해석 가능한 속성에 대한 선택, 포함 종속성이 있는 DLR 기반의 관계대수.
• 각 설정에서 결정성 검증과 역 매핑 계산을 위해 채이스 기반 기법과 논리적 재작성 기법을 사용한다.
• 모든 세 설정에서 가역성이 결정 가능하고 효과적임을 입증한다. 이는 뷰 제약 조건이 없더라도 성립한다.
• 스키마 매핑과 논리적 임bedding을 통한 추상화를 통해 뷰와 제약 조건 간의 일대일 대응을 보장함으로써, 일관된 업데이트 전파를 가능하게 한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 뷰 매핑이 가역적이며, 각 뷰 업데이트가 기초 관계로 고유하게 번역될 수 있는가?
• RQ2 주어진 뷰 업데이트가 기초 데이터베이스 관계로 모호하지 않게 전파될 수 있는지를 효과적으로 판단할 수 있는가?
• RQ3 복잡한 뷰 정의와 제약 조건을 가진 다중 관계형 데이터베이스에서 업데이트 번역 가능성에 대한 일반적이고 결정 가능한 기준을 제공할 수 있는가?
• RQ4 조인에 대한 조건부 쿼리, 해석 가능한 속성에 대한 도메인 제약 조건, 포함 종속성이 있는 표현력 있는 관계대수를 포함하는 환경에서 뷰 업데이트 문제를 어떻게 해결할 수 있는가?

주요 결과

• 논문은 뷰 매핑이 기초 관계 기호 각각이 주어진 제약 조건 하에서 뷰 기호의 형태로 정확한 재작성 가능할 때에만 가역적임을 입증한다.
• 분리된 임베디드 종속성이 있는 조건부 쿼리 설정에서는, 뷰 업데이트 문제의 결정 가능성과 효과성이 입증되며, 다중 관계형 데이터베이스에서 오랫동안 열려 있던 문제를 해결한다.
• 해석 가능한 속성에 도메인 제약 조건이 있는 수평 분할 설정에서는, 결정성 검증과 업데이트 전파를 효과적으로 수행할 수 있으며, 이는 산술 비교를 포함한 선택 조건에도 적용된다.
• DLR 기반의 관계대수 설정에서는, 표현식에 대한 포함 종속성이 허용되며, 이로 인해 역 매핑과 업데이트 번역의 효과적인 계산이 가능하다.
• 프레임워크는 뷰 매핑의 조합을 지원한다: 조건이 충족되면, 복합 뷰가 가역적일 필요 충분 조건은 각 구성 요소 뷰가 가역적일 때이다.
• 논문은 기능 종속성이 수평 분할의 손실 없음에 영향을 주지 않지만, 포함 종속성이 결정성에 영향을 주는 추가 제약 조건을 유도할 수 있음을 보여주는 반례를 제시한다.