article

Free access

Modeling dynamic collections of interdependent objects using path-based rules

Authors:

Peter F. Patel-Schneider,

Anil MishraAuthors Info & Claims

ACM SIGPLAN Notices, Volume 32, Issue 10

Pages 77 - 92

https://doi.org/10.1145/263700.263723

Published: 09 October 1997 Publication History

Abstract

Standard object-oriented languages do not provide language support for modeling changing collections of interdependent objects. We propose that R++, an integration of the rule and object-oriented paradigms, provides a mechanism for easily implementing such models. R++ extends C++ by adding a new programming construct called the path-based rule. Such data-driven rules are restricted to follow pointers between objects, and are like "automatic methods" that are triggered by changes to monitored objects. Path-based rules encourage a more abstract level of programming, and unlike previous rule integrations, are not at odds with the object-oriented paradigm and offer performance advantages for natural applications.

References

[1]

Patrick Albert. ILog Rules, embedding rules in C++: Results and limits. In Position Papers for the OOP- SLA '94 Embedded Object-Oriented Production Systems Workshop (EOOPS), October 1994.

[2]

E. Anwar, L. Maugis, and S. Chakravarthy. A new perspective on rule support for object-oriented databases. In Proceedings o/ the 1998 A GM SIGMOD International Conference on Mangement of Data, pages 99-- 108) 1993.

Digital Library

[3]

David A. Brant, Timothy Grose, Bernie Lofaso, and Daniel P. Miranker. Effects of database size on rule system performance: Five case studies. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, pages 287-296, 1991.

Digital Library

[4]

A. P. Buchmann, J. Zimmermann, 3. A. Blakdey, and D. L. Wells. Building an integrated active oodbms: Requirements, architecture, and design decisions. In Proceedings of the 11th International Conference on Data Engineering, 1995.

Digital Library

[5]

Thomas A. Cooper and Nancy Wogrin. Rule-Based Programming with OPSS. Morgan Kaufmarm, San Matee, California, 1988.

Digital Library

[6]

