"Mathematical Services Query Language: Design, Formalization, and Implementation"
, Serie Research Institute for Symbolic Computation (RISC), RISC, Johannes Kepler University, Altenberger Str. 69, 4040 Linz, 9-2005
Mathematical Services Query Language: Design, Formalization, and Implementation
Sprache des Titels:
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 metadata-based 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 de¯nition, and the implementation of MSQL with use-cases and examples demonstrating its usage.
Sprache der Kurzfassung:
Johannes Kepler University, Altenberger Str. 69, 4040 Linz
Research Institute for Symbolic Computation (RISC)