This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Generalized Production Rules as a Basis for Integrating Active and Deductive Databases
November-December 1997 (vol. 9 no. 6)
pp. 848-862

Abstract—We address the problem of providing a homogeneous framework for integrating, in a database environment, active rules, which allow the specification of actions to be executed whenever certain events take place, and deductive rules, which allow the specification of deductions in a logic programming style. Actually, it is widely recognized that both kinds of rules enhance the capabilities of database systems since they provide very natural mechanisms for the management of various important activities (e.g., knowledge representation, complex data manipulation, integrity constraint enforcement, view maintenance). However, in spite of their strong relationship, little work has been done on the unification of these powerful paradigms. In this paper, we present a rule-based language with an event-driven semantics that allows programmers to express both active and deductive computations. The language is based on a new notion of production rules whose effect is both a change of state and an answer to a query. By using several examples, we show that this simple language schema allows us to uniformly define different computations on data, including complex data manipulations, deductive evaluations, and active rule processing. We define the semantics of the language and then describe the architecture of a preliminary implementation of the language. Finally, we report about application and experience of use of the language.

[1] S. Abiteboul, "Towards a Deductive Object-Oriented Database Language," Data and Knowledge Eng., vol. 5, pp. 263-287, 1990.
[2] S. Abiteboul and V. Vianu, "Datalog Extensions for Database Queries and Updates," J. Computer and System Sciences, vol. 43, no. 1, pp. 62-124, Aug. 1991.
[3] A. Aiken, J. Widom, and J.M. Hellerstein, “Behavior of Database Production Rules: Termination, Confluence, and Observable Determination,” Proc. ACM SIGMOD Int'l Conf. Management of Data, M. Stonebraker, ed., pp. 59-68, May 1992.
[4] F. Cacace,S. Ceri,S. Crespi-Reghizzi,L. Tanca,, and R. Zicari,“Interating object-oriented data modeling with a rule-based programmingparadigm,” Proc. 1990 ACM SIGMOD Int’l Conf. on Management of Data, SIGMOD Record, vol. 19 no. 2, pp. 225-237, June 1990.
[5] S. Ceri, G. Gottlob, and L. Tanca, "Logic Programming and Databases," Surveys in Computer Science. Springer-Verlag, 1990.
[6] S. Ceri and J. Widom, "Deriving Incremental Production Rules for Deductive Data," Information Systems, vol. 19, no. 6, pp. 467-490, Nov. 1994.
[7] S. Ceri,J. Widom,“Deriving production rules for constraint maintenance,” Proc. Int’l Conf. Very Large Data Bases, 1990.
[8] S. Chakravarthy and S. Nesson, "Making an Object-Oriented DBMS Active: Design, Implementation, and Evaluation of a Prototype," Proc. EDBT '90, Int'l Conf. Extending Database Technology, Lecture Notes in Computer Science 416,Venice, Italy, Springer-Verlag, 1990.
[9] C. de Maindreville and E. Simon, "A Production Rule Based Approach to Deductive Databases," Proc. Fourth Int'l Conf. Data Eng., 1988.
[10] S.W. Dietrich, S.D. Urban, J.V. Harrison, and A.P. Karadimce, "A DOOD Ranch at ASU: Integrating Active, Deductive and Object-Oriented Databases," Data Eng. Bull., Dec. 1992.
[11] E.N. Hanson, "An Initial Report on the Design of Ariel: A DBMS with an Integrated Production Rule System," ACM SIGMOD Record, vol. 18, no. 3, pp. 12-19, 1989.
[12] E.N. Hanson and J. Widom,"Rule processing in active database systems," Int'l J. Expert Systems, vol. 6, no. 1, pp. 83-119, 1993.
[13] J.V. Harrison and S.W. Dietrich, "Integrating Active and Deductive Rules," Proc. First Int'l Workshop Rules in Database Systems, Workshops in Computing, pp. 288-305, Springer-Verlag, 1994.
[14] J.E. Hopcroft and J.D. Ullman, Introduction to Automata Theory, Languages and Computation. Addison-Wesley, Apr. 1979.
[15] A.P. Karadimce and S.D. Urban, “A Framework for Declarative Updates and Constraint Maintenence in Object-Oriented Database Systems,” Proc. Ninth Int'l Conf. Data Eng., Apr. 1993.
[16] S.N. Khoshafian and G.P. Copeland, “Object Identity,” Proc. Int'l Conf. Object-Oriented Programming Systems Languages and Applications (OOPSLA '86), Sept. 1986.
[17] G. Kiernan,C. de Maindreville,, and E. Simon,“Making deductive database a practical technology: A step forward,” Proc. ACM-SIGMOD Int’l Conf. Management of Data, 1990.
[18] J.W. Lloyd, Foundations of Logic Programming, Springer Series in Symbolic Computation, second ed. New York: Springer-Verlag, 1987.
[19] D.R. McCarthy and U. Dayal,"The architecture of an active data base management system," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 215-224, June 1989.
[20] S. Naqvi and S. Tsur, A Logical Language for Data and Knowledge Bases.New York: Computer Science Press, 1989.
[21] L. Palopoli and R. Torlone, "A Rule-Based Update Language for Complex Objects with Identity," Data and Knowledge Eng., vol. 13, pp. 67-96, 1994.
[22] T. Sellis, C.C. Lin, and L. Raschid, "Coupling Production Systems and Database Systems: A Homogeneous Approach," IEEE Trans. Knowledge and Data Eng., vol. 5, no. 2, pp. 240-256, Apr. 1993.
[23] T. Sellis, C.C. Lin, and L. Raschid, "Implementing Large Production Systems in a DBMS Environment: Concepts and Algorithms," Proc. ACM SIGMOD Int'l Conf. Management of Data, pp. 404-412, 1988.
[24] E. Simon, J. Kiernan, and C. de Maindreville, "Implementing High Level Active Rules on the Top of a Relational DBMS," Proc. 18th Int'l Conf. Very Large Data Bases,Vancouver, Canada, pp. 315-326, 1992.
[25] M. Stonebraker,“The integration of rule systems and database systems,” IEEE Trans. Knowledge and Data Eng., vol. 4, no. 4, pp. 415-423, Oct. 1992.
[26] R. Stonebraker,A. Jhingran,J. Goh,, and S. Potamianos,“On rules, procedures, caching, and views in database systems,” ACM SIGMOD Int’l Conf. Management of Data, 1990.
[27] L. Tanca, "Reaction in Deductive Databases," Proc. Second Int'l Workshop Intelligent and Cooperative Information Systems,Como, Italy, pp. 55-61, 1991.
[28] J. Ullman, Principles of Database and Knowledge-Base Systems, vol. 1. Computer Science Press, 1988.
[29] J. Widom, "Deductive and Active Databases: Two Paradigms or Ends of a Spectrum?" Proc. First Int'l Workshop Rules in Database Systems, Workshops in Computing, pp. 306-315, Springer-Verlag, 1994.
[30] J. Widom and S.J. Finkelstein,"Set-oriented production rules in relational database systems," Proc. 1990 ACM SIGMOD Int'l Conf. Management of Data, pp. 259-270, 1990.
[31] C. Zaniolo, "On the Unification of Active Databases and Deductive Databases," Advances in Databases—Proc. 11th British National Conf. Databases, Lecture Notes in Computer Science 696, vol. 11, pp. 23-39, Springer-Verlag, 1993.
[32] C. Zaniolo, "A Unified Semantics for Active and Deductive Databases," Proc. First Int'l Workshop Rules in Database Systems, Workshops in Computing, pp. 271-287, Springer-Verlag, 1994.

Index Terms:
Active databases, deductive databases, query languages, semantics of rule systems, integration of database languages, complex objects.
Citation:
Luigi Palopoli, Riccardo Torlone, "Generalized Production Rules as a Basis for Integrating Active and Deductive Databases," IEEE Transactions on Knowledge and Data Engineering, vol. 9, no. 6, pp. 848-862, Nov.-Dec. 1997, doi:10.1109/69.649312
Usage of this product signifies your acceptance of the Terms of Use.