A Database Environment for Workflow Specification and Execution