article

Free access

A denotational semantics for the Starburst production rule language

Author:

Jennifer WidomAuthors Info & Claims

ACM SIGMOD Record, Volume 21, Issue 3

Pages 4 - 9

https://doi.org/10.1145/140979.140980

Published: 01 September 1992 Publication History

Abstract

Researchers often complain that the behavior of database production rules is difficult to reason about and understand, due in part to the lack of formal declarative semantics. It has even been claimed that database production rule languages inherently cannot be given declarative semantics, in contrast to, e.g., deductive database rule languages. In this short paper we dispute this claim by giving a denotational semantics for the Starburst database production rule language.

References

[1]

[ACL91] R. Agrawal, R.J. Cochrane, and B. Lindsay. On maintaining priorities in a production rule system. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, pages 479-487, Barcelona, Spain, September 1991.

Digital Library

[2]

[AWH92] A. Aiken, J. Widom, and J.M. Hellerstein. Behavior of database production rules: termination, confluence, and observable determinism. IBM Research Report RJ 8562, IBM Almaden Research Center, San Jose, California, January 1992.

Digital Library

[3]

[BFKM85] L. Brownston, R. Farrell, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming . Addison-Wesley, Reading, Massachusetts, 1985.

Digital Library

[4]

[CGT90] S. Ceri, G. Gottlob, and L. Tanca. Logic Programming and Databases. Springer-Verlag, Berlin, 1990.

Digital Library

[5]

[DD91] U. Dayal and K.R. Dittrich. Active database systems. In Seventeenth International Conference on Very Large Data Bases (tutorial), Barcelona, Spain, September 1991.

Digital Library

[6]

[Han89] E.N. Hanson. Art initial report on the design of Ariel: A DBMS with an integrated production rule system. SIGMOD Record, Special lssue on Rule Management and Processing in Expert Database Systems, 18(3):12-19, September 1989.

Digital Library

[7]

[HS86] J.R. Hindley and J.P. Seldin. Introduction to Combinators and ¿- Calculus. Cambridge University Press, Cambridge, England, 1986.

Digital Library

[8]

[HW92] E.N. Hanson and J. Widom. Rule processing in active database systems. In L. Delcambre and F. Petty, editors, Advances in Databases and Artificial Intelligence. JAI Press, Greenwich, Connecticut, 1992.

[9]

[KdMS92] J. Kiernan, C. de Maindreville, and E. Simon. Supporting deductive and active rules on top of a relational DBMS. Research report, INRIA, Le Chesnay, France, 1992.

[10]

[MD89] D.R. McCarthy and U. Dayal. The architecture of an active database management system. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 215-224, Portland, Oregon, May 1989.

Digital Library

[11]

[RL91] L. Raschid and J. Lobo. Semantics for update rule programs and implementation in a relational database management system. Technical Report UMIACS-TR-91-140, Institute for Advanced Computer Studies, University of Maryland, 1991.

Digital Library

[12]

[Sel89] T. Sellis, editor. Special lssue on Rule Management and Processing in Expert Database Systems, SIGMOD Record 18(3), September 1989.

[13]

[SJGP90] M. Stonebraker, A. Jhingran, J. Goh, and S. Potamianos. On rules, procedures, caching and views in data base systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 281-290, Atlantic City, New Jersey, May 1990.

Digital Library

[14]

[Sto77] J.E. Stoy. Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory. The MIT Press, Cambridge, Massachusetts, 1977.

Digital Library

[15]

[WCL91] J. Widom, R.J. Cochrane, and B.G. Lindsay. hnplementing set-oriented production rules as an extension to Starburst. In Proceedings of the Seventeenth international Conference on very Large Data Bases, pages 275-285, Barcelona, Spain, September 1991.

Digital Library

[16]

[WF90] J. Widom and S.J. Finkelstein. Set-oriented production rules in relational database systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, pages 259-270, Atlantic City, New Jersey, May 1990.

Digital Library

Cited By