Stephen Correl and Daniel P. Miranker. 0n isolation, concurrency, and the venus rule language. In Proceedings of the Jth International Conference on Information and Knowledge Management (CIKM'95), 1995.

Digital Library

[7]

J. M. Crawford. Access-Limited Logic--A langtiage for knowledge representation. PhD thesis, Department of Computer Sciences, The University of Texas at Austin, 1990. Also published as Technical Report AI 90-141, Artificial Intelligence Laboratory, The University of Texas at Austin.

Digital Library

[8]

James Crawford, Daniel Dvorkk, Diane Litman, Anil Mishra, and Peter F. Patel-Schneider. Device representation and reasoning with affective relations. In Proceedings of the Fourteenth International Joint Conference on Artificial Intelligence, pages 1814-1820. International 3oint Committee on Artificial Intelligence, August 1995.

Digital Library

[9]

James Crawford, Daniel Dvorak, Diane Litman, Anil Mishra, and Peter F. Patel-Schneider. Path-based rules in object-oriented programming. In Proceedings of the Thirteenth National Conference on Artificial Intelligence, Portland, Oregon, August 1996. American Association for Artificial Intelligence.

Digital Library

[10]

James M. Crawford and Benjamin Kuipers. Negation and proof by contradiction in access-limited logic, in Proceedings of the Ninth National Conference on Artificial Intelligence, pages 897-903. American Association for Artificial intelligence, July 1991.

[11]

U. Dayal, B. Blaustein, A. Buchmarm, S. Chakravarthy, D. Goldhirsch, M. Hsu, R. Ladin, D. McCarthy, and A. Rosenthal. The hipac project;: Combining active databases and timing constraints. A CM Sigmod Record, 17(1), 1988.

Digital Library

[12]

O. Diaz, N. Paten, and P. Gray. Rule management in object-oriented databases: A unified approach. In Proceedings of VLDB, 1991.

Digital Library

[13]

Charles L. Forgy. RETE: A fast algorithm for the many pattern/many object pattern matching prob!em. Artificial intelligence, 19:17-37, 1982.

Digital Library

[14]

Charles L. Forgy. RAL/C and RAL/C++: Rule-based extensions to C and C-l-+. In Position Papers for the OOPSLA'94 Embedded Object-Oriented Production Systems Workshop (EOOPS}, October 1994.

[15]

Stella Gatziu and Klaus R. Dittrich. Events in an active object-oriented database system, in Proceedings of the 1st international Workshop on Rules in Database Systems, 1993.

[16]

Narain H. Gehani and H. V. Jagadish. Active database facilities in Ode. In Proceedings of the Seventeenth International Conference on Very Large Data Bases, pages 327-336, 1991.

Digital Library

[17]

Narain H. Gehani and H. V. Jagadish. Ode as an active database: Constraints and triggers, In Widom and Ceri {30}, pages 207-232.

[18]

The Haley Enterprise. Rete++: Seamless Integration of Rules and Objects Using the Rete Algorithm and U~~, 1993.

[19]

Richard Helm, Ion M. Holland, and Dipayan Can. gopadhyay. Contracts: Specifying behavioral composl. tions in object-oriented systems. In Proceedings OOP. SLA '90, 1990.

Digital Library

[20]

Inference Corporation. Art Reference Manual, 1987,

[21]

Haim Kilov and V. J. Harvey, editors. Filth Workshop on Specification of Behavioral Semantics, OOPSLA 'gO, San Jose, California, 1996.

[22]

Daniel P. Miranker, Frederic H, Burke, Jeff J. Steelet David R. Haug, and John Kolts. The C++ embeddable .rule system. International Journal on A rtifioial Intelligence Tools, 2(1):33-46, 1993.

[23]

Anil Mishra, 3ohannes P. Ros, Anoop Singhal, Gary Weiss, Diane Litman, Peter F. Patel-Schneider, Daniel DvoI:ak, and James Crawford. R++: Using rules in object-oriented designs. In Addendum to Object Oriented Programming Systems, Languages, and Applications. Association for Computing Machinery, 1996.

[24]

ObjectSpace. STL Toolkit, Version 2.0, 1996.

[25]

Spyros Potamianos and Michael Stonebraker. The POSTGRES rule system. In Widom and Ceri {30}, pages 43-61.

[26]

Divesh Srivastava, Raghu Ramakrishnan, S. Sudarshan, and Praveen Seshadri. Coral++: Adding objectorientation to a logic database language. In Proceedings of the Nineteenth International Conference on Very Large Databases, 1993.

Digital Library

[27]

Bjarne Stroustrup. The C-I--i- Programming Language, Addison Wesley, Reading, Massachusetts, second edition, 1991.

Digital Library

[28]

USL. U+-I- Standard Components Release 3.0 Docu. m~entation, 1992.

[29]

Jennifer Wjdom. The Starburst rule system, in Widom and Ceri {30}, pages 87-109.

[30]

Jennifer Widom and Stefano Ceil, editors. Activv Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, San I~an. cisco, California, 1996.

Digital Library

[31]

Patrick Henry Winston, editor. Artificial Intelllgence. Addison-Wesley, Reading, Massachusetts, 2nd edition, 1984.

Cited By

Lencevicius RLencevicius R(2000)ReferencesAdvanced Debugging Methods10.1007/978-1-4419-8774-7_9(145-160)Online publication date: 2000
https://doi.org/10.1007/978-1-4419-8774-7_9
Demsky BErnst MGuo PMcCamant SPerkins JRinard MPollock LPezzè M(2006)Inference and enforcement of data structure consistency specificationsProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146266(233-244)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146266
Demsky BRinard M(2006)Goal-Directed Reasoning for Specification-Based Data Structure RepairIEEE Transactions on Software Engineering10.1109/TSE.2006.12232:12(931-951)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1109/TSE.2006.122
Show More Cited By

Index Terms

Modeling dynamic collections of interdependent objects using path-based rules

Recommendations

Modeling dynamic collections of interdependent objects using path-based rules
OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

Standard object-oriented languages do not provide language support for modeling changing collections of interdependent objects. We propose that R++, an integration of the rule and object-oriented paradigms, provides a mechanism for easily implementing ...
Path-based rules in object-oriented programming
AAAI'96: Proceedings of the thirteenth national conference on Artificial intelligence - Volume 1

Object-oriented programming has recently emerged as one of the most important programming paradigms. While object-oriented programming clearly owes an intellectual debt to AI, it appears to be displacing some AI techniques, such as rule-based ...
Dynamic Refinement of Classification Rules
ICTAI '02: Proceedings of the 14th IEEE International Conference on Tools with Artificial Intelligence

Given a set of training examples in the form of (input, output) pairs, induction generates a set of rules that when applied to an input example, can come up with a target output or class for that example. At deduction time, these rules can be applied to ...

Comments

Information & Contributors

Information

Published In

cover image ACM SIGPLAN Notices

ACM SIGPLAN Notices Volume 32, Issue 10

Oct. 1997

344 pages

ISSN:0362-1340

EISSN:1558-1160

DOI:10.1145/263700

Chairmen:
Mary Loomis
Hewlett-Packard Labs
,
Toby Bloom
Engage Technologies, Inc.
,
Editor:
A. Michael Berman

Issue’s Table of Contents

OOPSLA '97: Proceedings of the 12th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
October 1997
345 pages
ISBN:0897919084
DOI:10.1145/263698
Chairmen:
Mary Loomis
Hewlett-Packard Labs
,
Toby Bloom
Engage Technologies, Inc.
,
Editor:
A. Michael Berman

Copyright © 1997 ACM.

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: 09 October 1997

Published in SIGPLAN Volume 32, Issue 10

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
437
Total Downloads

Downloads (Last 12 months)60
Downloads (Last 6 weeks)29

Reflects downloads up to 03 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Lencevicius RLencevicius R(2000)ReferencesAdvanced Debugging Methods10.1007/978-1-4419-8774-7_9(145-160)Online publication date: 2000
https://doi.org/10.1007/978-1-4419-8774-7_9
Demsky BErnst MGuo PMcCamant SPerkins JRinard MPollock LPezzè M(2006)Inference and enforcement of data structure consistency specificationsProceedings of the 2006 international symposium on Software testing and analysis10.1145/1146238.1146266(233-244)Online publication date: 21-Jul-2006
https://dl.acm.org/doi/10.1145/1146238.1146266
Demsky BRinard M(2006)Goal-Directed Reasoning for Specification-Based Data Structure RepairIEEE Transactions on Software Engineering10.1109/TSE.2006.12232:12(931-951)Online publication date: 1-Dec-2006
https://dl.acm.org/doi/10.1109/TSE.2006.122
Demsky BRinard MRoman GGriswold WNuseibeh B(2005)Data structure repair using goal-directed reasoningProceedings of the 27th international conference on Software engineering10.1145/1062455.1062499(176-185)Online publication date: 15-May-2005
https://dl.acm.org/doi/10.1145/1062455.1062499
Demsky BRinard M(2005)Data structure repair using goal-directed reasoningProceedings. 27th International Conference on Software Engineering, 2005. ICSE 2005.10.1109/ICSE.2005.1553560(176-185)Online publication date: 2005
https://doi.org/10.1109/ICSE.2005.1553560
Moganti MKnittel S(2005)A framework for understanding network intelligenceBell Labs Technical Journal10.1002/bltj.22706:1(163-191)Online publication date: 20-Sep-2005
https://doi.org/10.1002/bltj.2270
Lencevicius RHölzle USingh A(2003)Dynamic Query-Based Debugging of Object-Oriented ProgramsAutomated Software Engineering10.1023/A:102181691788810:1(39-74)Online publication date: 1-Jan-2003
https://dl.acm.org/doi/10.1023/A%3A1021816917888
Litman DPatel-Schneider PMishra ACrawford JDvorak D(2002)R++IEEE Transactions on Knowledge and Data Engineering10.1109/TKDE.2002.100034714:3(638-658)Online publication date: 1-May-2002
https://dl.acm.org/doi/10.1109/TKDE.2002.1000347
Needham DDemurjian SPeters T(1999)Towards a distributed object-oriented propagation model using Ada95ACM SIGAda Ada Letters10.1145/319295.319324XIX:3(203-210)Online publication date: 1-Sep-1999
https://dl.acm.org/doi/10.1145/319295.319324
Needham DDemurjian SPeters THart HTaft TGasperoni F(1999)Towards a distributed object-oriented propagation model using Ada95Proceedings of the 1999 annual ACM SIGAda international conference on Ada10.1145/319294.319324(203-210)Online publication date: 1-Sep-1999
https://dl.acm.org/doi/10.1145/319294.319324
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

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

Figures

Tables

Media

View Issue’s Table of Contents