[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to main content
Springer Nature Link
Log in

Representation of the historical information necessary for temporal integrity monitoring

  • Session 10: Time, Object-Oriented And Active Systems
  • Conference paper
  • First Online:
Advances in Database Technology — EDBT '90 (EDBT 1990)

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

Included in the following conference series:

Abstract

Temporal integrity constraints describe long-term data dependencies to be respected by correct database evolutions. Such temporal constraints can be monitored by a runtime evaluation of corresponding transitions of an equivalent finite automaton for each substitution of the free constraint variables with database objects. The current states of the automaton are the historical information necessary for temporal integrity monitoring. This paper presents techniques for decreasing the amount of historical information by monitoring automata for whole sets of substitutions instead of single substitutions thus enabling a monitoring even for large sets of monitored substitutions.

K. Hülsmann's work is supported by Deutsche Forschungsgemeinschaft (AZ: En 184/1-1)

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.

7. References

  1. Chamberlin, D.D. et al.: SEQUEL 2: A Unified Approach to Data Definition, Manipulation and Control. IBM Journal. Res. Dev. 20. 1976. 560–576.

    Google Scholar 

  2. Ehrich, H.-D., Drosten, K., Gogolla, M.: Towards an Algebraic Semantics for Database Specification. Proc. IFIP Work. Conf. on Knowledge and Data "DS-2". Albufeira (Portugal) 1986 (R.A. Meersmann, et al., eds.), North-Holland Amsterdam 1988, 119–135.

    Google Scholar 

  3. Engels, G., Hohenstein, U., Hülsmann, K., Löhr-Richter, P., Ehrich, H.-D.: CADDY: Computer Aided Design of Non-Standard Databases. To appear in Proc. of the Int. Conf. on System Development Environments & Factories. Berlin 1989.

    Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  6. Hsu, A., Imielinsky, T.: Integrity Checking for Multiple Updates. SIGMOD 1985, 152–168.

    Google Scholar 

  7. Hülsmann, K.: Entwurf eines Systems zur Überwachung dynamischer Integritätsbedingungen (Design of a system for monitoring dynamic integrity constraints; in German). Diplomarbeit, TU Braunschweig 1988.

    Google Scholar 

  8. Hülsmann, K., Saake, G.: Theoretical Foundations of Handling Large Substitution Sets in Temporal Integrity Monitoring. Informatik-Bericht Nr.89-04, TU Braunschweig 1989.

    Google Scholar 

  9. Kowalski, R., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases. In Proc. 19th Int. Conf. VLDB, 1987, 61–69.

    Google Scholar 

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

    Google Scholar 

  11. Kung, C.H.: A Temporal Framework for Database Specification and Verification. VLDB 1984, 91–99.

    Google Scholar 

  12. 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 of Information Systems (A. Sernadas et al., eds.). LNCS 326, North-Holland, Amsterdam 1985, 145–157.

    Google Scholar 

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

    Google Scholar 

  14. Lipeck, U.W.: Zur dynamischen Integrität von Datenbanken: Grundlagen der Spezifikation und Überwachung (On dynamic integrity of databases: foundations of specification and supervision; in German). Habilitationsschrift, TU Braunschweig 1988, Informatik-Fachbericht Nr. 209, Springer-Verlag, Berlin 1989.

    Google Scholar 

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

  16. Lloyd, J.W.; Topor, R.W.: A Basis for Deductive Database Systems. J. Logic Programming, 2, 1985, 93–109.

    Article  Google Scholar 

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

    Google Scholar 

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

    Article  Google Scholar 

  19. Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18, 1982, 227–253.

    Article  Google Scholar 

  20. Saake, G.: Spezifikation, Semantik und Überwachung von Objektlebensläufen in Datenbanken (Specification, semantics and supervision of object life cycles in databases; in German). Dissertation. Informatik-Skript Nr.20, TU Braunschweig 1988.

    Google Scholar 

  21. Saake, G., Lipeck, U.W.: Foundations of Temporal Integrity Monitoring. Proc. IFIP WG 8.1 Conf. on "Temporal Aspects in Information Systems" TAIS (C. Rolland et al., eds.), Sophia-Antipolis 1987, North-Holland, Amsterdam 1988, 235–249.

    Google Scholar 

  22. Saake, G., Lipeck, U.W.: Using Finite-Linear Temporal Logic for Specifying Database Dynamics. In Proc. CSL'88 2nd Workshop ComputerScience Logic (E.Börger, H. Kleine Büning, M.M. Richter, Eds), Duisburg 1988, LNCS 385, Springer-Verlag 1989, 288–300.

    Google Scholar 

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

    Article  Google Scholar 

  24. Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multilevel and Modular Conceptual Schema Specifications. Information Systems 9, 1984, 43–57.

    Article  Google Scholar 

  25. Vianu, V.: Dynamic Constraints and Database Evolution. Proc. 2nd ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems (Atlanta), ACM, New York 1983, 389–399

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abt. Datenbanken, Technische Universität, PF 3329, D-3300, Braunschweig

    K. Hülsmann & G. Saake

Authors
  1. K. Hülsmann
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. G. Saake
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

François Bancilhon Constantino Thanos Dennis Tsichritzis

Rights and permissions

Reprints and permissions

Copyright information

© 1990 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Hülsmann, K., Saake, G. (1990). Representation of the historical information necessary for temporal integrity monitoring. In: Bancilhon, F., Thanos, C., Tsichritzis, D. (eds) Advances in Database Technology — EDBT '90. EDBT 1990. Lecture Notes in Computer Science, vol 416. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022184

Download citation

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

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-52291-1

  • Online ISBN: 978-3-540-46948-3

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation