[논문 리뷰] XLSearch: A Search Engine for Spreadsheets

Michael Kohlhase, Corneliu-Claudiu Prodescu외 1명|arXiv (Cornell University)|2014. 01. 28.

Spreadsheets and End-User Computing참고 문헌 11인용 수 3

한 줄 요약

XLSearch는 공식을 유니피케이션 기반 쿼리 매칭을 사용해 인덱싱하는 혁신적인 스프레드시트 검색 엔진으로, 유사한 공식과 일반적인 오류를 효율적으로 검색할 수 있도록 한다. 공식 인덱싱과 MathML와 같은 표준 형식으로의 내보내기를 활용함으로써, 데이터 집약적인 분야에서의 관리 용이성을 향상시킨다.

ABSTRACT

Spreadsheets are end-user programs and domain models that are heavily employed in administration, financial forecasting, education, and science because of their intuitive, flexible, and direct approach to computation. As a result, institutions are swamped by millions of spreadsheets that are becoming increasingly difficult to manage, access, and control. This note presents the XLSearch system, a novel search engine for spreadsheets. It indexes spreadsheet formulae and efficiently answers formula queries via unification (a complex query language that allows metavariables in both the query as well as the index). But a web-based search engine is only one application of the underlying technology: Spreadsheet formula export to web standards like MathML combined with formula indexing can be used to find similar spreadsheets or common formula errors.

연구 동기 및 목표

• 기관 내에서 수백만 개의 비정형이고 사용자가 만든 스프레드시트를 관리하는 데 증가하는 도전 과제를 해결한다.
• 메타변수를 포함한 복잡한 쿼리 언어를 사용해 스프레드시트 공식의 효율적 검색 및 검색 기능을 제공한다.
• 공통적인 공식 오류 탐지 및 스프레드시트 간 유사한 공식 식별을 지원한다.
• 사용자가 공식 패턴을 사용해 스프레드시트를 쿼리할 수 있도록 웹 기반 검색 인터페이스를 제공한다.
• 표준화된 공식 표현 방식(예: MathML)을 활용해 상호운용성 및 검색 확장성을 향상시킨다.

제안 방법

• 쿼리 및 인덱싱된 표현식 양쪽에 메타변수를 지원하는 유니피케이션 기반 기법을 사용해 스프레드시트 공식을 인덱싱한다.
• 일致성과 상호운용성을 확보하기 위해 MathML와 같은 표준 형식으로 공식을 표현한다.
• 공식 구조에 대한 패턴 매칭을 지원하는 복잡한 쿼리 처리를 위한 검색 엔진 아키텍처를 구현한다.
• 공식 내보내기 및 인덱싱을 활용해 스프레드시트 간 유사성 검출 및 오류 패턴 인식을 가능하게 한다.
• 최종 사용자가 공식 쿼리를 제출하고 관련 스프레드시트를 검색할 수 있도록 웹 기반 인터페이스를 설계한다.
• 공식 표현을 검색 가능하고 기계가 처리할 수 있는 표현으로 매핑하기 위해 의미 기반 인덱싱 기법을 적용한다.

실험 결과

연구 질문

• RQ1 어떻게 하면 의미 기반 검색과 패턴 매칭을 지원하기 위해 스프레드시트 공식을 효과적으로 인덱싱할 수 있는가?
• RQ2 유니피케이션 기반 쿼리 처리가 대규모 스프레드시트 컬렉션에서 유사한 공식을 효율적으로 검색하는 데 기여할 수 있는가?
• RQ3 공식 인덱싱을 통해 사용자 중심의 스프레드시트 개발에서 공통적인 오류나 반복 패턴을 어느 정도 탐지할 수 있는가?
• RQ4 MathML과 같은 표준화된 공식 표현 방식이 스프레드시트 시스템에서 검색 및 상호운용성 향상에 어떻게 기여하는가?
• RQ5 공식 수준의 인덱싱을 활용해 확장 가능한 웹 기반 스프레드시트 검색 엔진을 구축하는 데 실현 가능성이 있는가?

주요 결과

• XLSearch는 유니피케이션을 사용해 스프레드시트 공식을 성공적으로 인덱싱하여 메타변수를 포함한 복잡한 패턴 기반 쿼리를 지원한다.
• 시스템은 스프레드시트 간에 유사한 공식을 효율적으로 검색할 수 있도록 하여 오류 탐지 및 공식 재사용에 기여한다.
• MathML와 같은 표준 형식으로 공식을 내보내는 것은 상호운용성을 향상시키고 의미 웹 기술과의 넓은 통합을 가능하게 한다.
• 기관 환경에서 대규모 스프레드시트 관리에 대해 이 접근 방식의 실현 가능성을 입증한다.
• 의미 기반 인덱싱을 통해 공통적인 공식 패턴과 오류를 탐지할 수 있는 기반을 제공한다.
• 평가 결과, 검색 엔진은 복잡한 쿼리를 처리하고 관련 결과를 제공할 수 있었지만, 요약에서는 구체적인 성능 지표가 기재되지 않았다.