Wang DRundensteiner EEllison R(2011)Active complex event processing over event streamsProceedings of the VLDB Endowment10.14778/2021017.20210214:10(634-645)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.14778/2021017.2021021
Kiringa I(2009)Specifying active databases as non-Markovian theories of actionsJournal of Intelligent Information Systems10.1007/s10844-007-0050-332:2(105-138)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1007/s10844-007-0050-3
Paschke AKozlenkov A(2009)Rule-Based Event Processing and Reaction RulesProceedings of the 2009 International Symposium on Rule Interchange and Applications10.1007/978-3-642-04985-9_8(53-66)Online publication date: 4-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-04985-9_8
Show More Cited By

Index Terms

A denotational semantics for the Starburst production rule language
1. Information systems
  1. Data management systems
    1. Query languages
2. Theory of computation
  1. Semantics and reasoning
    1. Program semantics
      1. Denotational semantics
  2. Theory and algorithms for application domains
    1. Database theory
      1. Database query languages (principles)

Recommendations

The Starburst Active Database Rule System

This paper describes our development of the Starburst Rule System, an active database rules facility integrated into the Starburst extensible relational database system at the IBM Almaden Research Center. The Starburst rule language is based on ...
A denotational semantics implementation system
Operational reasoning and denotational semantics.

Comments

Information & Contributors

Information

Published In

cover image ACM SIGMOD Record

ACM SIGMOD Record Volume 21, Issue 3

Sept. 1992

64 pages

ISSN:0163-5808

DOI:10.1145/140979

Editor:
Arie Segev
Univ. of California, Berkeley

Issue’s Table of Contents

Copyright © 1992 Author.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1992

Published in SIGMOD Volume 21, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

36
Total Citations
View Citations
178
Total Downloads

Downloads (Last 12 months)40
Downloads (Last 6 weeks)3

Reflects downloads up to 11 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wang DRundensteiner EEllison R(2011)Active complex event processing over event streamsProceedings of the VLDB Endowment10.14778/2021017.20210214:10(634-645)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.14778/2021017.2021021
Kiringa I(2009)Specifying active databases as non-Markovian theories of actionsJournal of Intelligent Information Systems10.1007/s10844-007-0050-332:2(105-138)Online publication date: 1-Apr-2009
https://dl.acm.org/doi/10.1007/s10844-007-0050-3
Paschke AKozlenkov A(2009)Rule-Based Event Processing and Reaction RulesProceedings of the 2009 International Symposium on Rule Interchange and Applications10.1007/978-3-642-04985-9_8(53-66)Online publication date: 4-Nov-2009
https://dl.acm.org/doi/10.1007/978-3-642-04985-9_8
Chakravarthy SAdaikkalavan RBaldoni R(2008)Events and streamsProceedings of the second international conference on Distributed event-based systems10.1145/1385989.1385991(1-12)Online publication date: 1-Jul-2008
https://dl.acm.org/doi/10.1145/1385989.1385991
Kangsabanik PYadav DMall RMajumdar A(2007)Performance analysis of long-lived cooperative transactions in active DBMSData & Knowledge Engineering10.1016/j.datak.2006.11.00162:3(547-577)Online publication date: 1-Sep-2007
https://dl.acm.org/doi/10.1016/j.datak.2006.11.001
Bisbal JGrimson JBell D(2005)A formal framework for database samplingInformation and Software Technology10.1016/j.infsof.2005.02.00347:12(819-828)Online publication date: 1-Sep-2005
https://dl.acm.org/doi/10.1016/j.infsof.2005.02.003
Baral CLobo J(2005)Formal characterization of active databasesLogic in Databases10.1007/BFb0031741(173-195)Online publication date: 26-Jun-2005
https://doi.org/10.1007/BFb0031741
Montesi DTorlone R(2005)A rewriting technique for implementing active object systemsObject-Oriented Methodologies and Systems10.1007/BFb0014024(171-188)Online publication date: 9-Jun-2005
https://doi.org/10.1007/BFb0014024
Baral CLobo JTrajcevski G(2005)Formal characterizations of active databases: Part IIDeductive and Object-Oriented Databases10.1007/3-540-63792-3_19(247-264)Online publication date: 17-Aug-2005
https://doi.org/10.1007/3-540-63792-3_19
Bailey JCrnogorac LRamamohanarao KSøndergaard H(2005)Abstract interpretation of active rules and its use in termination analysisDatabase Theory — ICDT '9710.1007/3-540-62222-5_45(188-202)Online publication date: 3-Jun-2005
https://doi.org/10.1007/3-540-62222-5_45
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents