Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Computer Science Logic

CSL 1988: CSL '88 pp 288–300Cite as

Using finite-linear temporal logic for specifying database dynamics

  • Conference paper
  • First Online:

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

This is a preview of subscription content, log in via an institution.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Casanova, M. A., Furtado, A. L.: On the Description of Database Transition Constraints Using Temporal Languages. Advances in Database Theory, Vol. II (H. Gallaire et al., eds.), Plenum Press, New York 1984, 211–236.

    Google Scholar 

  2. Carmo, J., Sernadas, A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification. Proc. IFIP WG 8.1 Conf. on “Temporal Aspects of Information Systems”, Sophia-Antipolis 1987, 31–46.

    Google Scholar 

  3. Ehrich, H.-D., Lipeck, U.W., Gogolla, M.: Specification, Semantics and Enforcement of Dynamic Database Constraints. Proc. Int. Conf. on Very Large Databases. Singapore 1984, 301–308.

    Google Scholar 

  4. Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol. 25, Fasc. 6, 1988, 625–661.

    Article  Google Scholar 

  5. Khosla, S., Maibaum, T.S.E., Sadler, M.: Database Specification. Proc. IFIP Conf. on Database Semantics (DS-1) 1985 (T.B. Steel, R. Meersmann, eds.). North Holland, Amsterdam 1986, 141–158.

    Google Scholar 

  6. Kröger, F.: Temporal Logic of Programs. Springer-Verlag, Berlin 1987.

    Google Scholar 

  7. Kung, C.H.: A Temporal Framework for Database Specification and Verification. Proc. Int. Conf. on Very Large Databases. Singapore 1984, 91–99.

    Google Scholar 

  8. Lipeck, U.W., Ehrich, H.-D., Gogolla, M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects in Information Systems (A. Sernadas et al., eds.) North-Holland, Amsterdam 1985, 145–157.

    Google Scholar 

  9. Lipeck, U.W.: Transformation of Dynamic Integrity Constraints into Transaction Specifications. Proc. 2nd Int. Conf. on Database Theory. (M. Gyssens et al., eds.)LNCS 326 Springer-Verlag, Berlin 1988, 322–337.

    Google Scholar 

  10. Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems. Vol. 12, No. 3, 1987, 255–269.

    Article  Google Scholar 

  11. Manna, Z.: Verification of Sequential Programs: Temporal Axiomatization. Theoretical Foundations of Programming Methodology (M. Broy, G. Schmidt, eds.) Reidel Publ. Co., Dordrecht 1982, 53–101.

    Google Scholar 

  12. Manna, Z., Pnueli, A.: Verification of Concurrent Programs: The Temporal Framework. The Correctness Problem in Computer Science (R.S. Boyer, J.S. Moore, eds.). Academic Press, London 1981, 215–273.

    Google Scholar 

  13. Manna, Z., Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Transactions on Programming Languages and Systems. Vol. 6, 1984, 68–93.

    Article  Google Scholar 

  14. Saake, G.: Specification, Semantics and Monitoring of Object Lifecycles in Databases (in German). Doctoral Thesis. Techn. Universität Braunschweig 1988.

    Google Scholar 

  15. Saake, G.: On First Order Temporal Logics with Changing Domains for Information System Specification. Submitted for Publication, 1988.

    Google Scholar 

  16. Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Information Systems. Vol. 5, 1980, 167–187.

    Article  Google Scholar 

  17. Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multi-Level and Modular Conceptual Schema Specifications. Information Systems. Vol. 9, 1984, 43–57.

    Article  Google Scholar 

  18. Saake, G., Lipeck, U.W.: Foundations of Temporal Integrity Monitoring. Proc. IFIP Work. Conf. on “Temporal Aspects in Information Systems”, 1987. (C. Rolland et al., eds.), North-Holland Publ. Co., Amsterdam 1988, 235–249.

    Google Scholar 

  19. Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-Oriented Specification of Databases: An Algebraic Approach. Proc. Int. Conf. on Very Large Databases, 1987, 107–116.

    Google Scholar 

  20. Wolper, P.: Temporal Logic Can Be More Expressive. Information and Control 56, 1983, 72–99.

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. IBM Wissenschaftliches Zentrum Heidelberg, Tiergartenstr. 15, 6900, Heidelberg

    Gunter Saake

  2. FB Informatik (VI), Universität Dortmund, Postfach 500500, 4600, Dortmund 50

    Udo W. Lipeck

Authors
  1. Gunter Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Udo W. Lipeck
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Egon Börger Hans Kleine Büning Michael M. Richter

Rights and permissions

Reprints and permissions

Copyright information

© 1989 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Saake, G., Lipeck, U.W. (1989). Using finite-linear temporal logic for specifying database dynamics. In: Börger, E., Büning, H.K., Richter, M.M. (eds) CSL '88. CSL 1988. Lecture Notes in Computer Science, vol 385. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0026308

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-51659-0

  • Online ISBN: 978-3-540-46736-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation