Advertisement

Representation of the historical information necessary for temporal integrity monitoring

  • K. Hülsmann
  • G. Saake
Session 10: Time, Object-Oriented And Active Systems
Part of the Lecture Notes in Computer Science book series (LNCS, volume 416)

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.

Keywords

Temporal Logic Free Variable Temporal Constraint Finite Automaton Transition Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

7. References

  1. [Ch76]
    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. [EDG86]
    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. [EHHLE]
    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. [ELG84]
    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. [FiS88]
    Fiadeiro, J., Sernadas, A.: Specification and Verification of Database Dynamics. Acta Informatica. Vol.25, Fasc.6, 1988, 625–661.CrossRefGoogle Scholar
  6. [HsI85]
    Hsu, A., Imielinsky, T.: Integrity Checking for Multiple Updates. SIGMOD 1985, 152–168.Google Scholar
  7. [Hü88]
    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üS89]
    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. [KoSS87]
    Kowalski, R., Sadri, F., Soper, P.: Integrity Checking in Deductive Databases. In Proc. 19th Int. Conf. VLDB, 1987, 61–69.Google Scholar
  10. [Kr87]
    Kröger, F.: Temporal Logic of Programs. Springer-Verlag, Berlin 1987.Google Scholar
  11. [Ku84]
    Kung, C.H.: A Temporal Framework for Database Specification and Verification. VLDB 1984, 91–99.Google Scholar
  12. [LEG85]
    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. [Li88]
    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. [Li89]
    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. [LiS87]
    Lipeck, U.W., Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems, Vol.12, No.3, 1987, 255–269.CrossRefGoogle Scholar
  16. [LIT85]
    Lloyd, J.W.; Topor, R.W.: A Basis for Deductive Database Systems. J. Logic Programming, 2, 1985, 93–109.CrossRefGoogle Scholar
  17. [MaP81]
    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. [MaW84]
    Manna, Z., Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM Trans. on Programming Languages and Systems. Vol.6, 1984, 68–93.CrossRefGoogle Scholar
  19. [Ni82]
    Nicolas, J.-M.: Logic for Improving Integrity Checking in Relational Data Bases. Acta Informatica, 18, 1982, 227–253.CrossRefGoogle Scholar
  20. [Sa88]
    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. [SaL87]
    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. [SaL89]
    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. [Se80]
    Sernadas, A.:Temporal Aspects of Logical Procedure Definition. Information Systems 5, 1980, 167–187.CrossRefGoogle Scholar
  24. [SFNC84]
    Schiel, U., Furtado, A.L., Neuhold, E.J., Casanova, M.A.: Towards Multilevel and Modular Conceptual Schema Specifications. Information Systems 9, 1984, 43–57.CrossRefGoogle Scholar
  25. [Vi83]
    Vianu, V.: Dynamic Constraints and Database Evolution. Proc. 2nd ACM SIGACT-SIGMOD Symp. on Princ. of Database Systems (Atlanta), ACM, New York 1983, 389–399Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1990

Authors and Affiliations

  • K. Hülsmann
    • 1
  • G. Saake
    • 1
  1. 1.Informatik, Abt. DatenbankenTechnische UniversitätBraunschweig

Personalised recommendations