[논문 리뷰] Causality in Databases: The Diagnosis and Repair Connections

Babak Salimi, Leopoldo Bertossi|arXiv (Cornell University)|2014. 04. 28.

Scientific Computing and Data Management참고 문헌 29인용 수 7

한 줄 요약

이 논문은 관계형 데이터베이스에서의 인과성, 부정 제약 조건 하에서의 데이터베이스 복구, 일致성 기반 진단 간의 정밀한 이론적 연결을 수립한다. 실제 쿼리 결과에 대한 원인과 그 책임도 데이터베이스 복구를 통해 계산될 수 있으며, 반대로 복구 문제를 통해 인과성 문제를 해결할 수 있음을 보여주며, 잘 정립된 진단 및 복구 기법을 데이터베이스의 인과성 문제에 적용할 수 있게 한다.

ABSTRACT

In this work we establish and investigate the connections between causality for query answers in databases, database repairs wrt. denial constraints, and consistency-based diagnosis. The first two are relatively new problems in databases, and the third one is an established subject in knowledge representation. We show how to obtain database repairs from causes and the other way around. The vast body of research on database repairs can be applied to the newer problem of determining actual causes for query answers. By formulating a causality problem as a diagnosis problem, we manage to characterize causes in terms of a system's diagnoses.

연구 동기 및 목표

• 관계형 데이터베이스에서의 인과성, 데이터베이스 복구, 일치성 기반 진단 간의 깊은 연결을 체계화하고 조사하기.
• 합성 쿼리에서 실제 원인과 그 책임을 계산하는 것이 진단 또는 복구 문제를 해결하는 것으로 환원될 수 있음을 보여주기.
• 기존의 데이터베이스 복구 및 진단 기법을 신속히 발전 중인 관계형 데이터베이스의 인과성 분야로 이식할 수 있도록 하기.
• 특히 쿼리 결과 설명 및 일관성 없는 상태에 대한 비단조화적 추론을 위한 통합된 프레임워크 제공하기.

제안 방법

• 쿼리가 참이 되는 것과 부정 제약 조건이 위반되는 것 사이에 일대일 대응을 가지는 부울 합성 쿼리와 그에 관련된 부정 제약 조건을 정의하기.
• 쿼리가 참이 되는 실제 원인과 부정 제약 조건 하에서의 부분집합 복구 간의 일대일 대응을 수립하기.
• 해당 원인과 관련된 최소 복구의 기수를 통해 튜플이 원인으로서의 책임을 정확히 특성화하기.
• 제약 조건 위반에 대한 실제 원인과 그 연관 집합을 분석하여 데이터베이스 복구를 계산하는 알고리즘 개발하기.
• 시스템 기술서가 데이터베이스 스키마이고 관측 결과가 쿼리 결과인 일치성 기반 진단 문제로 인과성 문제를 재구성하기.
• 응답 집합 프로그래밍(ASP)을 활용하여 복구 및 진단을 명시하고 계산함으로써 인과 및 복구 구조에 대한 자동 추론 가능하게 하기.

실험 결과

연구 질문

• RQ1 부정 제약 조건 하에서의 데이터베이스 복구를 통해 부울 합성 쿼리 결과에 대한 실제 원인은 어떻게 특성화될 수 있는가?
• RQ2 튜플이 원인으로서의 책임과 복구의 기수 사이에 정확한 관계는 무엇인가?
• RQ3 실제 원인과 그 연관 집합으로부터 데이터베이스 복구를 계산할 수 있으며, 반대로 복구에서 원인을 도출할 수 있는가?
• RQ4 관계형 데이터베이스에서의 인과성 문제는 어떻게 일치성 기반 진단 문제로 환원될 수 있는가?
• RQ5 ASP는 통합 프레임워크 내에서 원인, 복구, 진단을 명시하고 계산하는 데 어떤 역할을 하는가?

주요 결과

• 부울 합성 쿼리가 참이 되는 실제 원인과 관련된 부정 제약 조건 하에서의 부분집합 복구 사이에 일대일 대응이 존재한다.
• 튜플이 원인으로서의 책임은 해당 튜플과 관련된 최소 복구의 기수로 정확히 특성화된다.
• 실제 원인과 그 연관 집합으로부터 데이터베이스 복구를 계산할 수 있으며, 이는 원인 설명에서 복구를 역으로 추론할 수 있음을 가능하게 한다.
• 인과성 문제는 일치성 기반 진단 문제로 환원될 수 있으며, 이는 진단 기법을 활용해 원인과 그 책임을 계산할 수 있음을 의미한다.
• 인과성과 복구 간의 연결 덕분에 기존의 데이터베이스 복구 기법(예: ASP 기반 기법)을 관계형 데이터베이스의 인과 설명 문제에 적용할 수 있다.
• 이 프레임워크는 복구 기반의 인과성 특성화를 통해 기능적 의존성과 비합성 쿼리로의 확장도 가능하다.