2014/01/28 by Michael Kohlhase, Kohlhase, Michael, Corneliu-Claudiu Prodescu +4
Computer Science · #Advanced Database Systems and Queries #Databases (cs.DB) #FOS: Computer and information sciences #Spreadsheets and End-User Computing #cs.DB
paper · pdf · doi:10.48550/arxiv.1401.7584
12 Pages. 10 B&W & Colour Figures. Proc. European Spreadsheet Risks Int. Grp. (EuSpRIG) 2013, ISBN: 978-1-9054045-1-3
arxiv created 2014/01/28 · openalex publication_date 2014/01/28 · arxiv updated 2014/01/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.