This paper is directed at two central objectives. The first is to identify and establish areas of overlap between the expert and database system domains. The second is to present a view of existing and ongoing work concerning the Verification, Validation and Integrity (VV&I) of rule base and database systems. The paper combines reviews from the two perspectives of the expert systems and database systems communities, with the express aim of identifying possibilities where VV&I knowhow of the one may also be of value to the other (and viceversa) , especially with respect to the identified areas of overlap. 1 Introduction Validation, verification and integrity (VV&I) issues are of primary importance to both expert and database systems (ESs and DBSs), since they relate to the fundamental question, "does a system provide a useful solution to the problems it sets out to solve?". This paper examines these issues from two perspectives, i.e. expert systems and database systems. The aim is to i...

In August 1998 an international workshop on validation, verification and integrity issues of expert and database systems was held in Vienna in conjunction with the Ninth Conference on Database and Expert Systems Applications (DEXA'98). This paper reports on the results of this workshop and summarises the issues identified for future research in this area. Details of the presented papers and some additional information can be found at the workshop WWW site http://www.csc.liv.ac.uk/¸frans/ dexaWorkshop.html. 1 INTRODUCTION Validation, verification and integrity (VV&I) respectively concern the truthfulness of a system with respect to its problem domain, the correctness of its construction, and maintaining the validity of the evolving system throughout its life. This distinction, akin to the differences in traditional software engineering, between these three terms is neatly captured in Bohem's definitions of validation and verification [Bohem 81] and the additional definition of integrit...