[논문 리뷰] Containment of Nested Regular Expressions

Juan L. Reutter|arXiv (Cornell University)|2013. 04. 09.

Advanced Database Systems and Queries참고 문헌 13인용 수 11

한 줄 요약

이 논문은 존재적 중첩과 역방향 간선을 지원하는 그래프 데이터베이스 쿼리용 포괄적 형식인 네스티드 정규 표현식(NRE)의 포함 문제를 조사한다. 이는 루트 및 리프 노드를 위한 특수 마커를 갖는 반노선에 기반한 오ート마타 기반 분석으로 문제를 환원함으로써, NRE 포함 문제가 PSPACE에서 결정 가능하다는 것을 입증한다. 이는 표준 정규 경로 쿼리 포함 문제의 복잡도와 일치한다.

ABSTRACT

Nested regular expressions (NREs) have been proposed as a powerful formalism for querying RDFS graphs, but research in a more general graph database context has been scarce, and static analysis results are currently lacking. In this paper we investigate the problem of containment of NREs, and show that it can be solved in PSPACE, i.e., the same complexity as the problem of containment of regular expressions or regular path queries (RPQs).

연구 동기 및 목표

• 그래프 데이터베이스 환경에서 네스티드 정규 표현식(NRE)에 대한 정적 분석 결과의 부족을 해결하기 위해.
• 한 쿼리가 다른 쿼리의 결과를 항상 부분집합으로 반환할 때, NRE에 대한 포함 문제를 공식적으로 정의하고 분석하기 위해.
• NRE 포함 문제가 PSPACE에서 결정 가능하다는 것을 보여주며, 이는 표준 정규 경로 쿼리 포함 문제의 복잡도와 일치한다.
• 쿼리 의미를 포함성 검사에 활용하기 위해 오ート마타와 마킹된 반노선을 사용한 환원 기법을 개발하기 위해.
• 그래프 데이터베이스에서 NRE를 사용한 쿼리 최적화 및 동치성 검사에 대한 이론적 기반을 마련하기 위해.

제안 방법

• 논문은 NRE 포함 문제를 두 NRE에 대한 보완 오ート마타로부터 구성된 언어의 공집합 여부 검사로 환원한다.
• k-브랜치 반노선을 루트 및 리프 노드를 나타내는 특수 마커 S와 E를 갖는 레이블된 문자열로 매핑하는 번역 함수를 도입한다.
• 각 NRE에 대해, NRE가 쌍의 노드를 매칭하는 모든 반노선의 번역을 수용하는 오르간 A_R^{S,E}를 구성한다.
• R1, R2의 보완, 그리고 유효한 반노선 구조에 대한 제약 조건을 포함한 단일의 교대 2방향 유한 오르간(A2FA)을 조합한다.
• 포함성 검사는 결과 A2FA의 언어가 공집합인지 여부를 확인하는 것으로 환원되며, 이는 PSPACE에서 결정 가능하다.
• 이 구성은 보완 및 오르간 언어의 교차와 같은 표준 오르간 이론 기법에 기반한다.

실험 결과

연구 질문

• RQ1 네스티드 정규 표현식의 포함 문제는 결정 가능하며, 그 계산 복잡도는 무엇인가?
• RQ2 NRE의 포함 문제가 PSPACE 내에서 해결 가능한 문제로 환원될 수 있는가?
• RQ3 중첩과 역방향 간선을 갖는 NRE의 의미는 어떻게 그래프 구조에서 형식적으로 분석할 수 있는가?
• RQ4 반노선과 마킹된 노드 시퀀스는 NRE 동작을 특성화하는 데 어떤 역할을 하는가?
• RQ5 NRE 포함 문제는 보완 NRE 오르간으로부터 구성된 언어의 공집합 여부 검사로 환원될 수 있는가?

주요 결과

• 네스티드 정규 표현식의 포함 문제는 PSPACE에서 결정 가능하며, 이는 정규 경로 쿼리 포함 문제의 복잡도와 일치한다.
• 논문은 NRE 포함 문제를 교대 2방향 유한 오르간(A2FA) 언어의 공집합 여부 검사로 공식적으로 환원한다.
• 이 구성은 k-브랜치 반노선을 루트 및 리프 노드를 나타내는 특수 마커 S와 E를 갖는 레이블된 문자열로 번역하는 방식을 사용한다.
• 이 방법은 쌍의 노드 (u,v)가 NRE R의 결과에 포함될 때이고, 그저 해당 번역된 반노선이 해당 오르간 A_R^{S,E}에 의해 수용될 때에만 성립한다.
• 알고리즘은 R1, R2의 보완, 그리고 구조적 제약 조건의 오르간 언어의 교차가 공집합이 되는지 여부를 확인함으로써 포함성을 정확히 판단한다.
• 증명은 언어의 공집합 여부 검사가 포함성에 대해 필요하고도 충분함을 입증하며, 결정 절차의 정확성을 보장한다.