Skip to main content
SpringerLink
Log in

The dynamics of database views

  • Conference paper
  • First Online:
Transactions and Change in Logic Databases (DYNAMICS 1997)

Part of the book series: Lecture Notes in Computer Science ((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.

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. 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. 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. 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. 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. Blakeley, J., Coburn, N., Larson, P.: Updating derived relations: Detecting irrelevant and autonomously computable updates”. ACM Transactions on Database Systems 14 (1989) 369–400.

    Article  MathSciNet  Google Scholar 

  6. Chaudhuri, S., Dayal, U.: An overview of datawarehousing and OLAP technology. ACM SIGMOD Record 26 (1997) 65–74.

    Article  Google Scholar 

  7. Chomicki, J.: Efficient checking of temporal integrity constraints using bounded history encoding. ACM Transactions on Database Systems 20 (1995) 149–186.

    Article  Google Scholar 

  8. Clark, K.: Negation as failure. In Gallaire, H., Minker, J. (eds.) Logic and Data Bases. Plenum Press (1978) 292–322.

    Google Scholar 

  9. 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. 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. 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. 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.

    MATH  Google Scholar 

  13. 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. 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. Lin, F., Reiter, R.: State constraints revisited. Journal of Logic and Computation 4 (1994) 655–678. Special issue on action and processes.

    MATH  MathSciNet  Google Scholar 

  16. Lin, F., Reiter, R.: How to progress a database. Artificial Intelligence 92 (1995) 131–167.

    Article  MathSciNet  Google Scholar 

  17. 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. Nicolas, J-M.: Logic for improving integrity checking in relational data bases. Acta Informatica 18 (1982) 227–253.

    Article  MATH  MathSciNet  Google Scholar 

  19. Pinto, J.: Temporal reasoning in the situational calculus. PhD thesis, Department of Computer Science, University of Toronto (1994).

    Google Scholar 

  20. 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. 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. Reiter, R.: On specifying database updates. Journal of Logic Programming 25 (1995) 53–91.

    Article  MATH  Google Scholar 

  23. Reiter, R.: Proving properties of states in the situation calculus. Artificial Intelligence 64 (1993) 337–351.

    Article  MATH  MathSciNet  Google Scholar 

  24. 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. 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. Ullman, J.: Principles of database and knowledge-base systems, Vol. I. Computer Science Press, 1988.

    Google Scholar 

  27. 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. 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 

Download references

Author information

Authors and Affiliations

  1. Escuela de Ingeniería Departamento de Ciencia de Computación, P. Universidad Católica de Chile, Casilla 306, Santiago 22, Chile

    Marcelo Arenas & Leopoldo Bertossi

Authors
  1. Marcelo Arenas
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Leopoldo Bertossi
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Burkhard Freitag Hendrik Decker Michael Kifer Andrei Voronkov

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Arenas, M., Bertossi, L. (1998). The dynamics of database views. In: Freitag, B., Decker, H., Kifer, M., Voronkov, A. (eds) Transactions and Change in Logic Databases. DYNAMICS 1997. Lecture Notes in Computer Science, vol 1472. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0055500

Download citation

  • DOI: https://doi.org/10.1007/BFb0055500

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-49449-2

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation