Paper Info
Title
Prototyping Relational Specifications Using Higher-Order Objects
Abstract
Abstract: An approach is described for the generation of certain mathematicalobjects (like sets, correspondences, mappings) in terms of relationsusing relation-algebraic descriptions of higher-order objects. Fromnon-constructivecharacterizations executable relational specifications areobtained. We also showhowtodevelop more efficient algorithms fromthe frequently inefficient specifications within the calculus of binary relations.
Year
DOI
Venue
1993
10.1007/3-540-58233-9_4
HOA
Keywords
DocType
ISBN
higher-order objects,prototyping relational,relation algebra,binary relation,higher order
Conference
3-540-58233-9
Citations 
PageRank 
References 
11
1.92
14
Authors
3
Name
Order
Citations
PageRank
Rudolf Berghammer156976.48
Thomas F. Gritzner2263.28
Gunther Schmidt320330.70