[go: up one dir, main page]
More Web Proxy on the site http://driver.im/ skip to main content
10.5555/1083592.1083739dlproceedingsArticle/Chapter ViewAbstractPublication PagesvldbConference Proceedingsconference-collections
Article

PrediCalc: a logical spreadsheet management system

Published: 30 August 2005 Publication History

Abstract

Computerized spreadsheets are a great success. They are often touted in newspapers and magazine articles as the first "killer app" for personal computers. Over the years, they have proven their worth time and again. Today, they are used for managing enterprises of all sorts - from one-person projects to multi-institutional conglomerates.

References

[1]
{BC03} L. Bertossi and J. Chomicki. Query answering in inconsistent databases. In Logics for Emerging Applications of Databases, 2003.]]
[2]
{BJ02} G. Boolos and R. Jeffrey. Computability and Logic. Cambridge University Press, 2002.]]
[3]
{CKW93}W. Chen, M. Kifer, and D. Warren. Hilog: A foundation for higher-order logic programming. J. Log. Program., 15(3), 1993.]]
[4]
{FFJ+03}A. Felfernig, G. Friedrich, D. Jannach, C. Russ, and M. Zanker. Developing constraint-based applications with spread-sheets. IEA/AIE, pages 197--207, 2003.]]
[5]
{FR88} G. Fischer and C. Rathke. Knowledge-based spreadsheets. In AAAI, 1988.]]
[6]
{GA00} G. Gupta and S. Akhter. Knowledgesheet: A graphical spreadsheet interface for interactively developing a class of constraint programs. In PADL, pages 308--323, 2000.]]
[7]
{Kri88} F. Kriwaczek. Logicalc: a prolog spreadsheet. Machine Intelligence 11, 1988.]]
[8]
{MT99} E. Mayol and E. Teniente. A survey of current methods for integrity constraint maintenance and view updating. In ER Workshops, pages 62--73, 1999.]]
[9]
{Orm01}L. Orman. Transaction repair for integrity enforcement. TKDE, 13(6):996--1009, 2001.]]
[10]
{SB89} M. Spenke and C. Beilken. A spreadsheet interface for logic programming. In Proc. of CHI-89, pages 75--80, 1989.]]

Cited By

View all
  • (2011)Consistency and provenance in rule processingProceedings of the 5th international conference on Rule-based modeling and computing on the semantic web10.5555/2075505.2075522(66-80)Online publication date: 3-Nov-2011
  • (2010)Spreadsheet as a relational database engineProceedings of the 2010 ACM SIGMOD International Conference on Management of data10.1145/1807167.1807191(195-206)Online publication date: 6-Jun-2010
  • (2007)Security policy analysis using deductive spreadsheetsProceedings of the 2007 ACM workshop on Formal methods in security engineering10.1145/1314436.1314443(42-50)Online publication date: 2-Nov-2007
  • Show More Cited By

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image DL Hosted proceedings
VLDB '05: Proceedings of the 31st international conference on Very large data bases
August 2005
1392 pages
ISBN:1595931546

Publisher

VLDB Endowment

Publication History

Published: 30 August 2005

Qualifiers

  • Article

Conference

ICMI05

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 21 Dec 2024

Other Metrics

Citations

Cited By

View all
  • (2011)Consistency and provenance in rule processingProceedings of the 5th international conference on Rule-based modeling and computing on the semantic web10.5555/2075505.2075522(66-80)Online publication date: 3-Nov-2011
  • (2010)Spreadsheet as a relational database engineProceedings of the 2010 ACM SIGMOD International Conference on Management of data10.1145/1807167.1807191(195-206)Online publication date: 6-Jun-2010
  • (2007)Security policy analysis using deductive spreadsheetsProceedings of the 2007 ACM workshop on Formal methods in security engineering10.1145/1314436.1314443(42-50)Online publication date: 2-Nov-2007
  • (2007)Enhancing the Programmability of Spreadsheets with Logic ProgrammingProceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing10.1109/VLHCC.2007.18(87-94)Online publication date: 23-Sep-2007
  • (2006)Deductive spreadsheets using tabled logic programmingProceedings of the 22nd international conference on Logic Programming10.1007/11799573_29(391-405)Online publication date: 17-Aug-2006

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media