{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,4,14]],"date-time":"2023-04-14T23:40:29Z","timestamp":1681515629797},"reference-count":56,"publisher":"Elsevier BV","issue":"10","license":[{"start":{"date-parts":[[1999,7,1]],"date-time":"1999-07-01T00:00:00Z","timestamp":930787200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information and Software Technology"],"published-print":{"date-parts":[[1999,7]]},"DOI":"10.1016\/s0950-5849(99)00017-8","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T23:08:17Z","timestamp":1027638497000},"page":"627-638","source":"Crossref","is-referenced-by-count":0,"title":["Using KBS verification techniques to demonstrate the existence of rule anomalies in ADBs"],"prefix":"10.1016","volume":"41","author":[{"given":"A.V.","family":"Pai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.F.","family":"Gamble","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R.T.","family":"Plant","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0950-5849(99)00017-8_BIB1","doi-asserted-by":"crossref","unstructured":"E.N. Hanson, The design and implementation of the Ariel active database rule system, Technical Report UF-CIS-018-92, Department of Computer and Information Sciences, University of Florida, 1991.","DOI":"10.21236\/ADA250443"},{"issue":"4","key":"10.1016\/S0950-5849(99)00017-8_BIB2","doi-asserted-by":"crossref","first-page":"673","DOI":"10.1142\/S0218194096000272","article-title":"Eliminating redundancy, inconsistency, and incompleteness in rule-based systems","volume":"7","author":"Gamble","year":"1996","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB3","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/S0167-9236(97)00047-X","article-title":"A survey of tools for the verification and validation of KBS\u20141985\u201395","volume":"21","author":"Murrell","year":"1997","journal-title":"Decision Support Systems"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB4","unstructured":"R.T. Plant, Validation and verification of knowledge-based systems, Workshop Notes AAAI. 1994, Seattle, WA, 1994."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB5","unstructured":"R.F. Gamble, C. Landauer, Validation and verification of knowledge-based systems, Workshop Notes IJCAI-95, Montreal, Que. Canada, 1995."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB6","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1016\/S0167-9236(97)00043-2","article-title":"Classifying and detecting anomalies in hybrid knowledge based systems","volume":"21","author":"Mukherjee","year":"1997","journal-title":"Decision Support Systems"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB7","unstructured":"D.E. O'Leary, Verification of frame and semantic network knowledge bases, AAAI-89 Workshop on Knowledge Acquisition for KBSs, 1989."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB8","doi-asserted-by":"crossref","first-page":"421","DOI":"10.1016\/0957-4174(92)90026-O","article-title":"Verifying expert systems: a logical framework and practical tool","volume":"5","author":"Preece","year":"1992","journal-title":"Expert Systems with Applications"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB9","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/BF00849196","article-title":"Expert system verification and validation: a survey and tutorial","volume":"7","author":"O'Keefe","year":"1993","journal-title":"Artificial Intelligence Review"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB10","unstructured":"J. Schmolze, A. Vermesan, Validation and verification of knowledge-based systems, Workshop Notes AAAI-96, Portland, OR, 1996."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB11","unstructured":"S. Chakravarthy, A comparative evaluation of active relational databases, Technical Report UF-CIS-TR-93-002, Department of Computer and Information Sciences, University of Florida, 1993."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB12","unstructured":"Codasyl Data Definition Language Journal of Development National Bureau of Standards Handbook 113 US Government Printing Office, (SD Catalog No c13.6\/2:113), Washington, DC, 1973."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB13","unstructured":"K.P. Eswaran, D.D. Chamberlain, Functional specifications of a subsystem for database integrity, in: Proceedings of the DM SIGMOD Conference 1992, pp. 81\u201391."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB14","doi-asserted-by":"crossref","unstructured":"U. Dayal, Active database management systems, in: Proceedings of the Conference of Data and Knowledge Bases, Jerusalem, 1988.","DOI":"10.1016\/B978-1-4832-1313-2.50019-6"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB15","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1145\/44203.44208","article-title":"The HiPAC project: combining active databases and timing constraints","volume":"17","author":"Dayal","year":"1988","journal-title":"SIGMOD Rec."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB16","doi-asserted-by":"crossref","unstructured":"N.H. Gehani, H.V. Jagadish, O. Shmueli, Event specification in an active object-oriented data base, ACM SIGMOD, 1992, pp. 81\u201390.","DOI":"10.1145\/141484.130300"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB17","series-title":"Proceedings of the 1st International Workshop on Rules in Database Systems","first-page":"23","article-title":"Events in an object-oriented database","author":"Gatziu","year":"1994"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB18","series-title":"Proceedings of the 20th International Conference on Very Large Data Bases","first-page":"606","article-title":"Composite events for active databases: semantics, contexts and detaction","author":"Chakravarthy","year":"1994"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB19","series-title":"Active Database Systems: Triggers and Rules for Active Database Processing","first-page":"151","article-title":"Active rule management in chimera","author":"Ceri","year":"1996"},{"issue":"7","key":"10.1016\/S0950-5849(99)00017-8_BIB20","doi-asserted-by":"crossref","first-page":"897","DOI":"10.1109\/32.42733","article-title":"The POSTGRES rule manager","volume":"14","author":"Stonebraker","year":"1988","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB21","doi-asserted-by":"crossref","unstructured":"M. Stonebraker, L. Rowe, M. Hirohama, The implementation of POSTGRES, IEEE Transactions on Knowledge Data Engineering, March, 1990.","DOI":"10.1109\/69.50912"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB22","series-title":"Active Rules in Database Systems, Monographs in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/978-1-4419-8656-6_11","article-title":"Ariel","author":"Hanson","year":"1999"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB23","doi-asserted-by":"crossref","unstructured":"J. Widom, S. Finkelstein, Set-oriented production rules in relational database systems, Association for Computing Machinery, 1990, pp. 259\u2013270.","DOI":"10.1145\/93597.98735"},{"issue":"1","key":"10.1016\/S0950-5849(99)00017-8_BIB24","first-page":"83","article-title":"Rule processing in active database systems","volume":"6","author":"Hanson","year":"1993","journal-title":"International Journal of Expert Systems"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB25","unstructured":"A.V. Pai, Verifying the rule processing components of active databases, MS Thesis, Department of Mathematical and Computer Sciences, University of Tulsa, 1995."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB26","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1016\/0164-1212(94)00057-T","article-title":"The design of a constraint\/rule language for an object-oriented data model","volume":"28","author":"Urban","year":"1995","journal-title":"Journal of Systems and Software"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB27","series-title":"Fundamentals of Database Systems","author":"Elmasri","year":"1989"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB28","unstructured":"Oracle, Oracle Corporation, Redwood Shores, CA 94065. Oracle 7 Server Manuals, Release 7.1, 1992."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB29","doi-asserted-by":"crossref","unstructured":"T. Coupaye, C. Collet, Denotational semantics for an active rule execution model, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995, Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_118"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB30","doi-asserted-by":"crossref","unstructured":"N.W. Paton, J. Campin, A.A.A. Fernandes, M.H. Williams, Formal specification of active database functionality: a survey, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995 Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_117"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB31","unstructured":"M.L. Brodie, Specification and verification of database semantic integrity, PhD Thesis, Department of Computer Science, University of Toronto, Toronto, 1978."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB32","article-title":"An intelligent framework for active support of database semantics","volume":"1","author":"Urban","year":"1995"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB33","series-title":"Proceedings of the Fourth International Workshop on Research Issues in Data Engineering: Active Database Systems, Houston, TX, February 1994","article-title":"Conditional term rewriting as a formal basis for analysis of active database rules","author":"Karadimce","year":"1994"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB34","doi-asserted-by":"crossref","unstructured":"R. Sturm, J.A. Mulle, P.C. Lockemann, Temporized and localized rule sets, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995 Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_124"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB35","doi-asserted-by":"crossref","unstructured":"S. Chakravarthy, A visualisation and explanation tool for debugging ECA rules in active databases, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995 Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_128"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB36","doi-asserted-by":"crossref","unstructured":"E. Benazet, H. Guehl, M. Bouzeghoub, VITAL: a visual tool for analysis of rules behaviour in active databases, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995 Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_127"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB37","doi-asserted-by":"crossref","unstructured":"O. Diaz, A. Jamie, N. Paton, Dear: a debugger for active rules in an object oriented context, in: Proceedings of the 1st International Workshop on Rules in Database Systems, 1993, pp. 180\u2013193.","DOI":"10.1007\/978-1-4471-3225-7_11"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB38","series-title":"Active Rules in Database Systems, Monographs in Computer Science","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1007\/978-1-4419-8656-6_7","article-title":"Tool support","author":"Diaz","year":"1999"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB39","doi-asserted-by":"crossref","unstructured":"T. Coupaye, C.L. Roncancio, C. Bruley, J. Larramona, 3D visualization of rule processing in active databases, in: NPIV \u201997, Proceedings of the Workshop on New Paradigms in Information Visualization and Manipulation, November 13\u201314, Las Vegas, NV, 1997, pp. 39\u201342.","DOI":"10.1145\/275519.275528"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB40","series-title":"Active Rules in Database Systems, Monographs in Computer Science","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1007\/978-1-4419-8656-6_5","article-title":"Monitoring complex rule conditions","author":"Rische","year":"1999"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB41","series-title":"Active Rules in Database Systems, Monographs in Computer Science","doi-asserted-by":"crossref","first-page":"51","DOI":"10.1007\/978-1-4419-8656-6_3","article-title":"Rule analysis","author":"Baralis","year":"1999"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB42","doi-asserted-by":"crossref","unstructured":"E. Baralis, S. Ceri, S. Paraboschi, Improved rules analysis by means of triggering and activation graphs, in: Proceedings of the Second International Workshop Rules in Database Systems \u201995 Glyfada, Athens, Greece, September 25\u201327, 1995.","DOI":"10.1007\/3-540-60365-4_126"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB43","unstructured":"N. Bidot, S. Maabout, A model theoretic approach to update rule programs, in: F. Afrati, P. Kolaitism, (Eds.), Database Theory\u2014ICDT \u201997, 6th International Conference, Delphi, Greece, January 1977, pp. 172\u2013202."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB44","unstructured":"S. Ceri, J. Widom, Deriving production rules for constraint maintenance, in: Proceedings of the 16th VLDB Conference, 1990, pp. 566\u2013577."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB45","article-title":"Integrity checking methods in deductive databases: a comparative evaluation","author":"Das","year":"1989"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB46","doi-asserted-by":"crossref","unstructured":"L.M.L. Delcambre, K.C. Davis, Automatic validation of object-oriented database structures, in: Proceedings of the Fifth International Conference on Data Engineering, Los Angeles, CA, 1989, pp. 2\u20139.","DOI":"10.1109\/ICDE.1989.47194"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB47","unstructured":"A. Karadimce, S.D. Urban, Diagnosing anomalous rule behaviour with integrity maintenance production rules, in: J. Goers, A. Heuer, G. Saake (Eds.), Proceedings of the Third Workshop on Foundations of Models and Languages for Data and Objects, Aigen, Austria, 1991, pp. 77\u2013102."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB48","unstructured":"B.B.L. Lim, A formal framework for the specification and enforcement of object centered constraints and triggers, PhD Dissertation, The Center for Advanced Computer Studies, University of Southwestern Louisiana, 1992."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB49","unstructured":"B. Martens, M. Bruynooghe, Integrity constraint checking in deductive databases using rule\/goal graph, in: Proceedings of the 2nd International Conference on Expert Database Systems, Tysons Corner, VA, 1988."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB50","unstructured":"J. Qian, G. Wiederhold, Knowledge-based integrity constraint validation, in: Proceedings of the Twelfth International Very Large Database Conference, Kyoto, Japan, 1986."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB51","unstructured":"J. Qian, G. Wiederhold, Integrity constraint reformulation for efficient validation, in: Proceedings of the Thirteenth International Very Large Database Conference, Brighton, England, 1987."},{"key":"10.1016\/S0950-5849(99)00017-8_BIB52","first-page":"156","article-title":"Constraint analysis: a tool for explaining the semantics of complex objects","volume":"334","author":"Urban","year":"1988"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB53","article-title":"Translating constraints to rules in CONTEXT: a CONstrainT Explanation Tool","author":"Urban","year":"1991"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB54","series-title":"Monographs in Computer Science","article-title":"Active rules in database systems","year":"1999"},{"key":"10.1016\/S0950-5849(99)00017-8_BIB55","unstructured":"A. Ginsberg, Knowledge-base reduction: a new approach to checking knowledge bases for inconsistency and redundancy, in: Proceedings of the 7th National Conference on Artificial Intelligence: AAAI 88, vol. 2, 1988, pp. 585\u2013589."},{"issue":"3","key":"10.1016\/S0950-5849(99)00017-8_BIB56","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0957-4174(90)90003-D","article-title":"A report on the expert systems validation associate (EVA)","volume":"1","author":"Chang","year":"1990","journal-title":"Expert Systems with Applications (US)"}],"container-title":["Information and Software Technology"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000178?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0950584999000178?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2023,4,14]],"date-time":"2023-04-14T23:13:50Z","timestamp":1681514030000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0950584999000178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999,7]]},"references-count":56,"journal-issue":{"issue":"10","published-print":{"date-parts":[[1999,7]]}},"alternative-id":["S0950584999000178"],"URL":"https:\/\/doi.org\/10.1016\/s0950-5849(99)00017-8","relation":{},"ISSN":["0950-5849"],"issn-type":[{"value":"0950-5849","type":"print"}],"subject":[],"published":{"date-parts":[[1999,7]]}}}