Verification, validation, and integrity issues in expert and database systems: Two perspectives

This paper is directed at two central objectives. The rst 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 Veriication, 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 vice-versa), especially with respect to the identiied areas of overlap.

[1]  Michael Stonebraker,et al.  The Implementation of Postgres , 1990, IEEE Trans. Knowl. Data Eng..

[2]  Barry W. Boehm,et al.  Software Engineering Economics , 1993, IEEE Transactions on Software Engineering.

[3]  John W. Lloyd,et al.  The Gödel programming language , 1994 .

[4]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[5]  Frans Coenen,et al.  Verification and validation issues in expert and database systems: the expert systems perspective , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[6]  Trevor J. M. Bench-Capon,et al.  Techniques for the verification and validation of knowledge‐based systems: A survey based on the symbol/knowledge level distinction , 1995, Softw. Test. Verification Reliab..

[7]  William E. Lorensen,et al.  Object-Oriented Modeling and Design , 1991, TOOLS.

[8]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[9]  Alexander M. Fedorec,et al.  Formal Specification, Object-Oriented Design, and Implementation of an Ephemeral Logger for Database Systems , 1996, DEXA.

[10]  Allen Newell,et al.  The Knowledge Level , 1989, Artif. Intell..

[11]  Michael Stonebraker,et al.  "The Committee for Advanced DBMS Function": Third Generation Data Base System Manifesto , 1990, SIGMOD Conference.

[12]  Jack Minker,et al.  An Overview of Nonmonotonic Reasoning and Logic Programming , 1993, J. Log. Program..

[13]  Wilhelm Hasselbring,et al.  Research issues in federated database systems: report of EFDBS '97 workshop , 1997, SGMD.

[14]  Larry Kerschberg,et al.  Expert Database Systems, Proceedings From the First International Conference, Charleston, South Carolina, USA, April 1-4, 1986 , 1987 .

[15]  Allen Ginsberg.  Knowledge-Base Reduction: A New Approach to Checking knowledge Bases for Inconsistency and Redundancy , 1988, AAAI.

[16]  Luca Cardelli,et al.  On understanding types, data abstraction, and polymorphism , 1985, CSUR.

[17]  Nicolas Beldiceanu,et al.  Constraint Logic Programming , 1997 .

[18]  Bob J. Wielinga,et al.  KADS: a modelling approach to knowledge engineering , 1992 .

[19]  D. Sjøberg,et al.  Quantifying schema evolution , 1993, Inf. Softw. Technol..

[20]  Pascal Van Hentenryck.  Constraint satisfaction in logic programming , 1989, Logic programming.

[21]  A BernsteinPhilip.  Synthesizing third normal form relations from functional dependencies , 1976 .

[22]  Barry Eaglestone,et al.  An integrity constraint for database systems containing embedded neural networks , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[23]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[24]  David J. DeWitt,et al.  The Object-Oriented Database System Manifesto , 1994, Building an Object-Oriented Database System, The Story of O2.

[25]  David Jordan,et al.  The Object Database Standard: ODMG 2.0 , 1997 .

[26]  Sophie Cluet,et al.  Database Programming Languages , 1997, Lecture Notes in Computer Science.

[27]  Sunny Marche,et al.  Measuring the stability of data models , 1993 .

[28]  Liz Sonenberg,et al.  Integrity Constraint Checking in Stratified Databases , 1987, J. Log. Program..

[29]  Serge Abiteboul,et al.  Foundations of Databases , 1994 .

[30]  Carlo Zaniolo,et al.  A Unified Semantics for Active and Deductive Databases , 1993, Rules in Database Systems.

[31]  Frans Coenen.  Advanced binary encoded matrix representation for rule base verification , 1995, Knowl. Based Syst..

[32]  Tomasz Imielinski,et al.  Intelligent Query Answering in Rule Based Systems , 1988, J. Log. Program..

[33]  Pedro Meseguer,et al.  Expert system validation through knowledge base refinement , 1993, IJCAI.

[34]  StonebrakerMichael,et al.  The POSTGRES next generation database management system , 1991 .

[35]  Jennifer Widom,et al.  Behavior of database production rules: termination, confluence, and observable determinism , 1992, SIGMOD '92.

[36]  Trevor J. M. Bench-Capon,et al.  Maintenance of knowledge-based systems : theory, techniques and tools , 1993 .

[37]  David Maier,et al.  The Theory of Relational Databases , 1983 .

[38]  Ahmed K. Elmagarmid,et al.  Object-Oriented Multidatabase Systems: A Solution for Advanced Applications , 1995 .

[39]  Michael Stonebraker,et al.  The POSTGRES next generation database management system , 1991, CACM.

[40]  G.A.C.M. van Heijst,et al.  The Role of Ontologies in Knowledge Engineering , 1995 .

[41]  Michael Stonebraker,et al.  Migrating Legacy Systems: Gateways, Interfaces, and the Incremental Approach , 1995 .

[42]  Barry Eaglestone,et al.  View-Based Support for Transparent Schema Evolution in Federated Database Systems , 1998, IADT.

[43]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.

[44]  Sin Yeung Lee,et al.  Refined Termination Decision in Active Databases , 1997, DEXA.

[45]  R. A. Stachowitz,et al.  A report on the Expert Systems Validation Associate (EVA) , 1990 .