SCDBR: An automated reasoner for specifications of database updates

Journal of Intelligent Information Systems

Volumn 10, Issue 3, 1998, Pages 253-280

  Bertossi, Leopoldo ^a   Arenas, Marcelo ^a   Ferretti, Cristian ^a  

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

Author keywords

Automated Reasoning; Integrity Constraints; Knowledge Representation; Situation Calculus; Specifications of Database Updates

Indexed keywords

KNOWLEDGE ACQUISITION; LOGIC PROGRAMMING; PROBLEM SOLVING; QUERY LANGUAGES; THEOREM PROVING; CONSTRAINT THEORY; FORMAL LANGUAGES; FORMAL LOGIC; KNOWLEDGE REPRESENTATION; PROLOG (PROGRAMMING LANGUAGE); RELATIONAL DATABASE SYSTEMS;

INTEGRITY CONSTRAINTS; SITUATION CALCULUS; SPECIFICATIONS OF DATABASE UPDATES; AUTOMATED REASONING;

DATABASE SYSTEMS; ARTIFICIAL INTELLIGENCE;

EID: 0032069907     PISSN: 09259902     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1013861118705     Document Type: Article

References (41)

1. Abiteboul, S. and Vianu, V. (1989). A Transaction-Based Approach to Relational Database Specification. Journal of the ACM, 36(4), 758-789.
2. Bedrax-Weiss, T. and Bertossi, L. (1995). Underlying Semantics for the Assessment of Reiter's Solution to the Frame Problem. In J. Wainer and A. Carvalho, editors, Advances in Artificial Intelligence, Proc. XII International Conference of the Brazilian AI Society (SBIA'95), LNAI991. Springer, LNAI 991.
3. Bertossi, L., Arenas, M. and Ferretti, C. (1996). SCDBR: An Automated Reasoner for Database Updates (Extended Abstract). In Proc. XVI International Conference of the Chilean Computer Science Society (SCCC'96), Valdivia, Nov. 13-15.
4. Bertossi, L. and Ferretti, J. (1994). SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. In Temporal Logic. Proceedings First International Conference, ICTL'94, Bonn, Germany, July 1994, LNAI 827, pp. 543-545. Springer.
5. Bertossi, L., Pinto, J., Saez, P., Kapur, D. and Subramaniam, M. (1996). Automating Proofs of Integrity Constraints in the Situation Calculus. In Foundations of Intelligent Systems. Proc. Ninth International Symposium on Methodologies for Intelligent Systems (ISMIS'96), Zakopane, Poland, pp. 212-222. Springer, LNAI 1079.
6. Böhlen, M. (1994). Managing Temporal Knowledge in Deductive Databases. PhD Thesis #10802, ETH, Zurich. Bonner, A. and Kifer, M. (1994). An Overview of Transaction Logic, Theoretical Computer Science, 133, 205-265.
7. Ceri, S., Gottlob, G. and Tanca, L. (1990). Logic Programming and Databases. Springer.
8. Chomicki, J. and Toman, D. (1995). Implementing Temporal Integrity Constraints using an Active DBMS, IEEE Transactions on Knowledge and Data Engineering, 7(4), 566-582.
9. Codognet, Ph. and Diaz, D. (1996). Compiling Constraints in CLP(FD), Journal of Logic Programming, pp. 185-226.
10. Diaz, D. (1994). CLP(FD) 2.21 User's Manual. INRIA-Rocquencourt, France.
11. Fikes, R. and Nilsson, N. (1971). STRIPS: A new approach to application of theorem proving procedures to problem solving. In Readings in Planning.
12. Haas, A. (1987). The Case for Domain-Specific Frame Axioms. In F. Brown, (Ed.), The frame problem in artificial intelligence. Proceedings of the 1987 Workshop, pp. 343-348, Los Altos, CA: Morgan Kaufmann Publishers, Inc.
13. Hung,S.Y.K. (2996). Implementation and Performance of Transaction Logic in PROLOG. Master's thesis, Department of Computer Science, University of Toronto.
14. Kapur, D. and Zhang, H. (1995). An Overview of Rewrite Rule Laboratory (RRL), J. of Computer and Mathematics with Applications.
15. Kowalski, R. (1979). Logic for Problem Solving. North-Holland.
16. Lésperance, Y., Levesque, H., Lin, F., Marcu, D., Reiter, R. and Scherl, R. (1994). A Logical Approach to High-Level Robot Programming - A Progress Report. Proc. AAAI Fall Symposium of Control of the Physical World by Intelligent Systems, New Orleans, LA.
17. Lin, F. and Reiter, R. (1994a). How to Progress a Database (and Why) I: Logical Foundations. In E. Sandewall J.Doyle and P. Torasso, (Eds.), Proc. Fourth Int. Conf. on Principles of Knowledge Representation and Reasoning, (pp. 425-436). Morgan Kaufmann.
18. Lin, F. and Reiter, R. (1994b). State Constraints Revisited, Journal of Logic and Computation: Special Issue on Action and Processes, 4(5), 655-678.
19. Lin, F. and Reiter, R. (1995). How to Progress a Database II: The STRIPS Connection. Proc. IJCAI'95, (pp. 2001-2007).
20. Lin, F. and Reiter, R. (1995). How to Progress a Database. Artificial Intelligence, 92(1-2), pp. 131-167.
21. Lloyd, J. W. (1987). Foundations of Logic Programming. Springer Verlag.
22. McCarthy, J. and Hayes, P. (1969). Some Philosophical Problems from the Standpoint of Artificial Intelligence. In B. Meltzer and D. Michie, (Eds.), Machine Intelligence, volume 4, pp. 463-502, Edinburgh, Scotland: Edinburgh University Press.
23. McCune, W.W. (1994). OTTER 3.0 Reference Manual and Guide. Argonne National Laboratory, Technical Report ANL-94/6.
24. Pednault, E. (1989). ADL: Exploring the Middle Ground between STRIPS and the Situation Calculus. In H. Levesque R. Brachman and R. Reiter, (Eds.), Proceedings of the First International Conference on Principles of Knowledge Representation and Reasoning (KR'89), (pp. 324-332), San Mateo, CA: Morgan Kaufmann Publishers, Inc.
25. Pinto, J. (1994). Temporal Reasoning in the Situational Calculus, PhD thesis, Department of Computer Science, University of Toronto.
26. Reiter, R. (1987). Nonmonotonic Reasoning. In Annual Reviews in Computer Science, 2, pp. 147-186.
27. Reiter, R. (1991). The Frame Problem in the Situation Calculus: a Simple Solution (Sometimes) and a Completeness Result for Goal Regression. In V. Lifschitz, (Ed.), Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, pp. 359-380. Academic Press.
28. Reiter, R. (1992). On Specifying Database Updates. Technical Report KRR-TR-92-3, University of Toronto, Department of Computer Science, Toronto, Canada.
29. Reiter, R. (1993). Proving Properties of States in the Situation Calculus. Artificial Intelligence, 64(2), 337-351.
30. Reiter, R. (1995). On Specifying Database Updates. Journal of Logic Programming, 25(1), 53-91.
31. Saez, P. (In preparation.). Automated Proofs of Database Integrity Constraints, PhD thesis, Catholic University of Chile, School of Engineering, Department of Computer Science.
32. Sandewall, E. (1994). Features and Fluents I. A Systematic Approach to the Representation of Knowledge about Dynamical Systems. Oxford University Press.
33. Schubert, L. (1990). Monotonic Solution of the Frame Problem in the Situation Calculus: an Efficient Method for Worlds with Fully Specified Actions. In H. Kyburg, R. Loui, and G. Carlson, (Eds.), Knowledge Representation and Defeasible Reasoning, pp. 23-67, Boston, MA: Kluwer Academic Publishers.
34. Siu, B. and Bertossi, L. (1996). Answering Historical Queries in Databases using Relevance. Submitted for publication.
35. Siu, B., Bertossi, L. and Arenas, M. (1996). A Semantical Notion of Relevance in Specifications of Database Updates and its Computational Counterpart. Submitted for publication.
36. Siu, B. and Bertossi, L. (1996). Answering Historical Queries in Databases. Technical Report RT-PUC-DCC-2-96, Pontificia Universidad Catolica de Chile, Escuela de Ingenieria, Departamento de Ciencia de Computacion, Casilla 306, Santiago 22, Chile. ftp://ing.puc.cl/dcc/techReports.
37. Siu, B. and Bertossi, L. (1996). Answering Historical Queries in Databases (Extended Abstract). In Proc. XVI International Conference of the Chilean Computer Science Society (SCCC'96), Valdivia, Nov. 13-15.
38. Snodgrass, R. and Ahn, I. (1986). Temporal Databases. IEEE Computer, Sept., 35-42
39. Ullman, J. (1988). Database and Knowledge-Based Systems, Vol. 1. Computer Science Press.
40. van Gelder, A. and Topor, R. (1987). Safety and Correct Translation of Relational Calculus Formulas. Proc. ACM Symposium on Database Systems (PODS), pp. 313-327.
41. Zakinthinos, A. (1993). Improved Runtime Complexity for Historical Queries with Application to Secure Systems. Department of Computer Science, University of Toronto. Term Project for CSC2532.