Skip to main content
SpringerLink
Log in
Book cover

Logics for Databases and Information Systems pp 389–422Cite as

On Logical Foundations of Active Databases

  • Chapter

Part of the book series: The Springer International Series in Engineering and Computer Science ((SECS,volume 436))

Abstract

In this chapter, we present work on logical foundations of active databases. After introducing the basic notions and terminology, we give a short overview of research on foundations of active rules. Subsequently, we present a specific state-oriented logical approach to active rules which aims at combining the declarative semantics of deductive rules with the possibility to define updates in the style of production rules. The resulting language Statelog models (flat) transactions as a sequence of intermediate transitions, where each transition is defined using deductive rules. Since Statelog programs correspond to a specific class of locally stratified logic programs, they have a unique intended model. Finally, after studying further fundamental properties like expressive power and termination behavior, a Statelog framework for active rules is presented. Although the framework is surprisingly simple, it allows to model many essential features of active rules, including immediate and deferred rule execution, and composite events. Different alternatives for enforcing termination are proposed leading to tractable subclasses of the language. Finally, we show that certain classes of Statelog programs correspond to Datalog programs with production rule semantics (i.e., with inflationary or noninflationary fixpoint semantics).

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   169.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   219.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD   219.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. K.R. Apt, H. Blair, and A. Walker. Towards a Theory of Declarative Knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pp. 89–148. Morgan Kaufmann, 1988.

    Google Scholar 

  2. S. Abiteboul, R. Hull, and V. Vianu. Foundations of Databases. Addison Wesley, 1995.

    Google Scholar 

  3. S. Abiteboul and E. Simon. Fundamental Properties of Deterministic and Nondeterministic Extensions of Datalog. Theoretical Computer Science, 78(1):137–158, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  4. S. Abiteboul and V. Vianu. Datalog Extensions for Database Queries and Updates. Journal of Computer and System Sciences, 43(1):62–124, 1991.

    Article  MathSciNet  MATH  Google Scholar 

  5. A. Aiken, J. Widom, and J.M. Hellerstein. Static Analysis Techniques for Predicting the Behavior of Active Database Rules. ACM Transactions on Database Systems (TODS), 20(1):3–41, March 1995.

    Article  Google Scholar 

  6. H. Branding, A.P. Buchmann, T. Kudrass, and J. Zimmermann. Rules in an Open System: The REACH Rule System. In Paton and Williams [PW93], pp. 111–126.

    Google Scholar 

  7. E. Baralis, S. Ceri, and S. Paraboschi. Improving Rule Analysis by Means of Triggering and Activation Graphs. In Sellis [Sel95], pp. 165–181.

    Google Scholar 

  8. M. Baudinet, J. Chomicki, and P. Wolper. Temporal Deductive Databases. In Tansel et al. [TCG+93], pp. 294–320.

    Google Scholar 

  9. L. Brownston, R. Farrel, E. Kant, and N. Martin. Programming Expert Systems in OPS5: An Introduction to Rule-Based Programming. Addison-Wesley, 1985.

    Google Scholar 

  10. M.L. Barja, A.A.A. Fernandes, N.W. Paton, M.H. Williams, A. Dinn, and A.I. Abdelmoty. Design and implementation of ROCK & ROLL: a deductive object-oriented database system. Information Systems, 20(3):185–211, 1995.

    Article  Google Scholar 

  11. C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypotheses. Journal of Logic Programming, 31(1-3):201–243, 1997.

    Article  MathSciNet  Google Scholar 

  12. M. Berndtsson and J. Hansson, editors. Proc. of the 1st Intl. Workshop on Active and Real-Time Database Systems (ARTDB), Workshops in Computing, Skövde, 1995. Springer.

    Google Scholar 

  13. A.J. Bonner and M. Kifer. An Overview of Transaction Logic. Theoretical Computer Science, 133(2):205–265, 1994.

    Article  MathSciNet  MATH  Google Scholar 

  14. C. Baral and J. Lobo. Formal Characterization of Active Databases. In Pedreschi and Zaniolo [PZ96], pp. 175–195.

    Google Scholar 

  15. E. Baralis and J. Widom. An Algebraic Approach to Rule Analysis in Expert Database Systems. In Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 475–486, Santiago, Chile, 1994.

    Google Scholar 

  16. C. Collet, T. Coupaye, and T. Svensen. NAOS — Efficient and Modular Reactive Capabilities in an Object-Oriented Database System. In Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 132–143, Santiago, Chile, 1994.

    Google Scholar 

  17. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tanca. Active Rule Management in Chimera. In Widom and Ceri [WC96a], chapter 6, pp. 151–176.

    Google Scholar 

  18. S. Chakravarthy, editor. Bulletin of the Technical Committee on Data Engineering: Special Issue on Active Databases, volume 15(1-4). IEEE Computer Society, 1992.

    Google Scholar 

    Google Scholar 

  19. J. Chomicki. Depth-Bounded Bottom-Up Evaluation of Logic Programs. Journal of Logic Programming, 25(1):1–31, October 1995.

    Article  MathSciNet  MATH  Google Scholar 

  20. J. Chomicki. Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems (TODS), 20(2):149–186, 1995.

    Article  Google Scholar 

  21. S. Chakravarthy, V. Krishnaprasad, E. Anwar, and S.-K. Kim. Composite Events for Active Databases: Semantics, Contexts and Detection. In J.B. Bocca, M. Jarke, and C. Zaniolo, editors, Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 606–617, Santiago de Chile, 1994.

    Google Scholar 

  22. D. Cohen. Compiling Complex Database Transition Triggers. In J. Clifford, B. Lindsay, and D. Maier, editors, Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 225–234, Portland, 1989.

    Google Scholar 

  23. R. Cochrane, H. Pirahesh, and N. Mattos. Integrating Triggers and Declarative Constraints in SQL Database Sytems. In Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 567–578, Murabai (Bombay), India, 1996.

    Google Scholar 

  24. U. Dayal. Ten Years of Activity in Active Database Systems: What Have We Accomplished? In Berndtsson and Hansson [BH95], pp. 3–22.

    Google Scholar 

  25. U. Dayal, B. Blaustein, A. Buchmann, U. Chakravarthy, M. Hsu, R. Ledin, D. McCarthy, A. Rosenthal, S. Sarin, M.J. Carey, M. Livny, and R. Jauhari. The HiPAC project: Combining Active Databases and Timing Constraints. In Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 51–70, March 1988.

    Google Scholar 

  26. U. Dayal, A. Buchmann, and S. Chakravarthy. The HiPAC Project. In Widom and Ceri [WC96a], chapter 7, pp. 177–206.

    Google Scholar 

  27. K.R. Dittrich, S. Gatziu, and A. Geppert. The Active Database Management System Manifesto: A Rulebase of ADBMS Features. In Sellis [Sel95], pp. 3–20.

    Google Scholar 

  28. U. Dayal, E. Hanson, and J. Widom. Active Database Systems. In W. Kim, editor, Modern Database Systems: The Object Model, Interoperability, and Beyond, chapter 21, pp. 434–456. ACM Press, 1995.

    Google Scholar 

  29. O. Díaz, A. Jaime, and N.W. Paton. DEAR: a DEbugger for Active Rules in an object-oriented context. In Paton and Williams [PW93], pp. 180–193.

    Google Scholar 

  30. O. Díaz, N.W. Paton, and P.M.D. Gray. Rule Management in Object Oriented Databases: A Uniform Approach. In Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 317–326, Barcelona, Spain, 1991.

    Google Scholar 

  31. H.-D. Ebbinghaus and J. Flum. Finite Model Theory. Perspectives in Mathematical Logic. Springer, 1995.

    Google Scholar 

  32. K.P. Eswaran. Specification, Implementation and Interactions of a Trigger Subsystem in a Integrated Database System. IBM Research Report RJ-1820, IBM Almaden Research Center, IBM San Jose Research Laboratory, California, 1976.

    Google Scholar 

  33. P. Fraternali and L. Tanca. A Structured Approach for the Definition of the Semantics of Active Databases. ACM Transactions on Database Systems (TODS), 20(4):414–471, 1995.

    Article  Google Scholar 

  34. A.A.A. Fernandes, M.H. Williams, and N.W. Paton. A Logic-Based Integration of Active and Deductive Databases. New Generation Computing, 15(2):205–244, 1997.

    Article  Google Scholar 

  35. S. Gatziu and K.R. Dittrich. Events in an Active Object-Oriented Database System. In Paton and Williams [PW93], pp. 23–39.

    Google Scholar 

  36. F. Giannotti, S. Greco, D. Saccà, and C. Zaniolo. Programming with Non-Determinism in Deductive Databases. Annals of Mathematics and Artificial Intelligence, 19(I-II):97–125, 1997.

    Article  MathSciNet  MATH  Google Scholar 

  37. S. Ghandeharizadeh, R. Hull, and D. Jacobs. Heraclitus: Elevating Deltas to be First-Class Citizens in a Database Programming Language. ACM Transactions on Database Systems (TODS), 21(3):370–426, 1996.

    Article  Google Scholar 

  38. N.H. Gehani, H.V. Jagadish, and O. Shmueli. Event Specification in an Active Object-Oriented Database. In Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 81–90, 1992.

    Google Scholar 

  39. M. Gelfond and V. Lifschitz. The Stable Model Semantics for Logic Programming. In R. Kowalski and K. Bowen, editors, Proc. Intl. Conference on Logic Programming, pp. 1070–1080, 1988.

    Google Scholar 

  40. M. Gelfond and V. Lifschitz. Representing Action and Change by Logic Programs. Journal of Logic Programming, 17:301–321, 1993.

    Article  MathSciNet  MATH  Google Scholar 

  41. E.N. Hanson. The Design and Implementation of the Ariel Active Database Rules System. IEEE Transactions on Knowledge and Data Engineering, 8(1):157–172, February 1996.

    Article  MathSciNet  Google Scholar 

  42. ISO/ANSI Working draft. Database Languages — SQL3, October 1995.

    Google Scholar 

  43. S.-K. Kim and S. Chakravarthy. A Confluent Rule Execution Model for Active Databases. Technical Report UF-CIS-TR-95-032, University of Florida, 1995. http://www.cis.ufl.edu.

  44. G. Kiernan, C. de Maindreville, and E. Simon. Making Deductive Databases a Practical Technology: a step forward. In Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 237–246, 1990.

    Google Scholar 

  45. M. Kramer, G. Lausen, and G. Saake. Updates in a Rule-Based Language for Objects. In Proc. Intl. Conference on Very Large Data Bases (VLDB), pp. 251–262, Vancouver, 1992.

    Google Scholar 

  46. D.B. Kemp, K. Ramamohanarao, and P.J. Stuckey. ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS. In Ling et al. [LMV95], pp. 91–108.

    Google Scholar 

  47. A.P. Karadimce and S.D. Urban. Refined Triggering Graphs: A Logic-Based Approach to Termination Analysis in an Active Object-oriented Database. In 12th International Conference on Data Engineering (ICDE), pp. 384–391, 1996.

    Google Scholar 

  48. B. Ludäscher, U. Hamann, and G. Lausen. A Logical Framework for Active Rules. In Proc. 7th Intl. Conf. on Management of Data (COMAD), pp. 221–238, Pune, India, 1995. Tata McGraw-Hill.

    Google Scholar 

  49. G. Lausen and B. Ludäscher. Updates by Reasoning about States. In J. Eder and L. Kalinichenko, editors, 2nd Intl. East-West Database Workshop, Workshops in Computing, pp. 17–30, Klagenfurt, Austria, 1994. Springer.

    Google Scholar 

  50. B. Ludäscher, W. May, and G. Lausen. Nested Transactions in a Logical Language for Active Rules. In Pedreschi and Zaniolo [PZ96], pp. 196–222.

    Google Scholar 

  51. B. Ludäscher, W. May, and G. Lausen. Referential Actions as Logical Rules. In Proc. 16th ACM Symposium on Principles of Database Systems (PODS), pp. 217–227, Tucson, Arizona, 1997.

    Google Scholar 

  52. T.W. Ling, A.O. Mendelzon, and L. Vieille, editors. Proc. Intl. Conference on Deductive and Object-Oriented Databases (DOOD), number 1013 in LNCS, Singapore, 1995. Springer.

    Google Scholar 

  53. U.W. Lipeck and G. Saake. Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, pp. 255–269, 1987.

    Google Scholar 

  54. J. Minker. Logic and Databases: a 20 Year Retrospective. In Pedreschi and Zaniolo [PZ96], pp. 3–57.

    Google Scholar 

  55. I. Motakis and C. Zaniolo. Composite Temporal Events in Active Database Rules: A Logic-Oriented Approach. In Ling et al. [LMV95], pp. 19–37.

    Google Scholar 

  56. I. Motakis and C. Zaniolo. Temporal Aggregation in Active Database Rules. In Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 440–451, Tucson, Arizona, 1997.

    Google Scholar 

  57. N.W. Paton, J. Campin, A.A.A. Fernandes, and M.H. Williams. Formal Specification of Active Database Functionality: A Survey. In Sellis [Sel95], pp. 21–37.

    Google Scholar 

  58. N.W. Paton, O. Díaz, M.H. Williams, J. Campin, A. Dinn, and A. Jaime. Dimensions of Active Behaviour. In Paton and Williams [PW93], pp. 40–57.

    Google Scholar 

  59. P. Picouet and V. Vianu. Expressiveness and Complexity of Active Databases. In F. Afrati and P. Kolaitis, editors, Proc. 6th Intl. Conference on Database Theory (ICDT), number 1186 in LNCS, pp. 155–172, Delphi, Greece, 1997. Springer.

    Google Scholar 

  60. N.W. Paton and M.H. Williams, editors. Proc. of the 1st Intl. Workshop on Rules in Database Systems (RIDS), Workshops in Computing, Edinburgh, Scotland, 1993. Springer.

    Google Scholar 

  61. D. Pedreschi and C. Zaniolo, editors. Proc. Intl. Workshop on Logic in Databases (LID), number 1154 in LNCS, San Miniato, Italy, 1996. Springer.

    Google Scholar 

  62. K. Ramamohanarao and J. Harland. An Introduction to Deductive Database Languages and Systems. The VLDB Journal, 3(2):107–122, April 1994.

    Article  Google Scholar 

  63. E. Simon and A.K. Dittrich. Promises and Realities of Active Database Systems. In Proc. 21st Intl. Conference on Very Large Data Bases, pp. 642–653, Zurich, Switzerland, 1995.

    Google Scholar 

  64. T.K. Sellis, editor. Proc. of the 2nd Intl. Workshop on Rules in Database Systems (RIDS), number 985 in LNCS, Athens, Greece, 1995. Springer.

    Google Scholar 

  65. M.P. Singh. Semantical Considerations on Workflows: An Algebra for Intertask Dependencies. In Proc. Intl. Workshop on Database Programming Languages, electronic Workshops in Computing, Gubbio, Italy, 1995. Springer.

    Google Scholar 

  66. M. Stonebraker and G. Kemnitz. The Postgres Next Generation Database Management System. Communications of ACM, 34(10):78–93, October 1991.

    Article  Google Scholar 

  67. E. Simon and J. Kiernan. The A-RDL System. In Widom and Ceri [WC96a], chapter 5, pp. 111–149.

    Google Scholar 

  68. P. Sampaio and N. Paton. Deductive Object-Oriented Database Systems: A Survey. In A. Geppert and M. Berndtsson, editors, Proc. of the 3nd Intl. Workshop on Rules in Database Systems (RIDS), number 1312 in LNCS, pp. 1–19, Skövde, Sweden, 1997.

    Google Scholar 

  69. S. Saccà and C. Zaniolo. Stable Models and Non-Determinism in Logic Programs with Negation. In Proc. of the 9th ACM Symposium on Principles of Database Systems, pp. 205–217, 1990.

    Google Scholar 

  70. A.U. Tansel, J. Clifford, S. Gadia, S. Jajodia, A. Segev, and R. Snodgrass, editors. Temporal Databases. Benjamin/Cummings, 1993.

    Google Scholar 

  71. M. van Emden and R. Kowalski. The Semantics of Predicate Logic as a Programming Language. Journal of the ACM, 23(4):733–742, 1976.

    Article  MATH  Google Scholar 

  72. A. Van Gelder. The Alternating Fixpoint of Logic Programs with Negation. In Proc. ACM Symposium on Principles of Database Systems (PODS), pp. 1–10, 1989.

    Google Scholar 

  73. V. Vianu. Rule-Based Languages. Annals of Mathematics and Artificial Intelligence, 19(1-11):215–259, 1997.

    Article  MathSciNet  MATH  Google Scholar 

  74. J. Widom and S. Chakravarthy, editors. Proc. 4th Intl. Workshop on Research Issues in Data Engineering (RIDE). IEEE Computer Society Press, 1994.

    Google Scholar 

  75. J. Widom and S. Ceri, editors. Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann, 1996.

    Google Scholar 

  76. J. Widom and S. Ceri. Introduction to Active Database Systems. In Active Database Systems: Triggers and Rules for Advanced Database Processing [WC96a], chapter 1, pp. 1–41.

    Google Scholar 

  77. J. Widom and S.J. Finkelstein. Set-oriented Production Rules in Relational Database Systems. In Proc. ACM SIGMOD Intl. Conference on Management of Data, pp. 259–270, 1990.

    Google Scholar 

  78. J. Widom. Active Databases. In M. Stonebraker, editor, Readings in Database Systems, 2nd edition, pp. 345–350. Morgan Kaufmann, 1994. Introduction to chapter 4.

    Google Scholar 

  79. J. Widom. The Starburst Active Database Rule System. IEEE Transactions on Knowledge and Data Engineering, 8(4):583–595, 1996.

    Article  Google Scholar 

  80. C. Zaniolo. A Unified Semantics for Active and Deductive Databases. In Paton and Williams [PW93], pp. 271–287.

    Google Scholar 

  81. C. Zaniolo. Active Database Rules with Transaction Conscious Stable Model Semantics. In Ling et al. [LMV95], pp. 55–72.

    Google Scholar 

  82. Y. Zhou and M. Hsu. A Theory for Rule Triggering Systems. In Proc. of the Intl. Conf. on Extending Database Technology, pp. 407–421, 1990.

    Google Scholar 

Download references

Authors
  1. Georg Lausen
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bertram Ludäscher
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wolfgang May
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Monmouth University, USA

    Jan Chomicki

  2. University of Magdeburg, Germany

    Gunter Saake

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer Science+Business Media New York

About this chapter

Cite this chapter

Lausen, G., Ludäscher, B., May, W. (1998). On Logical Foundations of Active Databases. In: Chomicki, J., Saake, G. (eds) Logics for Databases and Information Systems. The Springer International Series in Engineering and Computer Science, vol 436. Springer, Boston, MA. https://doi.org/10.1007/978-1-4615-5643-5_12

Download citation

  • DOI: https://doi.org/10.1007/978-1-4615-5643-5_12

  • Publisher Name: Springer, Boston, MA

  • Print ISBN: 978-1-4613-7582-1

  • Online ISBN: 978-1-4615-5643-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation