[논문 리뷰] Querying Visible and Invisible Tables in the Presence of Integrity Constraints.

Michael Benedikt, Pierre Bourhis외 2명|arXiv (Cornell University)|2015. 09. 05.

Data Quality and Management인용 수 3

한 줄 요약

이 논문은 일부 테이블이 가시적(알려진 데이터 포함)이고 다른 테이블이 비가시적(알 수 없음)일 때, 정합성 제약 조건 하에 관계형 데이터베이스에서 쿼리 포함 및 추론을 조사한다. 양성 또는 음성 쿼리 결과가 가시 데이터와 제약 조건으로부터 유추될 수 있는지 여부의 복잡도를 분류하며, 스키마 수준에서 결정 가능과 결정 불가능 사례 사이에 명확한 경계가 존재함을 드러낸다.

ABSTRACT

We provide a wide-ranging study of the scenario where a subset of the tables in a relational schema are visible to a user (that is, their complete contents are known) while the remaining tables are invisible. The schema also has a set of integrity constraints, which may relate the visible tables to invisible ones but also may constrain both the visible and invisible instances. We want to determine whether information about a user query can be inferred using only the visible information and the constraints. We consider whether positive information about the query can be inferred, and also whether negative information (the query does not hold) can be inferred. We further consider both the instance-level version of the problem (the visible table extensions are given) and the schema-level version, where we want to know whether information can be leaked in some instance of the schema. Our instance-level results classify the complexity of these problems, both as a function of all inputs, and in the size of the instance alone. Our schema-level results exhibit an unusual dividing line between decidable and undecidable cases.

연구 동기 및 목표

• 가시 테이블 내용과 정합성 제약 조건만으로 쿼리 결과(양성 또는 음성)가 유추될 수 있는지 여부를 판단하는 것.
• 쿼리 추론 문제의 인스턴스 수준 및 스키마 수준 버전을 모두 분석하는 것.
• 입력 크기와 제약 조건 구조에 따라 쿼리 추론의 계산 복잡도를 분류하는 것.
• 스키마 수준 공식화에서 결정 가능과 결정 불가능 사례 사이의 경계를 규명하는 것.

제안 방법

• 가시적 및 비가시적 테이블과 이를 연결하는 정합성 제약 조건을 포함한 관계 스키마를 모델링한다.
• 공식적인 쿼리 포함 기법을 적용하여, 쿼리 결과가 가시 데이터와 제약 조건으로부터 유추될 수 있는지 평가한다.
• 두 가지 설정에서 복잡도를 분석한다: 인스턴스 수준(특정 가시 테이블 확장이 주어진 경우)과 스키마 수준(스키마의 모든 가능한 인스턴스에 대해).
• 논리적 및 계산 복잡도 이론을 사용하여 문제의 처리 가능성 수준을 분류하며, PTIME, NP 및 결정 불가능 사례를 구분한다.
• 스키마 수준 설정에서 결정 가능성을 결정하는 제약 조건의 구조적 특성을 규명한다.
• 환원 및 구성 기법을 사용하여 특정 스키마 수준 구성에서의 결정 불가능성을 증명한다.

실험 결과

연구 질문

• RQ1 가시 데이터와 정합성 제약 조건으로부터 양성 쿼리 결과를 유추할 수 있는가?
• RQ2 동일한 조건 하에서 음성 쿼리 결과(즉, 쿼리가 성립하지 않음)를 유추할 수 있는가?
• RQ3 가시 테이블 인스턴스만 제공된 경우 쿼리 추론의 계산 복잡도는 어떻게 되는가?
• RQ4 스키마 수준 쿼리 추론 문제는 결정 가능한가? 만약 그렇지 않다면 어떤 구조적 특성이 결정 불가능성을 초래하는가?
• RQ5 정합성 제약 조건에 어떤 조건이 성립하면 스키마 수준 추론에서 결정 가능과 결정 불가능 사례 사이에 명확한 경계가 생기는가?

주요 결과

• 인스턴스 수준 문제에서는 쿼리 및 제약 조건 구조에 따라 PTIME에서 NP-완전까지 다양한 복잡도를 보인다.
• 일부 구성에서는 심지어 양성 쿼리 결과조차도 효율적으로 유추될 수 없어 본질적인 계산 난이도가 있음을 시사한다.
• 스키마 수준 문제에서는 명확한 경계가 존재한다: 특정 제약 조건 패턴은 결정 불가능성을 유도하지만, 다른 패턴은 여전히 결정 가능하다.
• 결정 불가능성은 제약 조건 간 복잡한 상호작용과 비가시 테이블에 무한한 데이터가 존재할 수 있는 가능성에 기인한다.
• 논문은 스키마 수준 추론이 결정 가능한지 여부를 결정하는 제약 조건의 구조적 조건을 규명한다.
• 결과는 자기 참조 또는 재귀적 제약 조건이 존재할 경우 스키마 수준 쿼리 추론에서 결정 불가능성을 유발할 수 있음을 드러낸다.