Advertisement

The dynamics of database views

  • Marcelo Arenas
  • Leopoldo Bertossi
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1472)

Abstract

The dynamics of relational database can be specified by means of Reiter's formalism based on the situation calculus. The specification of transaction based database updates is given in terms of Successor State Axioms (SSAs) for the base tables of the database. These axioms completely describe the contents of the tables at an arbitrary state of the database that is generated by the execution of a legal primitive transaction, and thus solve the frame problem for databases. In this paper we show how to derive action-effect based SSAs for views from the SSAs for the base tables. We prove consistency properties for those axioms. In addition, we establish the relationship between the derived SSA and the view definition as a static integrity constraint of the database. We give applications of the derived SSAs to the problems of view maintenance, and checking, proving, and enforcement of integrity constraints.

Keywords

Consistency Condition Successor State Integrity Constraint Frame Problem Situation Calculus 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AB1]
    Arenas, M., Bertossi, L.: Hypothetical temporal queries in databases. In Proc. of the ACM SIGMOD/PODS 5th Workshop on Knowledge Representation meets databases (KRDB'98), Borgida, A., Chaudhuri, V., Staudt, M. (eds.) (1998) (http://sunsite.informatik.rwth-aachen.de/Publications/CEURWS/Vol-10/).Google Scholar
  2. [AB2]
    Arenas, M., Bertossi, L.: The dynamics of database views (extended version). Can be found as ext-views.ps in http://dcc.ing.puc.cl/~bertossi/ (1998).Google Scholar
  3. [Be1]
    Bertossi, L., Arenas, M., Ferretti, C.: SCDBR: An automated reasoner for specifications of database updates. Journal of Intelligent Information Systems 10(3) (1998).Google Scholar
  4. [Be2]
    Bertossi, L., Pinto, J., Saez, P., Kapur, D., Subramaniam, M.: 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). Springer LNAI 1079 (1996) 212–222.Google Scholar
  5. [Bl1]
    Blakeley, J., Coburn, N., Larson, P.: Updating derived relations: Detecting irrelevant and autonomously computable updates”. ACM Transactions on Database Systems 14 (1989) 369–400.MathSciNetCrossRefGoogle Scholar
  6. [CD1]
    Chaudhuri, S., Dayal, U.: An overview of datawarehousing and OLAP technology. ACM SIGMOD Record 26 (1997) 65–74.CrossRefGoogle Scholar
  7. [Ch1]
    Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems 20 (1995) 149–186.CrossRefGoogle Scholar
  8. [Cl1]
    Clark, K.: Negation as failure. In Gallaire, H., Minker, J. (eds.) Logic and Data Bases. Plenum Press (1978) 292–322.Google Scholar
  9. [FC1]
    Furtado, A., Casanova, M.: Updating relational views. In Kim, W., Reiner, D., Batory, D. (eds.) Query Processing in Database Systems. Springer (1985).Google Scholar
  10. [GV1]
    Gaifman, H., Vardi, M.: A simple proof that connectivity of finite graphs is not first-order definable. Bulletin EATCS 26 (1985) 44–45.Google Scholar
  11. [Go1]
    Godfrey, P., Grant, J., Gryz, J., Minker, J.: Integrity constraints: Semantics and applications. In Chomicki, J., Saake, G. (eds.) Logics for Databases and Information Systems. Kluwer (1998).Google Scholar
  12. [GS1]
    Gupta, A., Singh Mumick, I.: Maintenance of materialized views: Problems, techniques, and applications. IEEE-CS Data Engineering Bulletin 18 (1995) 3–18. Special issue on materialized views and data warehousing.zbMATHGoogle Scholar
  13. [Im1]
    Imielinski, T.: Relative knowledge in distributed database (extended abstract). In Proc. Symposium on Principles of Database Systems (PODS'87), ACM Press (1987) 197–209.Google Scholar
  14. [Le1]
    Levy, A., Mendelzon, A., Sagiv, Y., Srivastava, D.: Answering queries using views. In Proc. Symposium on Principles of Database Systems (PODS'95), ACM Press (1995) 95–104.Google Scholar
  15. [LR1]
    Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4 (1994) 655–678. Special issue on action and processes.zbMATHMathSciNetGoogle Scholar
  16. [LR2]
    Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence 92 (1995) 131–167.MathSciNetCrossRefGoogle Scholar
  17. [MH1]
    McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie (eds.), Machine Intelligence 4, Edinburgh University Press (1969) 463–502.Google Scholar
  18. [Ni1]
    Nicolas, J-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18 (1982) 227–253.zbMATHMathSciNetCrossRefGoogle Scholar
  19. [Pi1]
    Pinto, J.: Temporal reasoning in the situational calculus. PhD thesis, Department of Computer Science, University of Toronto (1994).Google Scholar
  20. [Ra1]
    Rajaraman, A., Sagiv, Y., Ullman, J.: Answering queries using templates with binding patterns. In Proc. Symposium on Principles of Database Systems (PODS'95), ACM Press (1995) 105–112.Google Scholar
  21. [Re1]
    Reiter, R.: The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In Lifschitz, V. (ed.) Artificial Intelligence and Mathematical Theory of Computation: Papers in Honor of John McCarthy, Academic Press (1991) 359–380.Google Scholar
  22. [Re2]
    Reiter, R.: On specifying database updates. Journal of Logic Programming 25 (1995) 53–91.zbMATHCrossRefGoogle Scholar
  23. [Re3]
    Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence 64 (1993) 337–351.zbMATHMathSciNetCrossRefGoogle Scholar
  24. [Sa1]
    Saez, P.: Automated proofs of database integrity constraints. PhD thesis, Catholic University of Chile, School of Engineering, Department of Computer Science. In preparation.Google Scholar
  25. [SB1]
    Siu, B., Bertossi, L.: Answering historical queries in databases (extended abstract). In Zelkowitz, M., Straub, P. (eds.) Proc. XVI International Conference of the Chilean Computer Science Society (SCCC'96) (1996).Google Scholar
  26. [Ul1]
    Ullman, J.: Principles of database and knowledge-base systems, Vol. I. Computer Science Press, 1988.Google Scholar
  27. [VT1]
    Van Gelder, A., Topor, R.: Safety and correct translation of relational calculus formulas. In Proc. ACM Symposium on Database Systems (PODS), ACM Press (1987) 313–327.Google Scholar
  28. [Zh1]
    Zhuge, Y., Garcia-Molina, H., Widom, J.: View maintenance in a datawarehousing environment. In Proc. Symposium on Principles of Database Systems (PODS'96), ACM Press (1996) 316–327.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1998

Authors and Affiliations

  • Marcelo Arenas
    • 1
  • Leopoldo Bertossi
    • 1
  1. 1.Escuela de Ingeniería Departamento de Ciencia de ComputaciónP. Universidad Católica de ChileSantiago 22Chile

Personalised recommendations