Open access
Date
1991-04Type
- Report
ETH Bibliography
yes
Altmetrics
Abstract
The purpose of this paper is to build a framework and give algorithms to solve queries of the form obj ∈ Prop where the object obj is expressible in terms of other given objects. We develop an algebra of properties, PROP, in which we carry out computations. We present a set of rules (Axioms Ax1 - Ax7) for the behaviour of the basic functions on properties. In addition, we represent the algorithmic components such as if and while by algebra operations meet and join. We conclude by proposing an implementation of the algebra PROP. Show more
Permanent link
https://doi.org/10.3929/ethz-a-000586276Publication status
publishedJournal / series
ETH, Eidgenössische Technische Hochschule Zürich, Departement Informatik, Institut für Wissenschaftliches RechnenVolume
Publisher
Departement Informatik, ETHSubject
COMPUTER ALGEBRA + SYMBOLIC COMPUTATION; ABFRAGEN (INFORMATIONSSYSTEME); QUERIES (INFORMATION SYSTEMS); COMPUTERALGEBRA + SYMBOLISCHE BERECHNUNGOrganisational unit
02150 - Dep. Informatik / Dep. of Computer Science
More
Show all metadata
ETH Bibliography
yes
Altmetrics