XPath을 포괄하는 데이터 자동화 확장

초록

이 논문은 데이터 단어와 데이터 트리를 다루는 새로운 자동화 모델을 제안한다 이 모델은 Regular XPath에서 정의되는 모든 쿼리를 포착한다 또한 자동화 이론을 활용해 XPath의 결정 가능성 및 표현력 문제를 해결한다

상세 분석

본 연구는 기존 데이터 자동화의 한계를 극복하기 위해 데이터 단어와 데이터 트리에 대한 확장형 자동화를 설계한다 이 자동화는 상태와 레지스터를 결합한 구조를 가지며 각 레지스터는 무한히 많은 데이터 값을 저장할 수 있다 자동화 전이 조건은 현재 심볼의 라벨과 레지스터에 저장된 값 사이의 동등성 검사를 포함한다 이를 통해 자동화는 데이터 값 사이의 비교 연산을 자연스럽게 표현한다 또한 자동화는 정규 표현식 기반의 경로 식을 내부적으로 변환하여 XPath의 축 선택자와 필터 조건을 정확히 모사한다 특히 축 선택자는 트리 구조에서 부모 자식 형제 관계를 탐색하는데 자동화의 전이 함수가 트리 노드의 구조 정보를 활용하도록 설계되었다 필터 조건은 레지스터에 저장된 데이터와 현재 노드의 데이터 간 동등성 검사를 통해 구현된다 이러한 설계는 자동화가 Regular XPath의 모든 구문을 시뮬레이션할 수 있음을 증명하는 핵심 아이디어가 된다 논문은 자동화와 XPath 사이의 등가성을 정리와 보조 정리를 통해 엄밀히 증명한다 첫 번째 정리는 자동화가 XPath 쿼리의 의미론적 모델을 완전하게 포착한다는 것이며 두 번째 정리는 반대로 XPath 쿼리가 자동화의 전이 집합으로 변환 가능함을 보인다 이를 위해 저자들은 복잡한 경로 연산을 기본 전이 규칙으로 분해하는 알고리즘을 제시한다 또한 자동화의 비결정성 요소를 제거하기 위해 결정적 형태로 변환하는 절차를 제시한다 이 과정에서 상태 폭발 문제를 완화하기 위한 합병 기법과 레지스터 최소화 전략이 도입된다 결과적으로 제안된 자동화는 기존 데이터 자동화보다 표현력이 강화되면서도 결정 가능성은 유지한다 이러한 기술적 기여는 XPath의 정밀한 분석과 최적화에 새로운 도구를 제공한다