مرکز منطقه ای اطلاع رساني علوم و فناوري - Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs

Title of article :

Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs

Author/Authors :

A. V. Pai، نويسنده , , R. F. Gamble، نويسنده , , R. T. Plant، نويسنده ,

Issue Information :

ماهنامه با شماره پیاپی سال 1999

Pages :

From page :

627

To page :

638

Keywords :

Active databases , Knowledge-based systems , Rule verification

Journal title :

Information and Software Technology

Serial Year :

1999

Journal title :

Information and Software Technology

Record number :

134636

Link To Document :