article

Free access

Static analysis techniques for predicting the behavior of active database rules

Authors:

Alexander Aiken,

Joseph M. Hellerstein,

Jennifer WidomAuthors Info & Claims

ACM Transactions on Database Systems (TODS), Volume 20, Issue 1

Pages 3 - 41

https://doi.org/10.1145/202106.202107

Published: 01 March 1995 Publication History

PDF eReader

Abstract

This article gives methods for statically analyzing sets of active database rules to determine if the rules are (1) guaranteed to terminate, (2) guaranteed to produce a unique final database state, and (3) guaranteed to produce a unique stream of observable actions. If the analysis determines that one of these properties is not guaranteed, it isolates the rules responsible for the problem and determines criteria that, if satisfied, guarantee the property. The analysis methods are presented in the context of the Starburst Rule System.

References

[1]

AGRAWAL, R., COCHRANE, R. J., AND LINDSAY, B. 1991 On maintaining priorities in a production rule system. In Proceedings of the 17th International Conference on Very Large Data Bases, (Barcelona, Spain, Sept.). VLDB Endowment, 479-487.

Digital Library

Google Scholar

[2]

ANWAR, E., MAUG~S, L., AND CHAKRAVARTHY, S. 1993. A new perspective on rule support for object-oriented databases. In Procee&ngs of the ACM SIGMOD International Conference on Management of Data, (Washington, D.C., May). ACM, New York, 99-108.

Digital Library

Google Scholar

[3]

AIKEN, A., WIDOM, J., AND HELLERSTEIN, J.M. 1992. Behavior of database production rules: Termination, confluence, and observable determinism. In Procee&ngs of the ACM SIGMOD International Conference on Management of Data, (San Diego, Calif., June). ACM, New York, 59-68.

Digital Library

Google Scholar

[4]

BROWNSTON, L., FARRELL, R., KANT, E., AND MARTIN, N. 1985. Programming Expert Systems m OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, Reading, Mass

Digital Library

Google Scholar

[5]

BARALIS, E., AND WIDOM, J. 1994. An algebraic approach to rule analysis in expert database systems. In Proceedings of the 20th International Conference on Very Large Data Bases (Santiago, Chile, Sept.). VLDB Endowment, 475-486.

Digital Library

Google Scholar

[6]

CHAKRAVARTHY, S., BLAUSTEIN, B., BUCHMANN, A. P., CAREY, M., DAYAL, U., GOLDHIRSCH, D., Hsu, M., JAUHAm, R., LADIN, R., LIVNY, M., McCARTHY, D., MCKEE, R., AND ROSENTHAL, A. 1989. HiPAC: A research project in active, time-constrained database management. Tech. Rep. XAIT-89-02, Xerox Advanced Information Technology, Cambridge, Mass., July.

Google Scholar

[7]

CHAKRAVARTHY, S., AND LOMET, D. 1992. Special Issue on Active Databases. IEEE Data Eng. Bull. 15, 4 (Dec.)

Google Scholar

[8]

CERI, S., AND MANTHE~, R. 1993. Consolidated specification of Chimera, the conceptual interface of Idea. Tech. Rep. IDEA. DD.2P.004, Politecnico di Milano, Milan, Italy, June.

Google Scholar

[9]

CERI, S., AND WIDOM, J. 1990. Deriving production rules for constraint maintenance. In Proceedings of the 16th International Conference on Very Large Data Bases, (Brisbane, Australia, Aug.). VLDB Endowment, 566-577.

Digital Library

Google Scholar

[10]

