Open Advanced Search

Log in
Enterprise Plans
Free Trial

Log in
Free Trial
Enterprise Plans
Browse
Features
Pricing

DeepDyve

Advanced Search

show/hide query preview

With all of the words or DOIs:

DeepDyve's default query mode: search by keyword or DOI.

With the exact phrase:

Require these words, in this exact order. Do not surround your terms in double-quotes ("") in this field.

With at least one of the words:

Find any of these words, separated by spaces

Without the words:

Exclude each of these words, separated by spaces

With words in the article title:

Search for these terms only in the title of an article

Published between the years:

With the following authors:

Most effective as: LastName, First Name or Lastname, FN

With words in the journal name:

Search for articles published in journals where these words are in the journal name

Reset filters

Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

DeepDyve requires Javascript to function. Please enable Javascript on your browser to continue.

The Deductive Spreadsheet

Part of the Cognitive Technologies Book Series

DOI: 10.1007/978-3-642-37747-1

ISBN: 978-3-642-37746-4

Publisher: Springer Berlin Heidelberg - Springer Journals

May 20, 2013

1 - 10 of 11 Chapters

Available

Introduction

Cervesato, Iliano

Pages: 1 –23

[This introductory chapter motivates the deductive spreadsheet and outlines our approach. In Sect. 1.1 we identify three useful classes of reasoning problems that the deductive spreadsheet should support. In Sect. 1.2, we characterize the target audience of this tool. In Sect. 1.3 we review...
Available

Requirements

Cervesato, Iliano

Pages: 25 –30

[In this chapter, we state the principal requirements for the deductive spreadsheet. We separate them into functional, regarding the operations supported by the tool, and cognitive, concerning the user interactions with the tool. We will rely on these requirements to guide the design of the...
Available

The Traditional Spreadsheet

Cervesato, Iliano

Pages: 33 –54

[In this chapter we develop a simple model of the traditional spreadsheet. We outline the structure and operational semantics of this useful tool, with particular emphasis on the notion of update. This allows us to distill a methodology and a number of guiding principles for the deductive...
Available

The Relational Spreadsheet

Cervesato, Iliano

Pages: 55 –117

[In this chapter we recall basic concepts of relational algebra as used in relational databases and import them into the spreadsheet model, obtaining what we call the relational spreadsheet. This relational extension already highlights some of the differences between databases and spreadsheets,...
Available

The Logical Spreadsheet

Cervesato, Iliano

Pages: 119 –182

[This chapter provides a logical interpretation of the resulting relational spreadsheet as the nonrecursive fragment of a suitable flavor of Datalog enriched with negation and constraints. The theory of this language is developed into a model that emphasizes the unique requirements of a...
Available

The Deductive Spreadsheet

Cervesato, Iliano

Pages: 183 –252

[This chapter defines the deductive spreadsheet proper by adding recursion to the logical interpretation provided in Chap. 5, hence turning it into a constrained form of Datalog with negation. This step provides a substantial boost in expressiveness while requiring only small theoretical...
Available

The Traditional Interface

Cervesato, Iliano

Pages: 255 –277

[This chapter begins our discussion of the visual presentation of the deductive spreadsheet with a careful review of the most important concepts of the user interface of the traditional spreadsheet. It isolates the points where we should anchor the deductive extensions to the existing display...
Available

Cognitive Interface Design

Cervesato, Iliano

Pages: 279 –298

[In this chapter we introduce the methodology we follow as we design the user interface of the deductive spreadsheet. Because meeting the cognitive requirements of the user is paramount, we combine two recent proposals from cognitive science: the attention investment model takes an abstract view...
Available

Toward a Deductive Interface

Cervesato, Iliano

Pages: 299 –346

[This chapter proposes a series of alterations to the traditional spreadsheet interface in order to support our deductive extension. As we do so, we strive to remain conservative with respect to the traditional spreadsheet and to make the complete set of deductive functionalities available. We...
Available

Preliminary Experiments

Cervesato, Iliano

Pages: 347 –364

[In this chapter we report on some preliminary experiments on a few representative users. Empirical assessments of this sort will be substantially expanded in future work in order to exhaustively evaluate our design and propose improvements.]

results per page

Browse All eBooks

Features

Search and discover articles on DeepDyve, PubMed, and Google Scholar
Read the full-text of open access and premium content
Organize articles with folders and bookmarks
Collaborate on and share articles and folders

Info

Pricing
Enterprise Plans
Browse Journals & Topics
About DeepDyve

Help

Help
Publishers
Contact Us

Sign up for your 14-Day Free Trial Now!

Read and print from thousands of top scholarly journals.

System error. Please try again!

Continue with Facebook

By signing up, you agree to DeepDyve’s Terms of Service and Privacy Policy.

Already have an account? Log in

Save Article to Bookmarks

Bookmark this article. You can see your Bookmarks on your DeepDyve Library.

To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.

Subscribe to Journal Email Alerts

To subscribe to email alerts, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Follow a Journal

To get new article updates from a journal on your personalized homepage, please log in first, or sign up for a DeepDyve account if you don’t already have one.

Our policy towards the use of cookies

All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.

cookie policy