• 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
    12
  • 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