© 1981 by British Computer Society
| ||||||||||||||||||||||||||||||||||||||||||||||||||
SYSTEMATICS: Its syntax and semantics as a query language (1)
Faculdade de Ciencias Matematica Aplicada, 58 Rua de Escola Politecnica, Lisboa, Portugal
SYSTEMATICS (a very high level systems specification language) is analysed from the point of view of its capabilities for querying a relational-like message data base. No attempt is made to analyse its temporal and imperative capabilities that are also needed when specifying information systems. A formal definition of the semantics of its query expressions is given after a brief revision of its basic concepts and syntax. The semantics of the language is discussed in a set theoretic framework.
Received May 1979.
* Now at Faculdade de Ciências Matemática Aplicada, 58 Rua de Escola Politécnica 1294, Lisboa codex, Portugal.
LSE, Houghton Street, London WC2