[논문 리뷰] Queries with Guarded Negation (full version)

Vince Bárány, Balder ten Cate외 1명|arXiv (Cornell University)|2012. 03. 01.

Advanced Database Systems and Queries참고 문헌 36인용 수 6

한 줄 요약

이 논문은 부정을 감시된 형태로 제한하는 GN-SQL과 GN-Datalog라는 쿼리 언어를 소개한다. 이는 부정 조건이 공통된 맥락을 공유하는 튜플에만 적용되도록 하여 결정 가능하고 효율적인 쿼리 처리를 가능하게 한다. 주요 기여는 이러한 언어에서 쿼리 포함, 평가, 유계성과 같은 핵심 문제들이 결정 가능하고 복잡도가 다룰 수 있음을 증명한 것이다. 이는 주요 기존 언어를 포함하고 대부분의 실용적인 SQL 부정 패턴을 커버한다.

ABSTRACT

A well-established and fundamental insight in database theory is that negation (also known as complementation) tends to make queries difficult to process and difficult to reason about. Many basic problems are decidable and admit practical algorithms in the case of unions of conjunctive queries, but become difficult or even undecidable when queries are allowed to contain negation. Inspired by recent results in finite model theory, we consider a restricted form of negation, guarded negation. We introduce a fragment of SQL, called GN-SQL, as well as a fragment of Datalog with stratified negation, called GN-Datalog, that allow only guarded negation, and we show that these query languages are computationally well behaved, in terms of testing query containment, query evaluation, open-world query answering, and boundedness. GN-SQL and GN-Datalog subsume a number of well known query languages and constraint languages, such as unions of conjunctive queries, monadic Datalog, and frontier-guarded tgds. In addition, an analysis of standard benchmark workloads shows that most usage of negation in SQL in practice is guarded negation.

연구 동기 및 목표

• 표준 쿼리 언어에서의 부정으로 인한 계산 비효율 문제를 감시된 형태로 부정을 제한함으로써 해결하기 위해.
• GN-SQL과 GN-Datalog를 실용적이고 잘 정의된 부정 형태를 지원하는 쿼리 언어로 정의하기 위해.
• 감시된 부정 하에서 핵심 데이터베이스 문제들—쿼리 포함 및 오픈 월드 쿼리 답변과 같은 문제들—이 결정 가능하고 효율적으로 해결될 수 있음을 보여주기 위해.
• 감시된 부정이 대부분의 실제 세계 SQL 사용 패턴을 포괄하므로 이론적으로 타당하고 실용적으로 관련성이 있다는 것을 입증하기 위해.
• 기존 논리학에서의 결정 가능성 결과를 데이터베이스 쿼리 언어로 확장하여, 단일 항의 Datalog과 조건부 쿼리의 합의 일반화된 결과를 도출하기 위해.

제안 방법

• 감시된 부정의 기초 형식적 체계로 GNFO(Guarded-Negation First-Order Logic)와 GNFP(Guarded-Negation Fixed-Point Logic)를 정의한다.
• GN-SQL을 SQL의 문법적 부분집합으로 정의하여, 부정 조건이 감시된 조건으로 제한되며 GNFO로의 번역이 보장되도록 한다.
• 감시된 부정이 동일한 튜플 내의 EDB 원소에 의해 감시되어야 하는 조건을 만족하는 계층적 부정을 갖는 Datalog의 변종인 GN-Datalog를 정의한다.
• 논리적 및 대수적 특성화를 통해 GN-SQL과 GN-Datalog가 각각 GNFO와 GNFP에 대해 표현력이 완전하다는 것을 증명한다.
• 실제 SQL 벤치마크 워크로드를 분석하여 대부분의 실용적 부정이 감시된 형태임을 입증함으로써 제한의 타당성을 뒷받침한다.
• 유한 모델 이론에서 알려진 결과를 활용하여 GNFO/GNFP로의 감소 및 번역을 통해 복잡도 한계를 설정한다.

실험 결과

연구 질문

• RQ1 SQL과 Datalog에서의 부정을 어떻게 제한할 수 있을까? 이는 핵심 쿼리 문제의 결정 가능성을 유지하면서도 표현력을 유지할 수 있도록 하기 위함이다.
• RQ2 감시된 부정은 실제 워크로드에서의 대부분의 실용적 부정 사용 패턴을 포괄할 수 있는가?
• RQ3 감시된 부정 언어에서 쿼리 평가, 포함, 오픈 월드 쿼리 답변의 복합 복잡도와 데이터 복잡도는 각각 얼마인가?
• RQ4 감시된 부정을 갖는 Datalog에서의 유계성 문제는 결정 가능한가? 기존 단일 항의 Datalog 결과와 비교해보면 어떻게 되는가?
• RQ5 GN-SQL과 GN-Datalog는 상수, 비교 연산 또는 집계를 추가해도 여전히 결정 가능하고 다룰 수 있는 복잡도를 유지할 수 있는가?

주요 결과

• GN-SQL과 GN-Datalog의 쿼리 포함 문제는 2ExpTime-완비이며, 이는 결정 가능하고 잘 알려진 복잡도 클래스 내에 속한다.
• GN-SQL의 쿼리 평가는 복합 복잡도가 P^NP[log²]에 속하고, GN-Datalog의 경우 P^NP에 속하여 합리적인 가정 하에 효율적인 다룰 수 있는 복잡도를 보인다.
• GN-SQL의 오픈 월드 쿼리 답변은 데이터 복잡도에서 coNP-완비이며, 중요한 부분집합에 대해서는 PTime 내에서 해결 가능하다.
• GN-Datalog의 유계성 문제는 결정 가능하며, 기존의 단일 항의 Datalog에 대한 결정 가능성 결과를 일반화한다.
• GN-SQL과 GN-Datalog는 조건부 쿼리의 합, 단일 항의 Datalog, 프론트리어 감시된 tgds를 포함하여 광범위한 표현력을 갖춘다.
• 표준 SQL 벤치마크 워크로드에서 대부분의 부정이 감시된 형태임을 확인하여, 이 제한의 실용적 관련성을 입증한다.