Domain representations of partial functions, with applications to spatial objects and constructive volume geometry

  • Authors:

  • J. Blanck;V. Stolenberg-Hansen;J. V. Tucker

  • Affiliations:

  • University of Wales Swansea, Singleton Park, Swansea SA2 8PP, UK;Uppsala University, Box 480, SE-751 06 Uppsala, Sweden;University of Wales Swansea, Singleton Park, Swansea SA2 8PP, UK

  • Venue:
  • Theoretical Computer Science
  • Year:
  • 2002

Quantified Score

Hi-index 5.23

Visualization

Abstract

A partial spatial object is a partial map from space to data. Data types of partial spatial objects are modelled by topological algebras of partial maps and are the foundation for a high level approach to volume graphics called constructive volume geometry (CVG), where space and data are subspaces of n dimensional Euclidean space. We investigate the computability of partial spatial object data types, in general and in volume graphics, using the theory of effective domain representations for topological algebras. The basic mathematical problem considered is to classify which partial functions between topological spaces can be represented by total continuous functions between given domain representations of the spaces. We prove theorems about partial functions on regular Hausdorff spaces and their domain representations, and apply the results to partial spatial objects and CVG algebras.