The design and implementation of a spreadsheet based on constraints
Date
1993
Authors
Stadelmann, Marc
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Constraints allow the user to declare relationships among objects and let the system maintain and satisfy these relationships. This thesis is concerned with incorporating constraints into spreadsheets. Instead of formulas, we let the user enter numerical constraints over the real values in the cells of the spreadsheet. Recalculating the spreadsheet then means (1) checking whether the given cell-values satisfy the constraints and (2) finding values for empty cells that satisfy the constraints.
We provide a brief overview of the typical conventional spreadsheet and give a formal (denotational) definition of its meaning (semantics). We then describe the design of our new spreadsheet and compare its semantics with the conventional spreadsheet's. The concept of constraints over cells is extended to constraints over arrays of cells (vectors). We introduce a language for constraints over the vectors of a two-dimensional spreadsheet and define several operations on these vectors.
We have implemented a subset of this new spreadsheet restricted to equality-constraints. A brief overview of this effort is provided and several implementation-related issues are discussed. We conclude this thesis by giving a collection of examples for which the idea of a constraint-based spreadsheet is well, or even uniquely, suited and we compare the solution of these examples with what conventional spreadsheets offer to solve the same problems.
Description
Keywords
UN SDG 16: Peace, Justice, and Strong Institutions