An algebra of properties
Trudy Weibel, Gastón H. Gonnet · 1991
The purpose of this paper is to build a framework and give algorithms to solve queries of the form obj E 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 Axl -Ax7) for the behaviour of the basic functions on properties.In addition, we represent the algorithmic components such as if and while by the algebra operations meet and join.We conclude by proposing an implementation of the algebra PROP.