RISC-Linz RISC-Linz Research Institute for Symbolic Computation  
about
|
people
|
publications
|
research
|
education
|
industry
|
conferences
|
media
|
projects
internal
  
search:
  
  • @techreport{RISC2738,
    author = {Rebhi Baraka},
    title = {{Mathematical Services Query Language: Design, Formalization, and Implementation}},
    language = {english},
    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.},
    year = {2005},
    month = {September},
    organization = {Johannes Kepler University},
    institution = {Research Institute for Symbolic Computation (RISC)},
    length = {85}
    }