Transformation of dynamic integrity constraints into transaction specifications

1. Advances in Database Theory, Vol. II (H.Gallaire et al., eds.), Plenum Press, 1984

   Google Scholar 

2. Brodie,M.L./Mylopoulos,J./Schmidt,J.W(eds.): On Conceptual Modelling. Springer, 1984

   Google Scholar 

3. Castilho,J.M.V.de/ Casanova,M.A./ Furtado,A.L.: A Temporal Framework for Database Specifications. VLDB 1982, 280–291

   Google Scholar 

4. Casanova,M.A./Furtado,A.L.: On the Description of Database Transition Constraints Using Temporal Languages. In [ADBT84], 211–236

   Google Scholar 

5. Carmo,J./Sernadas,A.: A Temporal Logic Framework for a Layered Approach to Systems Specification and Verification In: [TAIS87], 31–46

   Google Scholar 

6. Casanova,M.A./Veloso,P.A.S./Furtado,A.L.: Formal Database Specification — An Eclectic Perspective. PODS 1984, 110–118

   Google Scholar 

7. Feng,D.S./ Lipeck,U.W.: Monitoring Temporal Formulae Deterministically (in German). Informatik-Bericht Nr. 87-06, Techn. Univ. Braunschweig 1987

   Google Scholar 

8. Fiadeiro, J./Sernadas, A.: The INFOLOG Linear Tense Propositional Logic of Events and Transactions. Information Systems 11 (1986), 61–85

   Google Scholar 

9. Furtado, A.L./Santos, C.S.dos/Castilho, J.M.V.de: Dynamic Modelling of a Simple Existence Constraint. Information Systems 6 (1981), 73–80

   Google Scholar 

10. Gardarin,G./Melkanoff,M.: Proving Consistency of Database Transactions. VLDB 1979, 291–298

    Google Scholar 

11. Henschen,L.J./McCune,W.W./Naqvi,S.A.: Compiling Constraint Checking Programs from First-Order Formulas. In: [ADBT84], 145–169

    Google Scholar 

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

    Google Scholar 

13. Lipeck,U.W.: Stepwise Specification of Dynamic Database Behaviour. SIGMOD 1986, 387–397

    Google Scholar 

14. Lipeck,U.W.: On Dynamic Integrity of Databases: Fundamentals of Specification and Monitoring (in German). Habilitation Thesis, Informatics, Techn. Univ. Braunschweig, 1987

    Google Scholar 

15. Lipeck,U.W./Ehrich,H.-D./Gogolla,M.: Specifying Admissibility of Dynamic Database Behaviour Using Temporal Logic. In: [TFAIS85], 145–157

    Google Scholar 

16. Lipeck, U.W./Saake, G.: Monitoring Dynamic Integrity Constraints Based on Temporal Logic. Information Systems 12 (1987), 255–269

    Google Scholar 

17. Manna, Z./Wolper, P.: Synthesis of Communicating Processes from Temporal Logic Specifications. ACM TOPLAS 6 (1984), 68–93

    Google Scholar 

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

    Google Scholar 

19. Saake,G./Lipeck,U.W.: Foundations of Temporal Integrity Monitoring. In: [TAIS87], 235–249

    Google Scholar 

20. Sernadas, A.: Temporal Aspects of Logical Procedure Definition. Inf.Systems 5(1980), 167–187

    Google Scholar 

21. Sheard,T./Stemple,D.: Coping with Complexity in Automated Reasoning about Database Systems. VLDB 1985, 426–435

    Google Scholar 

22. Stemple,D./Sheard,T.: Specification and Verification of Abstract Database Types. PODS 1984, 248–257

    Google Scholar 

23. Proc. IFIP Work. Conf. on Temporal Aspects in Information Systems 1987 (C.Rolland et al., eds.), North-Holland, Amsterdam 1988

    Google Scholar 

24. Proc. IFIP Work. Conf. on Theoretical and Formal Aspects of Information Systems (A.Sernadas et al., eds.), North-Holland, Amsterdam 1985

    Google Scholar 

25. Veloso,P.A.S./Castilho,J.M.V.de/Furtado,A.L.: Systematic Derivation of Complementary Specifications. VLDB 1981, 409–421

    Google Scholar 

26. Veloso,P.A.S./Furtado,A.L.: Towards Simpler and Yet Complete Formal Specifications. In: [TFAIS85], 175–189

    Google Scholar 

27. Walker,A./Salveter,S.C.: Automatic Modification of Transactions to Preserve Data Base Integrity. Techn.Report 81/026, Comp. Science, State Univ. of New York, Stony Brook 1981

    Google Scholar 

28. Wolper, P.: Temporal Logic Can Be More Expressive. Inform.and Control 56 (1983), 72–99

    Google Scholar 

Download references