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.
Preview
Unable to display preview. Download preview PDF.
References
S. Abiteboul. Updates, a new frontier. In Second International Conference on Database Theory, pages 1–18, 1988.
C. Baral, M. Gelfond, and A. Provetti. Representing Actions: Laws, Observations and Hypothesis. Journal of Logic Programming, 31(1–3):201–243, May 1997.
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.
A. Bonner and M. Kifer. An overview of transaction logic. Theoretical computer science, 133:205–265, October 1994.
F. Bacchus and F. Kabanza. Planning for temporally extended goals. In AAAI 96, pages 1215–1222, 1996.
C. Baral and J. Lobo. Formal characterization of active databases. In Proc. of International Workshop on Logic in Databases, 1996.
C. Baral and G. Lobo, J. Trajcevski. Formal characterization of active databases part ii. In DOOD 97, 1997.
C. Baral, J. Lobo, and G. Trajcevski. Formal workflows as collections of condition-action rules. In DYNAMIC 97 (an ILPS workshop), 1997.
F. Brown, editor. Proceedings of the 1987 workkshop on The Prame Problem in AI. Morgan Kaufmann, CA, USA, 1987.
R. Brooks. Elephants don't play chess. In P. Maes, editor, Designing Autonomous Agents, pages 3–16. MIT Press, 1991.
R. Brooks. Intelligence without reason. In Proc. of IJCAI 91, pages 569–595, 1991.
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.
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.
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.
D. Chamberlin. Using the new DB2: IBM's Object-relational database system. Morgan Kaufmann, 1996.
W. Chen. Declarative specification and evaluation of database updates. In Proc. of DOOD'91, pages 147–166, 1991.
W. Chen. Declarative updates of relational databases. ACM transactions on Database Systems (to appear), 1995.
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.
P. Fraternali, D. Montesi, and L. Tanca. Active database semantics. In Proc. of the Fifth Australasian Database Conference, 1994.
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.
M. Georgeff, editor. Journal of Logic and Computation, Special issue on Action and Processes, volume 4 (5). Oxford University Press, October 1994.
M. Gelfond and V. Lifschitz. Representing actions and change by logic programs. Journal of Logic Programming, 17(2,3,4):301–323, 1993.
Lobo. J., S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In AAAI 97, 1997.
V. Lifschitz, editor. Special issue of the Journal of Logic Programming on Reasoning about actions and change, volume 31(1–3), May 1997.
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.
W. Marek and M. Truszczyński. Revision programming, database updates and integrity constraints. In In 5th International conference in Database theory, Prague, 1994.
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.
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.
R. Reiter. On specifying database updates. Journal of Logic Programming, 19,20:1–39, 1994.
A. Silberschatz, H. Korth, and S. Sudershan. Database System Concepts. McGraw Hill, 3rd edition, 1996.
R. Scherl and H. Levesque. The frame problem and knowledge producing actions. In AAAI 93, pages 689–695, 1993.
J. Widom and S Ceri, editors. Active Database Systems — Triggers and Rules for advanced database processing. Morgan Kaufmann, 1996.
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.
C. Zaniolo. Active database rules with transaction-conscious stable models semantics. In Proceedings of DOOD 1996, pages 55–72, 1996.
Author information
Authors and Affiliations
Editor information
Rights 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