Skip to main content
SpringerLink
Log in

Theoretical foundations of handling large substitution sets in temporal integrity monitoring

  • Published:
International Journal of Biometeorology Aims and scope Submit manuscript

Summary

Temporal integrity constraints describe long-term data dependencies in databases to be satisfied by each correct database evolution. They can be formulated in a temporal logic. For a runtime monitoring of temporal integrity the problem arises to handle the historical information necessary to monitor the long-term dependencies. This paper extends the already known techniques for minimizing the stored information for a single substitution of the free constraint variables using transition graph construction. Our extension allows to decrease also the amount of handled substitutions for constraint monitoring. For this purpose, the notion of substitution descriptions is formally introduced allowing to monitor simultaneously whole substitution sets. The notions of formula validity and of stepwise monitoring potential validity of temporal constraints are redefined for descriptions. Based on these notions an algorithm for monitoring temporal integrity by handling descriptions is presented.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Bernstein, P.A., Blaustein, B.T., Clarke, E.M.: Fast maintenance of semantic integrity assertions using redundant aggregate data. In Proc. Int. Conf. on Very Large Databases 1980 (126–137)

    Google Scholar 

  2. Chamberlin, D.D. et al.: SEQUEL 2: A unified approach to data definition, manipulation and control. IBM J. Res. Dev. 20, 560–576 (1976)

    Article  Google Scholar 

  3. 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 (Meersmann, R.A. et al., eds.), pp. 119–135 Amsterdam: North Holland 1988

    Google Scholar 

  4. 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, London: Pitman

    Google Scholar 

  5. 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, pp. 301–308

    Google Scholar 

  6. Eswaran, K.P., Chamberlin, D.D.: Functional specification of subsystem for database integrity. Proc. Int. Conf on Very Large Databases 1975, pp. 48–68

    Google Scholar 

  7. Fiadeiro, J., Sernadas, A.: Specification and verification of database dynamics. Aeta Inf 25(6), 625–661 (1988)

    Google Scholar 

  8. Gardarin, G., Melkanoff, M.: Proving consistency of database transactions. Proc. Int. Conf. on Very Large Databases. Rio de Janeiro 1979, pp. 291–299

    Google Scholar 

  9. Hsu, A., Imielinsky, T.: Integrity checking for multiple updates. SIGMOD 1985, 152–168

    Google Scholar 

  10. Hülsmann, K.: Design of a system for monitoring dynamic integrity constraints. (in German) Diploma Thesis, TU Braunschweig 1988

    Google Scholar 

  11. Hülsmann, K., Saake, G.: Representation of the historical information necessary for temporal integrity monitoring. In Proc. 2nd Int. Conf. Extending Database Technology (EDBT 90), (Tsichritzis, D., Thanos, eds.) Venice 1990, pp. 378–393

    Google Scholar 

  12. Khoshafian, S., Copeland, G.P.: Object identity. ACM Proc. Conf. on Object Oriented Programming Systems, Languages, and Applications. Portland, Sept. 86. Reprint in: Readings in object-oriented database systems (Zdonik, S.B., Maier, D., eds.), pp. 3746. San Mateo: Morgan Kaufman 1989

    Google Scholar 

  13. Kröger, F.: Temporal logic of programs. Berlin Heidelberg New York: Springer 1987

    Book  Google Scholar 

  14. 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 (Sernadas, A. et al., eds.), pp. 145–157 Amsterdam: North-Holland 1985

    Google Scholar 

  15. Lipeck, U.W.: Stepwise specification of dynamic database behaviour. Proc. ACM SIGMOD 387–397 (1986)

    Google Scholar 

  16. Lipeck, U.W.: Transformation of dynamic integrity constraints into transaction specifications. Proc. 2nd Int. Conf. on Database Theory (M. Gyssen et al., eds.). (Lect. Notes Comput. Sci., vol. 326, pp. 322–337). Berlin Heidelberg New York: Springer 1988

    Article  Google Scholar 

  17. Lipeck, U.W.: Dynamic integrity of databases. Foundations of specification and supervision. (in German). Berlin Heidelberg New York: Springer 1989

    Google Scholar 

  18. Lipeck, U.W., Feng, D.S.: Construction of deterministic transition graphs from dynamic integrity constraints. Graph-theoretic concepts in computer sciences Int. Workshop Amsterdam (Lect. Notes Comput. Sci., vol. 344, pp. 166–179) Berlin Heidelberg New York: Springer 1989

    Article  Google Scholar 

  19. Lipeck, U.W., Saake, G.: Monitoring dynamic integrity constraints based on temporal logic. Informat. Systems 12, 255–269 (1987)

    Article  Google Scholar 

  20. Manna, Z., Pnueli, A.: Verification of concurrent programs. The temporal framework. In: Boyer, R.S. et al. (eds.) The correctness problem in computer science, pp. 215–373. London: Academic Press 1981

    Google Scholar 

  21. Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans Program. Lang. Syst. 6, 68–93 (1984)

    Google Scholar 

  22. Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Inf. 18, 227–253 (1982)

    Article  Google Scholar 

  23. Nicolas, J.-M., Yasdanian, K.: Improving integrity checking in deductive databases. In: Gallaire, H., Minker, J. (eds.) Logic and databases, pp. 325–344. New York: Plenum Press 1978

    Google Scholar 

  24. Saake, G.: Specifikation, semantics and monitoring of object life cycles in databases. Doctoral Thesis (in German). Informatik-Skript Nr. 20, TU Braunschweig 1988

    Google Scholar 

  25. Saake, G.: On first order temporal logics with changing domains for information system specification. Informatik-Bericht TU Braunschweig Nr. 89–01, 1989

    Google Scholar 

  26. Saake, G.: Descriptive specification of database object behaviour. Data Knowledge Eng. in print.

  27. Saake, G., Lipeck, U.W.: Foundations of temporal integrity monitoring. Proc. IFIP WG 8.1 Conf. on “Temporal Aspects in Information Systems” TAIS (Rolland, C. et al., eds.), Sophia-Antipolis 1987, pp. 235–249. Amsterdam: North- Holland 1988

    Google Scholar 

  28. Saake, G., Lipeck, U.W.: Using finite-linear temporal logic for specifying database dynamics. Proc. CSL’88 2nd Workshop Computer Science Logic, Duisburg 1988 (Börger, E., Kleine Brining, H., Richter, M.M., eds.). (Lect. Notes Comput. Sci., vol. 385, pp. 288–300) Berlin Heidelberg New York: Springer 1989

    Article  Google Scholar 

  29. Sernadas, A., Sernadas, C., Ehrich, H.-D.: Object-oriented specification of databases: An algebraic approach. Proc. Int. Conf. on Very Large Databases. Brighton 1987, pp. 107–116

    Google Scholar 

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

    Google Scholar 

  31. Vianu, V.: Dynamic functional dependencies and database aging. J. ACM 34, 28–59 (1987)

    Article  Google Scholar 

  32. Wieringa, R., Meyer, J.-J., Weigand, H.: Specifying dynamic and deontic integrity constraints. Data Knowledge Eng. 4, 157–191 (1989)

    Article  Google Scholar 

  33. Wolper, P.: Temporal logic can be more expressive. Proc. 22th IEEE Symp. on Found. of Computer Science. Nashville, TN, 1981, pp 340–348

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informatik, Abteilung Datenbanken, Technische Universität, PF 3329, W-3300, Braunschweig, Federal Republic of Germany

    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

Additional information

K. Hülsmann’s work is sponsored by Deutsche Forschungsgemeinschaft (grant En 184/1-1)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Hülsmann, K., Saake, G. Theoretical foundations of handling large substitution sets in temporal integrity monitoring. Int J Biometeorol 36, 365–407 (1992). https://doi.org/10.1007/BF01212961

Download citation

  • Received:

  • Published:

  • Issue Date:

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

Keywords

Search

Navigation