Modeling database applications using generalized production rules

Presents a rule language with an event based semantics that naturally embeds the behaviour of both active rules and deductive rules and conditional update streams. The language has a quite general data model that allows the definition of both flat and structured data. Language syntax and semantics are formally defined. An interpreter then illustrated. By using several examples, the authors show that this language allows various forms of data manipulations to be expressed as well as quite general triggering computations.<<ETX>>

[1]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[2]  Carlo Zaniolo,et al.  On the Unification of Active Databases and Deductive databases , 1993, BNCOD.

[3]  Letizia Tanca,et al.  Integrating object-oriented data modelling with a rule-based programming paradigm , 1990, SIGMOD '90.

[4]  Susan Darling Urban,et al.  A framework for declarative updates and constraint maintenance in object-oriented databases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[5]  Michael Stonebraker,et al.  The Integration of Rule Systems and Database Systems , 1992, IEEE Trans. Knowl. Data Eng..

[6]  J. Lloyd.  Foundations of Logic Programming , 1984, Symbolic Computation.

[7]  Serge Abiteboul,et al.  Towards a Deductive Object-Oriented Database Language , 1990, Data Knowl. Eng..

[8]  Setrag Khoshafian,et al.  Object identity , 1986, OOPLSA '86.

[9]  David Scott Warren,et al.  A Logic-based Language for Database Updates , 1988, Foundations of Deductive Databases and Logic Programming..

[10]  Umeshwar Dayal,et al.  The architecture of an active database management system , 1989, SIGMOD '89.

[11]  Timos K. Sellis,et al.  Coupling Production Systems and Database Systems: A Homogeneous Approach , 1993, IEEE Trans. Knowl. Data Eng..

[12]  Michael Stonebraker,et al.  On rules, procedure, caching and views in data base systems , 1990, SIGMOD '90.

[13]  Setrag Khoshafian,et al.  Object identity , 1986, OOPSLA 1986.

[14]  Luigi Palopoli,et al.  Specifying the Dynamics of Complex Object Databases , 1992, FMLDO.

[15]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[16]  Jennifer Widom,et al.  Set-oriented production rules in relational database systems , 1990, SIGMOD '90.

[17]  Serge Abiteboul,et al.  Datalog Extensions for Database Queries and Updates , 1991, J. Comput. Syst. Sci..