[논문 리뷰] Consistent Query Answering via ASP from Different Perspectives: Theory and Practice

Marco Manna, Francesco Ricca외 1명|arXiv (Cornell University)|2011. 07. 22.

Logic, Reasoning, and Knowledge참고 문헌 33인용 수 4

한 줄 요약

이 논문은 집합적 ASP 프로그램에 대한 경계적 추론으로 CQA를 표현함으로써, 다양한 의미론—정확한, 완전한, 정확한—에 걸쳐 일관된 질의 응답(CQA)을 위한 통합된 ASP 기반 프레임워크를 제안한다. 질의 기반 최적화를 도입하여 계산을 국소화하고 복잡도를 감소시켜 대규모 데이터 통합 워크로드에서의 효율적 처리를 가능하게 하며, 검증된 확장성과 핵심 제약 조건(KDs 및 INDs) 지원을 제공한다.

ABSTRACT

A data integration system provides transparent access to different data sources by suitably combining their data, and providing the user with a unified view of them, called global schema. However, source data are generally not under the control of the data integration process, thus integrated data may violate global integrity constraints even in presence of locally-consistent data sources. In this scenario, it may be anyway interesting to retrieve as much consistent information as possible. The process of answering user queries under global constraint violations is called consistent query answering (CQA). Several notions of CQA have been proposed, e.g., depending on whether integrated information is assumed to be sound, complete, exact or a variant of them. This paper provides a contribution in this setting: it uniforms solutions coming from different perspectives under a common ASP-based core, and provides query-driven optimizations designed for isolating and eliminating inefficiencies of the general approach for computing consistent answers. Moreover, the paper introduces some new theoretical results enriching existing knowledge on decidability and complexity of the considered problems. The effectiveness of the approach is evidenced by experimental results. To appear in Theory and Practice of Logic Programming (TPLP).

연구 동기 및 목표

• 국소적으로 일관된 데이터 소스가 존재하더라도 전역 무결성 제약 조건이 위반될 수 있는 데이터 통합 시스템에서 일관된 질의 응답(CQA)의 과제를 해결한다.
• 유연한-정확성, 유연한-완전성, 유연한-정확성이라는 다양한 CQA 의미론을 단일 선언적 ASP 기반 핵심으로 통합하여 데이터 품질에 대한 다양한 가정 하에 일관된 추론을 가능하게 한다.
• CQA의 본질적 계산 난이도를 극복하기 위해 질의 기반 최적화를 도입하여 수리의 국소화 및 단순화를 통해 수리 계산의 복잡도를 감소시키고 확장성을 향상시킨다.
• 대규모 데이터와 복잡한 제약 조건을 처리할 수 있는 기능이 풍부한 프로토타입 시스템을 개발하고 구현한다.
• 핵심 의존성(KDs)과 외래 키 유사 포함 의존성(SFSK INDs)이 존재할 경우, 유연한-정확성 및 유연한-정확성 의미론 하에서 CQA의 결정 가능 경계를 확장한다.

제안 방법

• 사용자 질의와 전역 무결성 제약 조건에서 자동 생성된 집합적 ASP 프로그램에 기반한 경계적 추론으로 CQA를 수식화한다.
• 질의와 제약 조건 구조에 맞게 맞춤형으로 생성된 ASP 프로그램을 생성하는 질의 인지 재작성 기법을 도입하여 일관된 응답의 정확하고 효율적인 계산을 가능하게 한다.
• 활성 관계의 어리티를 국소화하고 관련 제약 조건을 단순화함으로써 수리 후보 수를 최소화하는 새로운 최적화 기법—'수직적' 단순화—를 설계한다.
• 대량 메모리 데이터베이스 연산과 분산 데이터 관리를 지원하기 위해 DLV DB 시스템을 기반 쿼리 평가기로 통합하여 대규모 데이터셋에서의 확장성을 확보한다.
• 질의에 관련된 최소한의 제약 조건 집합만을 고립하기 위해 질의 기반 필터링을 적용하여 불필요하거나 중복된 제약 조건에 대한 계산을 피한다.
• 기존 최적화 기법(예: 마법 집합)을 ASP 기반 프레임워크와 통합하고 CQA를 지원하도록 확장하여 보다 넓은 논리 프로그래밍 기법과의 호환성을 확보한다.

실험 결과

연구 질문

• RQ1 유연한-정확성, 유연한-완전성, 유연한-정확성이라는 다양한 CQA 의미론을 단일 선언적 프레임워크로 어떻게 공식화할 수 있는가?
• RQ2 핵심 의존성(KDs)과 포함 의존성(SFSK INDs)이 동시에 존재할 경우, 유연한-정확성 및 유연한-정확성 의미론 하에서 CQA의 계산 복잡도는 어떻게 되는가?
• RQ3 질의 기반 최적화가 정확성을 훼손하지 않으면서 제약 조건 처리의 국소화 및 단순화를 통해 CQA의 계산 오버헤드를 줄일 수 있는가?
• RQ4 복잡한 제약 조건을 가진 실제 및 합성 데이터 통합 워크로드에서 ASP 기반 재작성 및 최적화 기법은 어느 정도 확장성과 성능을 발휘할 수 있는가?
• RQ5 기존 시스템이 일부 의미론이나 제약 유형만 지원하는 데 비해, 제안된 프레임워크는 성능과 표현력 면에서 어떻게 비교되는가?

주요 결과

• 제안된 ASP 기반 프레임워크는 세 가지 주요 CQA 의미론—유연한-정확성, 유연한-완전성, 유연한-정확성—을 단일이고 일관되며 선언적인 계산 모델로 통합하여 성공적으로 통합하였다.
• 이 프레임워크는 핵심 의존성(KDs)과 포함 의존성(SFSK INDs)이 존재하는 상황에서도, 유연한-정확성 및 유연한-정확성 의미론 하에서 CQA의 결정 가능 경계를 확장한다.
• 질의 기반 최적화 전략은 제약 조건 구조를 단순화함으로써 후보 수리를 크게 줄여 성능 향상과 계산 복잡도 감소를 이끌었다.
• 실제 및 합성 데이터에 대한 실험 평가를 통해 프로토타입 시스템의 확장성과 효율성을 입증하였으며, 특히 결합 질의와 일반적인 데이터베이스 제약 조건 하에서 뛰어난 성능을 보였다.
• DLV DB 시스템의 통합을 통해 대규모 데이터 처리를 효과적으로 수행할 수 있었으며, 이는 실제 데이터 통합 시나리오에서 본 접근 방식의 타당성을 확인시켰다.
• 사용자 우아한 GUI, 완전한 제약 조건 지원(KDs 및 INDs), 다양한 의미론을 포함하는 완전한 스택을 제공하며, 이전 시스템이 단일 의미론이나 제약 유형에 국한되었던 것에 비해 뛰어난 성능을 발휘한다.