[논문 리뷰] Conjunctive Query Containment and Answering under Description Logics Constraints

Diego Calvanese, Giuseppe De Giacomo외 1명|ArXiv.org|2005. 07. 28.

Semantic Web and Ontologies참고 문헌 43인용 수 5

한 줄 요약

이 논문은 쿼리 포함 관계로의 환원을 통해 기술 체계 논리 제약 조건 하에서 연결 쿼리 포함 및 응답을 결론적으로 다루는 방법을 제시한다. 병합 복잡도에서 EXPTIME-완전성을 확립하고, 데이터 복잡도에서 단일 지수 시간을 보이며, 오른쪽 쪽 쿼리에 부등식을 허용할 경우 불결정성을 증명한다.

ABSTRACT

Query containment and query answering are two important computational tasks in databases. While query answering amounts to compute the result of a query over a database, query containment is the problem of checking whether for every database, the result of one query is a subset of the result of another query. In this paper, we deal with unions of conjunctive queries, and we address query containment and query answering under Description Logic constraints. Every such constraint is essentially an inclusion dependencies between concepts and relations, and their expressive power is due to the possibility of using complex expressions, e.g., intersection and difference of relations, special forms of quantification, regular expressions over binary relations, in the specification of the dependencies. These types of constraints capture a great variety of data models, including the relational, the entity-relationship, and the object-oriented model, all extended with various forms of constraints, and also the basic features of the ontology languages used in the context of the Semantic Web. We present the following results on both query containment and query answering. We provide a method for query containment under Description Logic constraints, thus showing that the problem is decidable, and analyze its computational complexity. We prove that query containment is undecidable in the case where we allow inequalities in the right-hand side query, even for very simple constraints and queries. We show that query answering under Description Logic constraints can be reduced to query containment, and illustrate how such a reduction provides upper bound results with respect to both combined and data complexity.

연구 동기 및 목표

• 기본적인 무결성 제약 조건이 기술 체계 논리로 표현된 상황에서 연결 쿼리 포함 및 응답 문제를 다루기.
• DL 기반 스키마 제약 조건 하에서 불완전한 데이터베이스에 대한 추론을 위한 공식적 프레임워크 제공.
• 이러한 제약 조건 하에서 쿼리 포함 및 쿼리 응답의 결정 가능성과 복잡도 한계 설정.
• 부등식 제약 조건이 결정 가능성에 미치는 영향을 조사하여, 특정 경우에 불결정성이 발생함을 보여줌.

제안 방법

• 불완전한 데이터베이스와 대상 튜플에서 부울 쿼리를 구성함으로써 쿼리 응답을 쿼리 포함 관계로 환원.
• 쿼리 간 포함 관계를 기술 체계 논리 제약 조건의 모델 하에서의 함의로 정의.
• 모델 이론적 접근을 통해 특정 응답을, 스키마와 데이터베이스의 모든 모델에서 포함 관계를 만족하는 것들로 특성화.
• 기존의 Datalog 및 쿼리 포함 분석 결과를 활용하여 복잡도 분석을 수행하며, 특히 연결 쿼리의 합집합에 대해 분석.
• 복잡도 분석을 적용하여 쿼리 응답의 병합 복잡도 및 데이터 복잡도에 대한 상한을 유도.
• 불완전한 데이터베이스의 만족 가능성은 쿼리 포함을 통해 증명하며, 이를 부울 쿼리의 포함 관계로 환원.

실험 결과

연구 질문

• RQ1 기술 체계 논리 제약 조건 하에서 연결 쿼리 포함이 결정 가능한가?
• RQ2 DL 제약 조건 하에서 쿼리 포함 및 쿼리 응답의 계산 복잡도는 무엇인가?
• RQ3 언제 어떤 조건에서 쿼리 포함이 불결정성이 되는가, 특히 부등식이 있을 경우?
• RQ4 DL 제약 조건 하에서 쿼리 응답은 쿼리 포함으로 환원될 수 있는가?
• RQ5 이 설정에서 병합 복잡도 및 데이터 복잡도의 복잡도 한계는 무엇인가?

주요 결과

• 기술 체계 논리 제약 조건 하에서 쿼리 포함은 결정 가능하며, 병합 복잡도는 EXPTIME에 속한다.
• DL 제약 조건 하에서 쿼리 응답은 쿼리 포함으로 환원될 수 있으며, 이를 통해 포함 검사에 기반한 복잡도 분석이 가능하다.
• 특정 응답을 결정하는 복잡도는 데이터베이스 내 상수의 수에 대해 단일 지수 시간이 소요되어, 데이터 복잡도가 단일 지수 시간이 된다.
• 오른쪽 쪽 쿼리에 부등식이 허용될 경우 쿼리 포함의 불결정성이 증명되며, 간단한 제약 조건 하에서도 마찬가지다.
• 스키마와 데이터베이스의 크기에 대해 지수 시간 내에 불완전한 데이터베이스의 만족 가능성은 결정 가능하다.
• 결과는 EXPTIME 내에서 TBox+ABox 만족 가능성으로 확장되며, ABox의 논리합으로 일반화될 수 있다.