Mathematical Services Query Language: Design, Formalization, and Implementation

Rebhi Baraka

Mathematical Services Query Language: Design, Formalization, and Implementation

Rebhi Baraka

Research Institute for Symbolic Computation

Research output: Working paper and reports › Preprint

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 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.

Original language	English
Place of Publication	Johannes Kepler University, Altenberger Str. 69, 4040 Linz
Publisher	RISC
Number of pages	85
Publication status	Published - Sept 2005

Publication series

Name	RISC Technical Reports

Fields of science

101 Mathematics
101001 Algebra
101005 Computer algebra
101009 Geometry
101012 Combinatorics
101013 Mathematical logic
101020 Technical mathematics

Cite this

@techreport{ceaf93f581744f9396677cdc7d070016,

title = "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 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.",

author = "Rebhi Baraka",

year = "2005",

month = sep,

language = "English",

series = "RISC Technical Reports",

publisher = "RISC",

type = "WorkingPaper",

institution = "RISC",

}

TY - UNPB

T1 - Mathematical Services Query Language: Design, Formalization, and Implementation

AU - Baraka, Rebhi

PY - 2005/9

Y1 - 2005/9

N2 - 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.

AB - 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.

M3 - Preprint

T3 - RISC Technical Reports

BT - Mathematical Services Query Language: Design, Formalization, and Implementation

PB - RISC

CY - Johannes Kepler University, Altenberger Str. 69, 4040 Linz

ER -