Skip to main content
SpringerLink
Log in

From action theories to updates, transactions, triggers and agents — A tutorial

  • Tutorials
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1997)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1341))

Included in the following conference series:

  • 99 Accesses

Support was provided by the National Science Foundation, under grant Nr. IRI-9211662 and IRI-9501577.

Support was provided by Argonne National Laboratory under contract Nr. 963042401.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory, pages 1–18, 1988.

    Google Scholar 

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

    Article  Google Scholar 

  3. A. Bonner and M. Kifer. Transaction logic programming. In D. S. Warren, editor, Logic Programming: Proc. of the 10th International Conf., pages 257–279, 1993.

    Google Scholar 

  4. A. Bonner and M. Kifer. An overview of transaction logic. Theoretical computer science, 133:205–265, October 1994.

    Article  Google Scholar 

  5. F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI 96, pages 1215–1222, 1996.

    Google Scholar 

  6. C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of International Workshop on Logic in Databases, 1996.

    Google Scholar 

  7. C. Baral and G. Lobo, J. Trajcevski. Formal characterization of active databases part ii. In DOOD 97, 1997.

    Google Scholar 

  8. C. Baral, J. Lobo, and G. Trajcevski. Formal workflows as collections of condition-action rules. In DYNAMIC 97 (an ILPS workshop), 1997.

    Google Scholar 

  9. F. Brown, editor. Proceedings of the 1987 workkshop on The Prame Problem in AI. Morgan Kaufmann, CA, USA, 1987.

    Google Scholar 

  10. R. Brooks. Elephants don't play chess. In P. Maes, editor, Designing Autonomous Agents, pages 3–16. MIT Press, 1991.

    Google Scholar 

  11. R. Brooks. Intelligence without reason. In Proc. of IJCAI 91, pages 569–595, 1991.

    Google Scholar 

  12. C. Baral and T. Son. Relating theories of actions and reactive robot control. In Proc. of AAAI 96 Workshop on Reasoning about actions, planning and robot control: bridging the gap., 1996.

    Google Scholar 

  13. C. Baral and T. Son. Approximate reasoning about actions in presence of sensing and incomplete information. In Proc. of International Logic Programming Symposium (ILPS 97), 1997.

    Google Scholar 

  14. S. Ceri, P. Fraternali, S. Paraboschi, and L. Tauca. Automatic generation of production rules for integrity maintenance. ACM Transactions on Database Systems, 19(3):367–422, 1994.

    Article  Google Scholar 

  15. D. Chamberlin. Using the new DB2: IBM's Object-relational database system. Morgan Kaufmann, 1996.

    Google Scholar 

  16. W. Chen. Declarative specification and evaluation of database updates. In Proc. of DOOD'91, pages 147–166, 1991.

    Google Scholar 

  17. W. Chen. Declarative updates of relational databases. ACM transactions on Database Systems (to appear), 1995.

    Google Scholar 

  18. E. A. Emerson and E. Clarke. Using branching time temporal logic to synthesize synchronization skeletons. In Science of Computer programming, vol 2, pages 241–266. 1982.

    Article  Google Scholar 

  19. P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994.

    Google Scholar 

  20. P. Fraternali and L. Tanca. A structured approach for the definition of the semantics of active databases. ACM Transactions on Database Systems, 20(4):414–471, 1995.

    Article  Google Scholar 

  21. M. Georgeff, editor. Journal of Logic and Computation, Special issue on Action and Processes, volume 4 (5). Oxford University Press, October 1994.

    Google Scholar 

  22. M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301–323, 1993.

    Article  Google Scholar 

  23. Lobo. J., S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In AAAI 97, 1997.

    Google Scholar 

  24. V. Lifschitz, editor. Special issue of the Journal of Logic Programming on Reasoning about actions and change, volume 31(1–3), May 1997.

    Google Scholar 

  25. H. Levesque, R. Reiter, Y. Lesperance, F. Lin, and R. Scherl. Golog: A logic programming language for dynamic domains. Journal of Logic Programming, May 1997.

    Google Scholar 

  26. W. Marek and M. Truszczyński. Revision programming, database updates and integrity constraints. In In 5th International conference in Database theory, Prague, 1994.

    Google Scholar 

  27. S. Manchanda and D. S. Warren. A logic-based language for database updates. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, pages 363–394. Morgan Kaufmann, 1988.

    Google Scholar 

  28. R. Reiter. Formalizing database evolution in the situation calculus. In ICOT, editor, Proc. of the International Conference on Fifth Generation Computer Systems, pages 600–609, 1992.

    Google Scholar 

  29. R. Reiter. On specifying database updates. Journal of Logic Programming, 19,20:1–39, 1994.

    Article  Google Scholar 

  30. A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996.

    Google Scholar 

  31. R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In AAAI 93, pages 689–695, 1993.

    Google Scholar 

  32. J. Widom and S Ceri, editors. Active Database Systems — Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.

    Google Scholar 

  33. C. Zaniolo. A unified semantics for active and deductive databases. In Proceedings of 1st international workshop on rules in database systems, pages 271–287. Springer-Verlag, 1993.

    Google Scholar 

  34. C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55–72, 1996.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Univ. of Texas at El Paso, 79968, El Paso, TX, USA

    Chitta Baral

  2. Department of EELS, Univ. of Illinois at Chicago, 851 S. Morgan St, 60607, Chicago, Il, USA

    Jorge Lobo

Authors
  1. Chitta Baral
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Jorge Lobo
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bry Raghu Ramakrishnan Kotagiri Ramamohanarao

Rights and permissions

Reprints and permissions

Copyright information

© 1997 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Baral, C., Lobo, J. (1997). From action theories to updates, transactions, triggers and agents — A tutorial. In: Bry, F., Ramakrishnan, R., Ramamohanarao, K. (eds) Deductive and Object-Oriented Databases. DOOD 1997. Lecture Notes in Computer Science, vol 1341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63792-3_5

Download citation

  • DOI: https://doi.org/10.1007/3-540-63792-3_5

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-63792-9

  • Online ISBN: 978-3-540-69647-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation