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.
Preview
Unable to display preview. Download preview PDF.
References
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.
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.
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.
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.
E. W. Dijkstra. Guarded commands, nondeterminacy and formal derivation of programs. Communications of the ACM, 18(8):453–457, Aug. 1975.
G. Dobbie. Foundations of Deductive Object-Oriented Database Systems. PhD thesis, University of Melbourne, Feb. 1995. submitted.
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.
G. Dobbie and R. W. Topor. Representing inheritance and overriding in Datalog. Computers and Artificial Intelligence, 13(2–3):133–158, 1994.
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.
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.
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.
M. Jeusfeld and E. Krüger. Deductive integrity maintenance in an object-oriented setting. Technical Report MIP-9013, Iniversität Passau, 1990.
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.
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.
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.
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.
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.
J.-M. Nicolas. Logic for improving integrity checking in relational database. Acta Informatica, 18:227–253, 1982.
T. Sheard and D. Stemple. Automatic verification of database transaction safety. ACM Transactions on Database Systems, 14(3):322–368, Sept. 1989.
M. Wallace. Compiling integrity checking into update procedures. In Proc. Twelfth International Joint Conference on Artificial Intelligence, pages 903–908, Aug. 1991.
Author information
Authors and Affiliations
Editor information
Rights 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