Descriptive specification of database object behaviour

This publication has 11 references indexed in Scilit:

• Design of engineering databases: A case for more varied semantic modelling concepts
  Information Systems, 1988
• Modeling and analysis of the behavior of information systems
  IEEE Transactions on Software Engineering, 1988
• Specification and verification of database dynamics
  Acta Informatica, 1988
• Monitoring dynamic integrity constraints based on temporal logic
  Information Systems, 1987
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Modeling concepts for VLSI CAD objects
  ACM Transactions on Database Systems, 1985
• Towards multi-level and modular conceptual schema specifications
  Information Systems, 1984
• Synthesis of Communicating Processes from Temporal Logic Specifications
  ACM Transactions on Programming Languages and Systems, 1984
• Temporal aspects of logical procedure definition
  Information Systems, 1980
• SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control
  IBM Journal of Research and Development, 1976