A process model for data bases

Authors:
Jacques Guyot
Affiliations:
Centre Universitaire d'Informatique, Université de Genève, 12, rue du Lac CH-1207 Genève
Venue:
ACM SIGMOD Record
Year:
1988

Citing 2
Cited 1

Office Information Systems and Computer Science

ACM Computing Surveys (CSUR)
Petri Net Theory and the Modeling of Systems

Petri Net Theory and the Modeling of Systems

Managing business processes as an information resource

IBM Systems Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract

we present a process model for data bases, which integrates concepts of relation, process, integrity constraint, event and period. The model allows one to specify the synchronization of processes and the constraints due to consumption and production of data. In particular we present the formalization which is carried out with the Petri Nets. These are obtained by using refining primitives which keep the interpretation simple for designers. The aspects of verification and validation of the specification are also examined.