Mathematical Services Query Language: Design, Formalization, and Implementation

Abstract

The Mathematical Services Query Language (MSQL) is a content-based query language developed for querying mathematical descriptions in the form of the Mathematical Services Description Language (MSDL). It provides the user with the ability to query the contents of MSDL documents published in the MathBroker registry. It complements the metadatabased querying facility of the MathBroker registry which facilitates querying of metadata accompanying descriptions published in the registry. In this report, we present the design, the formal definition, and the implementation of MSQL with use-cases and examples demonstrating its usage.