Specifying active rules for database maintenance

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1773, Issue , 2000, Pages 112-129

  Bertossi, Leopoldo ^a   Pinto, Javier ^a  

^a PONTIFICIA UNIVERSIDAD CATÓLICA DE CHILE   (Chile)

Author keywords

[No Author keywords available]

Indexed keywords

DYNAMICS; REPAIR; SPECIFICATIONS;

ACTION EXECUTION; ACTIVE RULES; AXIOMATIZATION; DATABASE MAINTENANCE; LOGICAL FOUNDATIONS;

DATABASE SYSTEMS;

EID: 84943275782     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46466-2_6     Document Type: Conference Paper

References (31)

1. M. Arenas and L. Bertossi. Hypothetical Temporal Queries in Databases. In A. Borgida, V. Chaudhuri, and M. Staudt, editors, Proc. “ACM SIGMOD/PODS 5th Int. Workshop on Knowledge Representation meets Databases (KRDB'98): Innovative Application Programming and Query Interfaces, pages 4.1-4.8, 1998. http://sunsite.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-10/.
2. M. Arenas and L. Bertossi. The Dynamics of Database Views. In B. Freitag, H. Decker, M. Kifer, and A. Voronkov, editors, Transactions and Change in Logic Databases, Lecture Notes in Computer Science, Vol. 1472, pages 197-226, Springer- Verlag, 1998.
3. L. Bertossi, M. Arenas, and C. Ferretti. SCDBR: An Automated Reasoner for Specifications of Database Updates. Journal of Intelligent Information Systems, 10(3):253-280, 1998.
4. L. Bertossi, J. Pinto, and R. Valdivia. Specifying Database Transactions and Active Rules in the Situation Calculus. In Logical Foundations for Cognitive Agents. Contributions in Honor of Ray Reiter, pages 41-56, Springer, 1999.
5. S. Ceri and J. Widom. Deriving Production Rules for Constraint Maintenance. In D. McLeod, R. Sacks-Davis, and H.-J. Schek, editors, Proc. of the 16th Int. Conf. on Very Large Data Bases, VLDB'90, Brisbane, Australia, August 13-16, 1990, pages 566-577, Morgan Kaufmann Publishers, 1990.
6. J. Chomicki. Eficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. ACM Transactions on Database Systems, 20(2):149-186, June 1995.
7. J. Chomicki and G. Saake, editors. Logics for Databases and Information Systems. Kluwer Academic Publishers, 1998.
8. T. Chou and M. Winslett: A Model-Based Belief Revision System. J. Automated Reasoning, 12:157-208, 1994.
9. K. L. Clark. Negation as Failure. In H. Gallaire and J. Minker, editors, Logic and Databases, pages 293-322, Plenum Press, 1978.
10. A. Van Gelder and R. Topor. Safety and Correct Translation of Relational Calculus Formulas. In Proc. ACM Symposium on Principles of Database Systems, PODS'87, San Diego, CA, pages 313-327, ACM Press, 1987.
11. M. Gertz. An Extensible Framework for Repairing Constraint Violations. In S. Conrad, H.-J. Klein, and K.-D. Schewe, editors, Integrity in Databases - Proc. of the 7th Int. Workshop on Foundations of Models and Languages for Data and Object, Schloss Dagstuhl, Sept. 16-20, 1996, Preprint No. 4, pages 41-56, Institut für Technische Informationssysteme, Universität Magdeburg, 1996.
12. M. Gertz. Diagnosis and Repair of Constraint Violations in Database Systems, Dissertationen zu Datenbanken und Informationssystemen, Vol. 19. infix-Verlag, Sankt Augustin, 1996.
13. F. Lin. Embracing Causality in Specifying the Indirect Efiects of Actions. In Proc. International Joint Conference on Artificial Intelligence, Montreal, pages 1985-1991, Morgan Kaufmann Publishers, 1995.
14. F. Lin and R. Reiter. State Constraints Revisited. Journal of Logic and Computation. Special Issue on Actions and Processes, 4(5):655-678, 1994.
15. F. Lin and R. Reiter. How to Progress a Database. Artificial Intelligence, 92(1- 2):131-167, 1997.
16. J. McCarthy. Circumscription a form of Non-Monotonic Reasoning. Artificial Intelligence, 13:27-39, 1980.
17. J. McCarthy and P. Hayes. Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence, Vol. 4, pages 463-502. Edinburgh University Press, Edinburgh, Scotland, 1969.
18. S. McIlraith. Representing Actions and State Constraints in Model-Based Diagnosis. In Proc. of the National Conference on Artificial Intelligence (AAAI-97), pages 43-49, 1997.
19. R. Miller and M. Shanahan. Narratives in the Situation Calculus. The Journal of Logic and Computation, 4(5):513-530, 1994.
20. J. Minker: Logic and Databases. Past, Present and Future. AI Magazine, pages 21-47, 1997.
21. J. Pinto. Causality, Indirect Efiects and Triggers (Preliminary Report). In Seventh International Workshop on Non-monotonic Reasoning, Trento, Italy, 1998. URL=http://www.cs.utexas.edu/users/vl/nmr98.html.
22. J. Pinto. Occurrences and Narratives as Constraints in the Branching Structure of the Situation Calculus. Journal of Logic and Computation, 8:777-808, 1998.
23. J. Pinto: Compiling Ramification Constraints into Efiect Axioms. Computational Intelligence, 13(3), 1999.
24. J. Pinto and R. Reiter. Adding a Time Line to the Situation Calculus. In Working Notes: The Second Symposium on Logical Formalizations of Commonsense Reasoning, Austin, Texas, USA, pages 172-177, 1993.
25. R. Reiter. The Frame Problem in the Situation Calculus: a Simple Solution (sometimes) and a Completeness Result for Goal Regression. In V. Lifschitz, editor, Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pages 359-380, Academic Press, 1991.
26. R. Reiter. On Specifying Database Updates. Journal of Logic Programming, 25(1):53-91, 1995.
27. K.-D. Schewe and B. Thalheim. Limitations of the Rule Triggering Systems for Integrity Maintenance in the Context of Transition Specifications. Acta Cybernetica, 13:277-304, 1998.
28. M. Thielscher. Ramification and Causality. Artificial Intelligence, 89:317-364, 1997.
29. J. Ullman: Principles of Database and Knowledge-Base Systems, Vol. 1. Computer Science Press, 1988.
30. J. Widom and S. Ceri: Active Database Systems: Triggers and Rules for Advanced Database Processing. Morgan Kaufmann Publishers, 1996.
31. C. Zaniolo, S. Ceri, Ch. Faloutsos, R. T. Snodgrass, V.S. Subrahmanian, and R. Zicari. Advanced Database Systems. Morgan Kaufmann Publishers, 1997.