CERI, S., AND WIDOM, J. 1991. Deriving production rules for incremental view maintenance. In Proceedings of ehe 17~h {~ier~a~onal Conference on Very Large Data Bases, (Barcelona, Spain, Sept.). VLDB Endowment, 577-589.

Digital Library

Google Scholar

[11]

DAYAL, U., HANSON, E. N. AND WIDOM, J. 1994. Active database systems. In Modern Database Systems: The Object Model, Interoperability, and Beyond. W. Kim, Ed. ACM Press, New York, 434-456.

Digital Library

Google Scholar

[12]

DAYAL, U., AND WIDOM, J. 1992. Active database systems. In ACM SIGMOD International Conference on Management of Data (tutorial), (San Diego, Calif., June). ACM, New York,

Google Scholar

[13]

GEHANI, N., AND JAGADISH, H.V. 1991. Ode as an active database: Constraints and triggers. In Proceedings of the 17th International Conference on Very Large Data Bases, (Barcelona, Spain, Sept ). VLDB Endowment, 327-336.

Digital Library

Google Scholar

[14]

HAAS, L. M. ET AL. 1990. Starburst mid-flight: As the dust clears. IEEE Trans. Knowledge Data Eng., 2, i (Mar.), 143-160.

Digital Library

Google Scholar

[15]

HANSON, E.N. 1992. Rule condition testing and action execution in Ariel. In Proceedings of the ACM S1GMOD International Conference on Management of Data, (San Diego, Calif., June). ACM, New York, 49-58.

Digital Library

Google Scholar

[16]

HELLERSTEIN, J. M., AND HSU, M. 1991. Determinism in partially ordered production systems. IBM Res. Rep. RJ 8009, IBM Almaden Research Center, San Jose, Calif., Mar.

Google Scholar

[17]

HUET, G. 1980. Confluent reductions: Abstract properties and applications to term rewriting systems. J. ACM 27, 4 (Oct.), 797-821.

Digital Library

Google Scholar

[18]

HANSON, E. N., Arid WIDOM, J. 1993. An overview of production rules ia database systems. Knowledge Eng. Rev. 8, 2 (June), 121-143.

Crossref

Google Scholar

[19]

KRISHNAMURTHY, R., RAMAKRISHNAN, R., AND SHMUELI, O. 1988. Framework for testing safety and effective computability of extended Datalog. In Proceedings of the ACM SIGMOD International Conference on Management of Data. (Chicago, Ill., June). ACM, New York, 154-164.

Digital Library

Google Scholar

[20]

KA~D~MCE, A. P., AND URBAN, S.D. 1991. Diagnosing anomalous rule behavior in databases with integrity maintenance production rules. In Third Workshop on Foundations of Models and Languages for Data and Objects, (Aigen, Austria, Sept.). 77-102.

Google Scholar

[21]

K~D~MCE, A. P., AND URBAN, S.D. 1994. Conditional term rewriting as a formal basis for analysis of active database rules. In Fourth International Workshop on Research Issues in Data Engineering (RIDE-ADS '94), (Houston, Tex., Feb.). 156-162.

Google Scholar

[22]

RASCHID, L. 1990. Maintaining consistency in a stratified production system. In Proceedings of the AAAI National Conference on Artificial Intelligence, (Boston, Mass., July). 284-289.

Google Scholar

[23]

STONEBRAKER, M., JHINGRAN, A., GOH, J., AND POTAMIANOS, S. 1990. On rules, procedures, caching and views in data base systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data. (Atlantic City, N.J., May). ACM, New York, 281-290.

Digital Library

Google Scholar

[24]

StMON, E., KmRN~2~, J., ANn DE MA~NDREVmLE, C. 1992. Implementing high level active rules on top of a relational DBMS. In Proceedings of the 18th International Conference on Very Large Data Bases, (Vancouver, B.C., Aug.). VLDB Endowment, 315-326.

Digital Library

Google Scholar

[25]

SAGIV, Y., AND VARDI, M. 1989. Safety of Datalog over infinite databases. In Proceedings of the 8th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, New York, 160-170.

Digital Library

Google Scholar

[26]

WIDOM, J., COCHRANE, R. J., AND LINDSAY, B.G., 1991. Implementing set.-oriented production rules as an extension to Starburst. In Proceedings of the 17th International Conference on Very Large Data Bases, (Barcelona, Spain, Sept.). VLDB Endowment, 275-285.

Digital Library

Google Scholar

[27]

WIDOM, J., AND FINKELSTEIN, S.J. 1990. Set-oriented production rules in relational database systems. In Proceedings of the ACM SIGMOD International Conference on Management of Data, (Atlantic City, N.J., May). ACM, New York, 259-270.

Digital Library

Google Scholar

[28]

WIDOM, J. 1992. The Starburst rule system: Language design, implementation, and applications. Special Issue on Active Databases, IEEE Data Eng. Bull. 15, 4 (Dec.), 15-18.

Google Scholar

[29]

ZHOU, Y., AND HSU, M. 1990. A theory for rule triggering systems. In Advances in Database Technology--EDBT '90, Lecture Notes in Computer Science 416, Springer-Verlag, Berlin, Mar., 407-421.

Digital Library

Google Scholar

Cited By

View all

Wang ZZeng KHuang BChen WCui XWang BLiu JFan LQu DHou ZGuan TLi CZhou J(2023)Tempura: a general cost-based optimizer framework for incremental data processing (Journal Version)The VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-023-00785-132:6(1315-1342)Online publication date: 20-Mar-2023
https://dl.acm.org/doi/10.1007/s00778-023-00785-1
Rahman SBendre MLiu YZhu SSu ZKarahalios KParameswaran A(2021)NOAHProceedings of the VLDB Endowment10.14778/3447689.344770114:6(970-983)Online publication date: 12-Apr-2021
https://dl.acm.org/doi/10.14778/3447689.3447701
Yang ZKamsetty ALuan SLiang EDuan YChen XStoica I(2020)NeuroCardProceedings of the VLDB Endowment10.14778/3421424.342143214:1(61-73)Online publication date: 27-Oct-2020
https://dl.acm.org/doi/10.14778/3421424.3421432
Show More Cited By

Index Terms

Static analysis techniques for predicting the behavior of active database rules

Recommendations

An algebraic approach to static analysis of active database rules

Rules in active database systems can be very difficult to program due to the unstructured and unpredictable nature of rule processing. We provide static analysis techniques for predicting whether a given rule set is guaranteed to terminate and whether ...
Modularization techniques for active rules design

Active database systems can be used to establish and enforce data management policies. A large amount of the semantics that normally needs to be coded in application programs can be abstracted and assigned to active rules. This trend is sometimes called ...
A structured approach for the definition of the semantics of active databases

Active DBMSs couple database technology with rule-based programming to achieve the capability of reaction to database (and possibly external) stimuli, called events. The reactive capabilities of active databases are useful for a wide spectrum of ...

Reviews

Reviewer: Julia E. Hodges

The collection of static analysis algorithms described here was originally developed for the Starburst Rule System, although the authors expect their methods to be applicable to other active database rule systems, including the “upcoming standard for triggers in SQL3.” Given a set of rules, their algorithms determine: termination: the rule processing can be guaranteed to terminate confluence: the final database state is independent of the execution order of nonprioritized rules observable determinism: the order or appearance of observable actions (such as data retrieval) is independent of the execution order of nonprioritized rules If a set of rules fails to satisfy one of these properties, the algorithms determine which rules are responsible and what criteria must be met in order for that property to be satisfied. The authors envision their system as part of an interactive development system for active databases that allows a user to define and modify rules. The authors provide an overview of the Starburst Rule System and a set of examples illustrating rules that are nonterminating, non-confluent, or not observably deterministic. This discussion, coupled with a description of the execution model, depicts the semantics of the rule processing clearly enough that the paper is self-contained. Any reader with some background in active database systems should easily be able to understand the basics regarding the determination of whether a set of rules satisfies the three properties of interest. Furthermore, this paper should interest all researchers and developers who are working on active database systems.

Access critical reviews of Computing literature here

Become a reviewer for Computing Reviews.

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Database Systems

ACM Transactions on Database Systems Volume 20, Issue 1

March 1995

110 pages

ISSN:0362-5915

EISSN:1557-4644

DOI:10.1145/202106

Editor:
Won Kim
UniSQL Inc., Austin, TX

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 March 1995

Published in TODS Volume 20, Issue 1

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

123
Total Citations
View Citations
962
Total Downloads

Downloads (Last 12 months)46
Downloads (Last 6 weeks)7

Reflects downloads up to 12 Aug 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Wang ZZeng KHuang BChen WCui XWang BLiu JFan LQu DHou ZGuan TLi CZhou J(2023)Tempura: a general cost-based optimizer framework for incremental data processing (Journal Version)The VLDB Journal — The International Journal on Very Large Data Bases10.1007/s00778-023-00785-132:6(1315-1342)Online publication date: 20-Mar-2023
https://dl.acm.org/doi/10.1007/s00778-023-00785-1
Rahman SBendre MLiu YZhu SSu ZKarahalios KParameswaran A(2021)NOAHProceedings of the VLDB Endowment10.14778/3447689.344770114:6(970-983)Online publication date: 12-Apr-2021
https://dl.acm.org/doi/10.14778/3447689.3447701
Yang ZKamsetty ALuan SLiang EDuan YChen XStoica I(2020)NeuroCardProceedings of the VLDB Endowment10.14778/3421424.342143214:1(61-73)Online publication date: 27-Oct-2020
https://dl.acm.org/doi/10.14778/3421424.3421432
Wang ZZeng KHuang BChen WCui XWang BLiu JFan LQu DHou ZGuan TLi CZhou J(2020)TempuraProceedings of the VLDB Endowment10.14778/3421424.342142714:1(14-27)Online publication date: 1-Sep-2020
https://dl.acm.org/doi/10.14778/3421424.3421427
Gill GDathathri RHoang LPeri RPingali K(2020)Single machine graph analytics on massive datasets using Intel optane DC persistent memoryProceedings of the VLDB Endowment10.14778/3389133.338914513:8(1304-1318)Online publication date: 3-May-2020
https://dl.acm.org/doi/10.14778/3389133.3389145
Burgueno LBoubeta-Puig JVallecillo A(2018)Formalizing Complex Event Processing Systems in MaudeIEEE Access10.1109/ACCESS.2018.28311856(23222-23241)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2831185
Sharon G(2018)Event CausalityEncyclopedia of Database Systems10.1007/978-1-4614-8265-9_572(1358-1359)Online publication date: 7-Dec-2018
https://doi.org/10.1007/978-1-4614-8265-9_572
Xiong ZZhu JYuan HHe SWei H(2016)A new approach to detecting active rule confluence with exclusive rules during an indeterminable rule processJournal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology10.3233/JIFS-15220231:3(1769-1778)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.3233/JIFS-152202
Oztarak HAkkaya KYazici ASarisaray-Boluk P(2016)Efficient active rule processing in wireless multimedia sensor networksInternational Journal of Ad Hoc and Ubiquitous Computing10.1504/IJAHUC.2016.07439021:1(64-77)Online publication date: 1-Jan-2016
https://dl.acm.org/doi/10.1504/IJAHUC.2016.074390
Sharon G(2016)Event CausalityEncyclopedia of Database Systems10.1007/978-1-4899-7993-3_572-2(1-2)Online publication date: 13-Dec-2016
https://doi.org/10.1007/978-1-4899-7993-3_572-2
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

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

Abstract

References

Cited By

Index Terms

Recommendations

An algebraic approach to static analysis of active database rules

Modularization techniques for active rules design

A structured approach for the definition of the semantics of active databases

Reviews

Access critical reviews of Computing literature here

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations