Database technologies are indispensable for workflow management system, one of the remarkable groupware supporting asynchronous distributed cooperative work. In this paper, a formal workflow model suitable for database management, called workflow base, is proposed. A workflow is defined as a set of objects with two kinds of relationships representing flows. An execution model of the workflow model is given using production systems. We also discuss instantiation concept of workflows based on Smyth ordering and operations on workflows based on ordinary set operations.