[논문 리뷰] Principles of Progress Indicators for Database Repairing.

Ester Livshits, Ihab F. Ilyas외 2명|arXiv (Cornell University)|2019. 04. 13.

Data Quality and Management참고 문헌 28인용 수 3

한 줄 요약

이 논문은 데이터베이스 복구 과정에서 오류가 감소해야 하는 방식을 규정하는 공리들을 정식화하여 합리적이고 실행 가능한 오류 측정 방법을 제안한다. 부정 제약 조건 하에서 튜플 삭제만을 사용하는 측정 방법을 도입하여 계산 효율성과 함께 안정적이고 연속적인 진전을 보장하며, 실시간 진행 상황을 측정할 수 있도록 한다.

ABSTRACT

How should a cleaning system measure the amount of inconsistency in the database? Proper measures are important for quantifying the progress made in the cleaning process relative to the remaining effort and resources required. Similarly to effective progress bars in interactive systems, inconsistency should ideally diminish steadily and continuously while aiming to avoid jitters and jumps. Moreover, measures should be computationally tractable towards online applicability. Building on past research on inconsistency measures for knowledge bases, we embark on a systematic investigation of the rationality postulates of inconsistency measures in the context of database repair systems. The vision is to establish postulates that take into consideration the interplay between the database tuples, the integrity constraints, and the space of atomic repairing operations, and that guide the design of practical measures and progress indicators. Toward that, we shed light on classic measures by examining them against a set of rationality postulates. We also demonstrate the feasibility of the postulates by proposing a measure that is both rational and tractable for the general class of denial constraints, under the restriction of the repairing operations to tuple deletions.

연구 동기 및 목표

• 튜플, 무결성 제약 조건, 원자적 복구 작업을 고려하여 데이터베이스 복구에서 오류 측정 방법이 따라야 할 합리성 공리들을 정의하는 것.
• 데이터베이스 정제의 맥락에서 이러한 공리들을 기준으로 기존 오류 측정 방법을 평가하여 그 합리성 여부를 분석하는 것.
• 데이터베이스 복구 과정에서 지속적이고 끊김 없는 진전을 보장하는 처리 가능성을 확보하는 오류 측정 방법을 설계하는 것.
• 튜플 삭제만을 복구 작업으로 허용하는 조건에서 제안된 프레임워크의 실현 가능성을 부정 제약 조건 하에서 입증하는 것.

제안 방법

• 튜플, 무결성 제약 조건, 복구 작업 간의 상호작용을 고려하여 오류 측정 방법이 따라야 할 합리성 공리들을 정식화하는 것.
• 지식 기반 연구에서 유래한 고전적 오류 측정 방법들을 데이터베이스 복구 맥락에 적응 및 분석하는 것.
• 위반에 관여하는 튜플의 수에 기반한 새로운 오류 측정 방법을 제안하며, 복구 작업으로 튜플 삭제만을 사용하는 것.
• 제안된 측정 방법이 모든 공리를 만족함과 동시에 부정 제약 조건에 대해 계산적으로 처리 가능함을 증명하는 것.
• 측정 방법이 복구 과정 내내 오류 수준을 단조롭고 연속적으로 감소시켜 점프나 진동을 방지함을 입증하는 것.

실험 결과

연구 질문

• RQ1 데이터베이스 복구 맥락에서 오류 측정 방법이 합리적이라고 평가되기 위해 만족해야 할 공리는 무엇인가?
• RQ2 제안된 합리성 공리들을 기준으로 평가했을 때 기존 오류 측정 방법의 성능은 어떠한가?
• RQ3 복구 과정에서 안정적이고 지속적인 진전을 보장하는 처리 가능한 오류 측정 방법을 설계할 수 있는가?
• RQ4 튜플 삭제와 부정 제약 조건에 제한된 조건에서 그러한 측정 방법을 구성하는 것은 실현 가능한가?

주요 결과

• 제안된 오류 측정 방법은 정의된 모든 합리성 공리를 만족하여 진행 상황 추적 시 논리적 일관성을 확보한다.
• 튜플 삭제만을 복구 작업으로 허용할 경우 일반적인 부정 제약 조건 클래스에 대해 계산적으로 처리 가능하다.
• 복구 과정 내내 오류 수준이 단조롭고 연속적으로 감소하여 끊김이나 진동이 발생하지 않는다.
• 이 프레임워크는 데이터베이스 정제 시스템에 실용적이고 온라인에서 사용 가능한 진행 상황 지표를 설계할 수 있도록 한다.