Logical spreadsheets
Abstract/Contents
- Abstract
- Computerized spreadsheets are tremendously popular and useful. Despite their success, computerized spreadsheet systems today have significant and unnecessary restrictions that limit their usefulness. One significant restriction is that the formulas used to specify calculations must be functions. Another unnecessary restriction is that propagation can only occur in one direction. We can lift these restrictions, allowing for many-to-many logical constraints and multidirectional propagation. We call such a spreadsheet a logical spreadsheet. We allow for inconsistency between the constraints of the spreadsheet. To allow for the consequences of the spreadsheet to be shown, we create a new paraconsistent entailment relation and show how it can be computed. We discuss the issues involved in updating a logical spreadsheet, and design a family of domain-independent update operators for updating logical spreadsheets. To allow for domain-dependent behavior, we design a logic called Markov Change Logic that can be used to express update policies for spreadsheets. The design of Markov Change Logic is motivated in part by an analysis of dynamic database constraints, in which we prove that all database constraints can be reduced to Markov dynamic constraints if the schema may be reformulated. We describe the implementation of a logical spreadsheet engine called Webcell which can be used to turn Web pages into logical spreadsheets, and discuss its application to the Stanford Computer Science Master's Program Sheets.
Description
| Type of resource | text |
|---|---|
| Form | electronic; electronic resource; remote |
| Extent | 1 online resource. |
| Publication date | 2011 |
| Issuance | monographic |
| Language | English |
Creators/Contributors
| Associated with | Kassoff, Michael Adam |
|---|---|
| Associated with | Stanford University, Computer Science Department |
| Primary advisor | Genesereth, Michael R, 1948- |
| Thesis advisor | Genesereth, Michael R, 1948- |
| Thesis advisor | Garcia-Molina, Hector |
| Thesis advisor | Chaudhri, Vinay K |
| Advisor | Garcia-Molina, Hector |
| Advisor | Chaudhri, Vinay K |
Subjects
| Genre | Theses |
|---|
Bibliographic information
| Statement of responsibility | Michael Kassoff. |
|---|---|
| Note | Submitted to the Department of Computer Science. |
| Thesis | Ph.D. Stanford University 2011 |
| Location | electronic resource |
Access conditions
- Copyright
- © 2011 by Michael Adam Kassoff
- License
- This work is licensed under a Creative Commons Attribution Non Commercial 3.0 Unported license (CC BY-NC).
Also listed in
Loading usage metrics...