Skip to main content
SpringerLink
Log in

Transaction safety in deductive object-oriented databases

  • Transactions and Schema Translation
  • Conference paper
  • First Online:
Deductive and Object-Oriented Databases (DOOD 1995)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1013))

Included in the following conference series:

Abstract

We present an approach to integrity constraint checking in deductive object-oriented databases based on the weakest precondition transformation. We introduce an update language and define its semantics. We then develop a syntactic transformation giving the weakest precondition for an integrity constraint and a statement in the language. Finally, we show how the weakest precondition can be used as the basis for enforcing transaction safety.

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. S. Abiteboul, G. Lausen, H. Uphoff, and E. Waller. Methods and rules. In Proc. 1993 ACM SIGMOD International Conference on Management of Data, pages 32–41, Washington, DC, 1993.

    Google Scholar 

  2. V. Benzaken and A. Doucet. Themis: a database programming language with integrity contraints. In Proc. Fourth International Workshop on Database Programming Languages, New York, N.Y., 1993. Springer-Verlag.

    Google Scholar 

  3. F. Bry, H. Decker, and R. Manthey. A uniform approach to constraint satisfaction and constraint satisfiability in deductive databases. In Proc. First International Conference on Extending Database Technology, pages 488–505, Venice, Italy, Feb. 1988.

    Google Scholar 

  4. U. S. Chakravarthy, J. Grant, and J. Minker. Logic-based approach to semantic query optimization. ACM Transactions on Database Systems, 15(2):162–207, June 1990.

    Google Scholar 

  5. E. W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453–457, Aug. 1975.

    Google Scholar 

  6. G. Dobbie. Foundations of Deductive Object-Oriented Database Systems. PhD thesis, University of Melbourne, Feb. 1995. submitted.

    Google Scholar 

  7. G. Dobbie and R. W. Topor. A model for inheritance and overriding in deductive object-oriented systems. In G. Gupta, G. Mohay, and R. W. Topor, editors, Proc. of the 16th Australian Computer Science Conference, volume 15, pages 625–634, Brisbane, Queensland, Feb. 1993.

    Google Scholar 

  8. G. Dobbie and R. W. Topor. Representing inheritance and overriding in Datalog. Computers and Artificial Intelligence, 13(2–3):133–158, 1994.

    Google Scholar 

  9. G. Dobbie and R. W. Topor. On the declarative and procedural semantics of deductive object-oriented systems. Journal of Intelligent Information Systems, 4(2):193–219, Mar. 1995.

    Google Scholar 

  10. H. Jagadish and X. Qian. Integrity maintenance in an object-oriented database. In Proc. Eighteenth International Conference on Very Large Data Bases, pages 469–480, 1992.

    Google Scholar 

  11. M. Jeusfeld and M. Jarke. From relational to object-oriented integrity simplification. In C. Delobel, M. Kifer, and Y. Masunaga, editors, Proc. Second International Conference on Deductive and Object-Oriented Databases, Lecture Notes in Computer Science, pages 460–477. Springer-Verlag, Dec. 1991.

    Google Scholar 

  12. M. Jeusfeld and E. Krüger. Deductive integrity maintenance in an object-oriented setting. Technical Report MIP-9013, Iniversität Passau, 1990.

    Google Scholar 

  13. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical report 90/14 (revised), Department of Computer Science, State University of New York at Stony Brook, Aug. 1990.

    Google Scholar 

  14. M. Kifer, G. Lausen, and J. Wu. Logical foundations of object-oriented and frame-based languages. Technical report 93/06, Department of Computer Science, State University of New York at Stony Brook, June 1993. Accepted to Journal of the ACM.

    Google Scholar 

  15. M. Lawley and R. Topor. Transaction safety in deductive databases using weakest preconditions. Technical Report CIT-95-13, School of Computing and Information Technology, Griffith University, 1995.

    Google Scholar 

  16. M. Lawley, R. Topor, and M. Wallace. Using weakest preconditions to simplify integrity constraint checking. In M. Orlowska and M. Papazoglou, editors, Proc. 4th Australian Database Conference, pages 161–170, Brisbane, Australia, Feb. 1993.

    Google Scholar 

  17. J. W. Lloyd, E. A. Sonenberg, and R. W. Topor. Integrity constraint checking in stratified databases. Journal of Logic Programming, 4(4):331–343, Dec. 1987.

    Google Scholar 

  18. J.-M. Nicolas. Logic for improving integrity checking in relational database. Acta Informatica, 18:227–253, 1982.

    Google Scholar 

  19. T. Sheard and D. Stemple. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322–368, Sept. 1989.

    Google Scholar 

  20. M. Wallace. Compiling integrity checking into update procedures. In Proc. Twelfth International Joint Conference on Artificial Intelligence, pages 903–908, Aug. 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. School of Computing and Information Technology, Griffith University, Q4111, Nathan, Australia

    Michael Lawley

Authors
  1. Michael Lawley
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Tok Wang Ling Alberto O. Mendelzon Laurent Vieille

Rights and permissions

Reprints and permissions

Copyright information

© 1995 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Lawley, M. (1995). Transaction safety in deductive object-oriented databases. In: Ling, T.W., Mendelzon, A.O., Vieille, L. (eds) Deductive and Object-Oriented Databases. DOOD 1995. Lecture Notes in Computer Science, vol 1013. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-60608-4_52

Download citation

  • DOI: https://doi.org/10.1007/3-540-60608-4_52

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-60608-6

  • Online ISBN: 978-3-540-48460-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation