Journal of Intelligent Information Systems

, Volume 1, Issue 2, pp 177–209 | Cite as

Incremental database rule processing in PARADISER

  • Hasanat M. Dewan
  • David Ohsie
  • Salvatore J. Stolfo
  • Ouri Wolfson
  • Sushil da Silva


Rule-based systems have been used extensively by the AI community in implementing knowledge-based expert systems. A current trend in the database community is to use rules for the purpose of providing inferential capabilities for large database applications. However, in the database context, performance of rule-program processing has proved to be a major stumbling block particularly in data-intensive and real-time applications. Similar work in the AI community has demonstrated the same problems mainly due to the predominantly sequential semantics of the underlying rule languages. In a previous paper, we presented an incremental evaluation algorithm forDatalog⌝* programs. We show the general applicability of the incremental evaluation algorithm to a broad class ofDatalog-style rule languages with varying operational semantics, denoted byDatalog** to emphasize this generality. We present the proof of correctness of the algorithm within the Datalog** frame work, and its extension for the PARULEL rule language, a principle component of the PARADISER (PARAllel and DIStributed Environment for Rules) rule processing environment for databases. We discuss the meta-rule formalism of PARULEL and argue that it provides a means for programmable operational semantics which separates control from the base logic of a rule program. This allows the realization of a wide range of operational semantics including those of Datalog and OPS5.


database rule languages incremental evaluation declarative control structures meta-rules 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Abiteboul, S. and Simon E., (1991). Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog*.Journal of Theoretical Computer Science.Google Scholar
  2. Apt, K.R. and Pugin, J. (1987). Maintenance of stratified databases viewed as a belief revision system.Proc. 6th ACM Symp. PODS. (pp. 136–145).Google Scholar
  3. Barr, et al., InThe Handbook of Artificial Intelligence, Vol. 2. (pp. 72-76). Reading, MA: AddisonWesley.Google Scholar
  4. Chandy, K.M. and Misra, J.On Proofs of Distributed Algorithms with Application to the Problem of Termination Detection. Technical Report. Dept. of Computer Science, University of Texas, Austin.Google Scholar
  5. Cohen, S. and Wolfson, O. (1989). Why a single parallelization strategy is not enough in knowledgebases.Proc. 8th ACM Symp. PODS. (pp. 200–217).Google Scholar
  6. Inference Corporation (1990).ART-IM Programming Language Reference Manual. Technical Report, Inference Corporation.Google Scholar
  7. Davis, R. (1980). Meta-Rules: Reasoning about Control.Artificial Intelligence, 15, 179–222.Google Scholar
  8. Delcambre, L. (1988). RPL: An Expert System Language with Query Power.IEEE Expert.Google Scholar
  9. Dewan, H.M., Ohsie, D.A. Stolfo S.J. and DaSilva, S. (1992). TheDesign and Implementation of Paradiser vO.O. Technical Report. Department of Computer Science, Columbia University.Google Scholar
  10. Doyle, J. (1981). A Truth Maintenance System. InReadings in Artificial Intelligence. Morgan Kaufmann.Google Scholar
  11. Francez, N. (1980). Distributed Termination. InTransactions on Programming Languages and Systems. (pp. 42–55). ACM.Google Scholar
  12. Haas, L., Freytag, G., Lohman., H., and Pirahesh, H. (1989). Extensible query processing in starburst.Proc. ACM SIGMOD 1989, Int. Conf. Management of Data. ACM Press.Google Scholar
  13. Ishida, T. and Stolfo, S.J. (1985). Towards the parallel execution of rules in production system programs.Proc. Int. Conf. Parallel Processing (pp. 568–575). IEEE.Google Scholar
  14. Kiernan, G., de Maindreville, C., and Simon, E. (1990). Making deductive database a practical technology: a step forward.Proc. ACM-SIGMOD 1990. Int. Conf. Management of Data (pp. 237–246).Google Scholar
  15. Maier, D. and Warren, D.S.,Computing with Logic: Introduction to Logic Programming. Redwood City, CA: Benjamin-Cummings.Google Scholar
  16. Miranker, D.P. and Lofaso, B.J., (to appear). The Organization and Performance of a TREAT Based Production System Compiler.IEEE Transactions on Knowledge and Data Engineering.Google Scholar
  17. Miranker, D.P., Lofaso, B., Farmer, G., Chandra, A. and Brant, D. (1990). On a TREAT based production system compiler. Proc.10th Int. Conf. Expert Systems (pp. 617–630).Google Scholar
  18. Miranker, D.P. (1986).TREAT: A New and Efficient Match Algorithm for AI Production Systems. Ph.D. thesis, Department of Computer Science, Columbia University.Google Scholar
  19. Reiter R. and de Kleer, J. (1987). Foundations of assumption based truth maintenance systems: Preliminary report.Proc. Nat. Conf. Artif. Intell. AAAI.Google Scholar
  20. Sellis, C., Lin, C., and Raschid, L. (1989). Implementing large production systems in a dbms environment: Concepts and Algorithms.Proc. ACM SIGMOD 1989, Int. Conf. Management of Data. ACM Press.Google Scholar
  21. Stolfo, S., Miranker, D.P., and Mills, R. (1985). A simple processing scheme to extract and load balance implicit parallelism in the concurrent match of production rules.Proc. AFIPS Symp. Fifth Generation Computing.Google Scholar
  22. Stolfo, S., Wolfson, O., Chan, P., Dewan, H., Woodbury, L., Glazier, J., and Ohsie, D. (1991a). Parulel: Parallel Rule Processing Using Meta-Rules for Redaction.Journal of Parallel and Distributed Computing, 13, 366–382.Google Scholar
  23. Stolfo, S.J., Dewan, H.M., and Wolfson, O. (1991b). The PARULEL parallel rule language.Proc. IEEE Int. Conf. Parallel Processing (pp. II:36–45). IEEE.Google Scholar
  24. Stolfo, S. (1984). Learning Control of Production Systems.Cognition and Brain Theory.Google Scholar
  25. Stonebraker, M. and Kemnitz, G. 1991. The POSTGRES Next-Generation DBMS.Communications of the ACM.Google Scholar
  26. Ullman, J.D. 1989.Principles of Database and Knowledge-Base Systems Vol. 2. Computer Science Press. Wolfson, O. and Ozeri, A. 1990. A new paradigm for parallel and distributed rule-processing.Proc,ACM-SIGMOD 1990. Int. Conf. Management of Data (pp. 133–142).Google Scholar
  27. Wolfson, O., Dewan, H., Stolfo, S., and Yemini, Y. (1991). Incremental evaluation of rules and its relationship to parallelism.Proc. ACM-SIGMOD 1991, Int. Conf. Management of Data (pp. 78–87).Google Scholar

Copyright information

© Kluwer Academic Publishers 1992

Authors and Affiliations

  • Hasanat M. Dewan
    • 1
  • David Ohsie
    • 1
  • Salvatore J. Stolfo
    • 1
  • Ouri Wolfson
    • 2
  • Sushil da Silva
    • 1
  1. 1.Department of Computer ScienceColumbia UniversityNew York
  2. 2.Department of Electrical Engineering and Computer ScienceUniversity of IllinoisChicago

Personalised recommendations