The Deductive Spreadsheet

摘要: This book describes recent multidisciplinary research at the confluence of fields logic programming, database theory and human-computer interaction. The goal this effort was to develop basis a deductive spreadsheet, user productivity application that allows users without formal training in computer science make decisions about generic data same simple way they currently use spreadsheets numerical data. result is an elegant design supported by most developments above disciplines. first half focuses on engine underlies application, foundations do not see. After giving mathematical model traditional spreadsheet applications, we extend them with operators perform number relational tasks, similar view but context. Expressing extension programming framework natural step towards it powerful capabilities. second deals interface, part which actually interacts. We review elements graphical interface applications describe practical methodologies for designing interfaces borrowed from field cognitive psychology. then propose conservatively integrates mechanisms take advantage new followed results some preliminary usability experiments. will appeal researchers practitioners various areas underlying work. Researchers only find interesting their domains, also learn how achieve focus. Practitioners fully developed solutions numerous problems are easily solvable using applications.