[논문 리뷰] Tractable Query Answering and Optimization for Extensions of Weakly-Sticky Datalog+-

Mostafa Milani, Leopoldo Bertossi|arXiv (Cornell University)|2015. 04. 13.

Semantic Web and Ontologies참고 문헌 9인용 수 6

한 줄 요약

이 논문은 Datalog± 프로그램의 약한-추적-스티키(weakly-chase-sticky, WChS) 및 공동-약한-스티키(jointly-weakly-sticky, JWS) 클래스를 소개하며, 파라시모니우스 추적(parsimonious chase)과 유한 위치에 있는 널(null)의 즉각적 冻결(freezing)을 활용하는 다항시간, 타당성 및 완전성 보장(query answering) 알고리즘 AL^S를 제안한다. 이 알고리즘은 효율적이며 마그릭셋 재작성(magic-set rewriting)에 대해 닫혀 있어, WChS 및 JWS 하위클래스에서 정확성을 유지하면서 최적화가 가능하다.

ABSTRACT

We consider a semantic class, weakly-chase-sticky (WChS), and a syntactic subclass, jointly-weakly-sticky (JWS), of Datalog+- programs. Both extend that of weakly-sticky (WS) programs, which appear in our applications to data quality. For WChS programs we propose a practical, polynomial-time query answering algorithm (QAA). We establish that the two classes are closed under magic-sets rewritings. As a consequence, QAA can be applied to the optimized programs. QAA takes as inputs the program (including the query) and semantic information about the "finiteness" of predicate positions. For the syntactic subclasses JWS and WS of WChS, this additional information is computable.

연구 동기 및 목표

• 잠재적으로 무한한 추적 인스턴스를 가진 Datalog± 프로그램에서 처리 가능한 쿼리 답변 문제를 해결하기 위해.
• 약한-스티키(WS) 프로그램의 표현력을 확장하면서도 쿼리 답변의 처리 가능성을 유지하기 위해.
• 예측 가능한 유한 위치 제약 조건 하에서 작동하는 실용적이고 다항시간의 쿼리 답변 알고리즘(AL^S)을 개발하기 위해.
• 마그릭셋 재작성과 같은 최적화 기법과의 호환성을 확보하여 효율적인 쿼리 처리를 가능하게 하기 위해.
• JWS 클래스가 문법적으로 정의되어 있으며 WS보다 엄밀히 더 큰 클래스임을 입증하고, 실용적 사용을 위한 유한 위치 함수를 계산 가능하게 하기 위해.

제안 방법

• 유한 위치 함수 S를 통해 정의된 새로운 의미론적 클래스인 약한-추적-스티키(WChS)를 제안하며, 이는 추적 과정에서 널이 유한하게 유지되는 위치를 식별한다.
• 파라시모니우스 추적(pChase)과 각 pChase 단계 이후에 S-유한 위치에 있는 널을 즉각적으로 冻결하는 방식을 조합한 새로운 쿼리 답변 알고리즘 AL^S를 도입한다.
• 두 단계 실행 방식을 사용한다: 첫 번째로 pChase를 실행하여 더 이상 원자 추가가 불가능할 때까지 진행하고, 두 번째로 pChase를 반복적으로 재개하여 쿼리 조인을 처리하며, 유한 위치에 있는 널은 동결하여 추가 확장을 방지한다.
• 존재적 의존성 그래프(EDGs)를 기반으로 하여 WChS의 문법적 하위클래스인 공동-약한-스티키(JWS) 클래스를 정의하며, 이로 인해 유한 위치가 계산 가능해진다.
• JWS 및 WChS가 마그릭셋 재작성에 대해 닫혀 있음을 입증하여, 위치의 유한성이 유지되고 쿼리 최적화와의 통합이 가능함을 보여준다.
• 널의 동결 개념을 사용하여 유한 위치에서의 무한한 널 전파를 방지함으로써 알고리즘의 종료성과 타당성을 보장한다.

실험 결과

연구 질문

• RQ1 약한-스티키 Datalog± 프로그램의 의미론적 확장에 대해, 무한한 추적 인스턴스를 허용하면서도 처리 가능한 다항시간 쿼리 답변 알고리즘을 설계할 수 있는가?
• RQ2 제안된 알고리즘 AL^S가 유한 위치 함수 S 하에서 WChS 프로그램에 적용되었을 때 타당성과 완전성을 유지하는가?
• RQ3 JWS 문법적 하위클래스는 유한 위치가 계산 가능하고 알고리즘이 여전히 효율적인 방식으로 정의될 수 있는가?
• RQ4 마그릭셋 재작성 기법은 WChS 및 JWS 클래스와 호환되는가? 위치의 유한성이 유지되고 최적화가 가능한가?
• RQ5 유한 위치에 있는 널을 동결하는 방식이 존재적 변수가 존재하는 환경에서 쿼리 답변의 효율성과 정확성에 어떻게 기여하는가?

주요 결과

• 제안된 AL^S 알고리즘은 모든 WChS 프로그램에서 데이터 크기에 대해 다항시간 내에 실행되며, 이전 알고리즘이 효율적이지 못했던 쿼리 답변 문제에 실용적인 해결책을 제공한다.
• WChS 클래스는 마그릭셋 재작성에 대해 닫혀 있어, 최적화된 프로그램도 동일한 알고리즘으로 처리할 수 있으며 정확성에 손실가지 않는다.
• JWS 클래스는 EDGs를 통해 정의된 WS보다 엄밀히 더 큰 문법적 하위클래스이며, 그 유한 위치 함수 S^ext는 계산 가능하다.
• S 함수가 완전히 정확하지 않더라도 AL^S 알고리즘은 모든 WChS 프로그램에 대해 타당성을 유지하지만, 완전성은 S가 유한 위치를 정확히 식별할 때에만 보장된다.
• 유한 위치에 있는 널을 동결함으로써 해당 위치에서 더 이상 널이 생성되지 않으며, 이는 무한한 추적 확장을 방지하고 종료성을 보장한다.
• 알고리즘의 두 단계 구조—pChase 이후에 동결된 널을 포함한 재시작—은 조인을 포함한 콘주너크티브 쿼리 처리에 효과적으로 대응하여 WChS 프로그램에 대해 완전성을 보장한다.