[논문 리뷰] Answer Counting under Guarded TGDs

Cristina Feier, Carsten Lutz외 1명|arXiv (Cornell University)|2021. 01. 08.

Semantic Web and Ontologies참고 문헌 40인용 수 4

한 줄 요약

이 논문은 온톨로지 매핑 쿼리 및 제약 조건 하에서의 쿼리 수행 환경에서, 보호된 튜플 생성 의존성(TGD) 하에서 조건부 쿼리와 그 합성(UCQ)의 해를 세는 문제에 대해 포괄적인 매개변수 복잡도 분류를 제공한다. 주요 기여는 트리너비, 수축 트리너비, 스타크기, 연결 매칭 수와 같은 구조적 측도를 바탕으로, 해 세기 문제가 고정 매개변수 다항시간(FPT), W[1]-동치, #W[1]-동치, #W[2]-난이도, 또는 #A[2]-동치가 되는 조건을 정확히 규명한 것이다. 이는 유한 어휘 및 완전한 데이터 스키마 가정 하에서 이루어진다.

ABSTRACT

We study the complexity of answer counting for ontology-mediated queries and for querying under constraints, considering conjunctive queries and unions thereof (UCQs) as the query language and guarded TGDs as the ontology and constraint language, respectively. Our main result is a classification according to whether answer counting is fixed-parameter tractable (FPT), W[1]-equivalent, #W[1]-equivalent, #W[2]-hard, or #A[2]-equivalent, lifting a recent classification for UCQs without ontologies and constraints due to Dell et al. The classification pertains to various structural measures, namely treewidth, contract treewidth, starsize, and linked matching number. Our results rest on the assumption that the arity of relation symbols is bounded by a constant and, in the case of ontology-mediated querying, that all symbols from the ontology and query can occur in the data (so-called full data schema). We also study the meta-problems for the mentioned structural measures, that is, to decide whether a given ontology-mediated query or constraint-query specification is equivalent to one for which the structural measure is bounded.

연구 동기 및 목표

• 온톨로지 매핑 쿼리 및 제약 조건 하에서 보호된 TGD 하에서 UCQ에 대한 해 세기 문제의 매개변수 복잡도를 분류하는 것.
• 쿼리의 구조적 성질에 기반해 어떤 쿼리 클래스에서는 해 세기 문제가 고정 매개변수 다항시간(FPT)이 되며, 어떤 경우에는 더 어려운지 규명하는 것.
• Dell 등(2019)의 온톨로지 없이 UCQ에 대해 수행한 이전 연구를 보호된 TGD가 있는 더 복잡한 환경으로 확장하는 것.
• 메타 문제 분석: 주어진 OMQ 또는 CQS가 트리너비 또는 스타크기 등 구조적 측도가 유한한 쿼리와 동치인지 여부를 결정하는 것.
• 유한 어휘 및 완전한 데이터 스키마 가정이 복잡도 분류에 미치는 영향을 분석하는 것.

제안 방법

• 저자들은 트리너비, 수축 트리너비, 스타크기, 연결 매칭 수와 같은 구조적 측도를 매개변수로 사용하여 해 세기 문제의 복잡도를 분류한다.
• 특히 보호된 TGD에서 채이즈 프로세스의 행동을 분석함으로써, 동형사상과 채이즈 기반 구성법을 통해 감소 및 난이도 결과를 확립한다.
• 증명 기법은 쿼리 재기록물을 디비컨텍스트의 채이즈에 사상하는 방법을 사용하며, 보호성 조건을 활용해 변수 공유 및 경로 구조를 제어한다.
• 쿼리의 스타크기가 높다면, 동형사상을 유지하는 고유한 스타크기를 가진 디비컨텍스트 인스턴스를 구성할 수 있으며, 이는 유한 스타크기 가정 하에서 모순를 초래한다.
• 보유된 어휘 조건 하에서 보호된 TGD는 채이즈 내 경로가 원래 디비컨텍스트의 원래 상수들만을 사용해 추적 가능함을 보장하므로, 이 사실이 분석에 기초한다.
• 채이즈의 폐쇄성과 보호성 조건을 활용해, 온톨로지 없이 적용된 복잡도 분류를 보호된 TGD 환경으로 확장한다.

실험 결과

연구 질문

• RQ1 보통의 TGD 하에서 UCQ에 대한 해 세기 문제가 어떤 조건에서 고정 매개변수 다항시간(FPT)이 되는가?
• RQ2 트리너비 및 스타크기와 같은 구조적 측도가 보호된 TGD 존재 하에서 해 세기 문제의 매개변수 복잡도에 어떤 영향을 미치는가?
• RQ3 보통의 TGD 하에서 해 세기 복잡도를 FPT, W[1]-동치, #W[1]-동치, #W[2]-난이도, 또는 #A[2]-동치 클래스로 정확히 분류할 수 있는가?
• RQ4 트리너비 또는 스타크기가 유한한 쿼리와 동치인지 여부를 결정하는 메타 문제는 효율적으로 해결 가능한가?
• RQ5 유한 어휘 및 완전한 데이터 스키마 가정이 복잡도 분류에 어떤 영향을 미치는가?

주요 결과

• 유한 어휘 및 완전한 데이터 스키마 조건 하에서, UCQ에 대한 해 세기 문제가 보호된 TGD 하에서 고정 매개변수 다항시간(FPT)이 되는 것은 쿼리의 트리너비, 수축 트리너비 또는 스타크기가 유한할 때에만 가능하다.
• 연결 매칭 수가 무한할 경우, 해 세기 문제는 #W[2]-난이도가 되며, 이는 복잡도에 대한 날카로운 전환점임을 시사한다.
• 연결 매칭 수는 유한하지만 트리너비는 무한할 경우, 문제는 #W[1]-동치가 되며, 이는 복잡도의 계층적 구조를 보여준다.
• 온톨로지 없이 적용된 분류 결과가 보호된 TGD 환경으로 확장되며, FPT/W[1]/#W[1] 경계가 유지된다.
• 트리너비가 유한한 쿼리와 동치인지 여부를 결정하는 메타 문제는 결정 가능하지만, 복잡도는 온톨로지의 구조에 따라 달라진다.
• 온톨로지가 정규형일 경우 OMQ 언어(ELIH, UCQ)로 결과를 확장할 수 있으며, 몸체의 트리너비가 유한한 전면 보호된 TGD로도 적용 가능하다.