Acta Informatica

, Volume 28, Issue 4, pp 365–407 | Cite as

Theoretical foundations of handling large substitution sets in temporal integrity monitoring

  • K. Hülsmann
  • G. Saake


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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BeBC80]
    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. [Ch76]
    Chamberlin, D.D. et al.: SEQUEL 2: A unified approach to data definition, manipulation and control. IBM J. Res. Dev.20, 560–576 (1976)Google Scholar
  3. [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 (Meersmann, R.A. et al., eds.), pp. 119–135 Amsterdam: North Holland 1988Google Scholar
  4. [EHHLE89]
    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: PitmanGoogle Scholar
  5. [ELG84]
    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–308Google Scholar
  6. [EsC75]
    Eswaran, K.P., Chamberlin, D.D.: Functional specification of subsystem for database integrity. Proc. Int. Conf on Very Large Databases 1975, pp. 48–68Google Scholar
  7. [FiS88]
    Fiadeiro, J., Sernadas, A.: Specification and verification of database dynamics. Acta Inf25 (6), 625–661 (1988)Google Scholar
  8. [GaM79]
    Gardarin, G., Melkanoff, M.: Proving consistency of database transactions. Proc. Int. Conf. on Very Large Databases. Rio de Janeiro 1979, pp. 291–299Google Scholar
  9. [HsI85]
    Hsu, A., Imielinsky, T.: Integrity checking for multiple updates. SIGMOD 1985, 152–168Google Scholar
  10. [Hü88]
    Hülsmann, K.: Design of a system for monitoring dynamic integrity constraints. (in German) Diploma Thesis, TU Braunschweig 1988Google Scholar
  11. [HüS90]
    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–393Google Scholar
  12. [KhC86]
    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. 37–46. San Mateo: Morgan Kaufman 1989Google Scholar
  13. [Kr87]
    Kröger, F.: Temporal logic of programs. Berlin Heidelberg New York: Springer 1987Google Scholar
  14. [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 (Sernadas, A. et al., eds.), pp. 145–157 Amsterdam: North-Holland 1985Google Scholar
  15. [Li86]
    Lipeck, U.W.: Stepwise specification of dynamic database behaviour. Proc. ACM SIGMOD 387–397 (1986)Google Scholar
  16. [Li88]
    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 1988Google Scholar
  17. [Li89]
    Lipeck, U.W.: Dynamic integrity of databases. Foundations of specification and supervision. (in German). Berlin Heidelberg New York: Springer 1989Google Scholar
  18. [LiF88]
    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 1989Google Scholar
  19. [LiS87]
    Lipeck, U.W., Saake, G.: Monitoring dynamic integrity constraints based on temporal logic. Informat Systems12, 255–269 (1987)Google Scholar
  20. [MaP81]
    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. [MaW84]
    Manna, Z., Wolper, P.: Synthesis of communicating processes from temporal logic specifications. ACM Trans Program. Lang. Syst6, 68–93 (1984)Google Scholar
  22. [Ni82]
    Nicolas, J.-M.: Logic for improving integrity checking in relational data bases. Acta Inf.18, 227–253 (1982)Google Scholar
  23. [NiY78]
    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 1978Google Scholar
  24. [Sa88]
    Saake, G.: Specifikation, semantics and monitoring of object life cycles in databases. Doctoral Thesis (in German). Informatik-Skript Nr. 20, TU Braunschweig 1988Google Scholar
  25. [Sa89]
    Saake, G.: On first order temporal logics with changing domains for information system specification. Informatik-Bericht TU Braunschweig Nr. 89-01, 1989Google Scholar
  26. [Sa90]
    Saake, G.: Descriptive specification of database object behaviour. Data Knowledge Eng. in print.Google Scholar
  27. [SaL87]
    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 1988Google Scholar
  28. [SaL89]
    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 Büning, H., Richter, M.M. eds.) (Lect. Notes Comput. Sci., vol. 385, pp. 288–300) Berlin Heidelberg New York: Springer 1989Google Scholar
  29. [SSE87]
    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–116Google Scholar
  30. [Vi83]
    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–399Google Scholar
  31. [Vi87]
    Vianu, V.: Dynamic functional dependencies and database aging. J. ACM34, 28–59 (1987)Google Scholar
  32. [WMW89]
    Wieringa, R., Meyer, J.-J., Weigand, H.: Specifying dynamic and deontic integrity constraints. Data Knowledge Eng.4, 157–191 (1989)Google Scholar
  33. [Wo81]
    Wolper, P.: Temporal logic can be more expressive. Proc. 22th IEEE Symp. on Found. of Computer Science. Nashville, TN, 1981, pp 340–348Google Scholar

Copyright information

© Springer-Verlag 1991

Authors and Affiliations

  • K. Hülsmann
    • 1
  • G. Saake
    • 1
  1. 1.Informatik, Abteilung DatenbankenTechnische UniversitätBraunschweigGermany

Personalised recommendations