SIS - A symbolic information management system

  • Authors:
  • S. Bandyopadhyay;J. S. Devitt

  • Affiliations:
  • School of Computer Science, University of Windsor, Windsor, Ontario, Canada N9B 3P4;Department of Mathematics, University of Saskatchewan, Saskatoon, Saskatchewan, Canada S7N OWO

  • Venue:
  • Journal of Symbolic Computation
  • Year:
  • 1987

Quantified Score

Hi-index 0.00

Visualization

Abstract

Conventional data base management systems are designed for business applications and do not provide the sort of tools required for effective management of algebraic data such as mathematical formulae. An effective information system for the science and engineering environment must capitalize on such structure. The Scientific Information System combines the facilities of data base management with those of symbolic computation using an interface very similar to Query by Example. This paper presents an overview of the system. Algebraic constraint satisfaction plays a crucial role in the overall design and is accomplished through interaction with the Maple Algebra System. SIS opens the possibility of interfacing such diverse tools as automatic query inference systems for relational databases, and algebra systems.