dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

Rule-Based Consistency Enforcement for Knowledge-Based Systems.

Christoph F. Eick, Paul Werstein: Rule-Based Consistency Enforcement for Knowledge-Based Systems. IEEE Trans. Knowl. Data Eng. 5(1): 52-64(1993)
@article{DBLP:journals/tkde/EickW93,
  author    = {Christoph F. Eick and
               Paul Werstein},
  title     = {Rule-Based Consistency Enforcement for Knowledge-Based Systems},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {5},
  number    = {1},
  year      = {1993},
  pages     = {52-64},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/69.204091},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

A rule-based approach for the automatic enforcement of consistency constraints is presented. In contrast to existing approaches that compile consistency checks into application programs, our approach centralizes consistency enforcement in a separate module called knowledge base management system. Exception handlers for constraint violations are represented as rule entities in the knowledge base. For this purpose a new form of production rule called activation pattern controlled rule is introduced: in contrast to classical forward chaining schemes, activation pattern controlled rules are triggered by the intent to apply a specific operation but not necessarily by the result of applying this operation. Techniques for implementing this approach are discussed, and experiments in speeding up the system performance are described. Furthermore, the paper argues for more tolerant consistency enforcement strategies and discusses how they can be integrated into our rule-based approach to consistency enforcement.

Copyright © 1993 by The Institute of Electrical and Electronic Engineers, Inc. (IEEE). Abstract used with permission.


Joint ACM SIGMOD / IEEE Computer Society Anthology

CDROM Version: Load the CDROM "Volume 3 Issue 3, TKDE 1993-1995" and ... DVD Version: Load ACM SIGMOD Anthology DVD 2" and ...

References

[1]
Dushan Z. Badal, Gerald J. Popek: Cost and Performance Analysis of Semantic Integrity Validation Methods. SIGMOD Conference 1979: 109-115 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[2]
Philip A. Bernstein, Barbara T. Blaustein: Fast Methods for Testing Quantified Relational Calculus Assertions. SIGMOD Conference 1982: 39-50 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
Alexander Borgida: Language Features for Flexible Handling of Exceptions in Information Systems. ACM Trans. Database Syst. 10(4): 565-603(1985) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
Michael L. Brodie, Robert Balzer, Gio Wiederhold, Ronald J. Brachman, John Mylopoulos: Knowledge Base Management Systems: Discussions from the Working Group. Expert Database Workshop 1984: 19-33 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[5]
...
[6]
Peter Buneman, Eric K. Clemons: Efficient Monitoring Relational Databases. ACM Trans. Database Syst. 4(3): 368-382(1979) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[7]
Donald Cohen: Compiling Complex Database Transition Triggers. SIGMOD Conference 1989: 225-234 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[8]
...
[9]
Johan de Kleer: An Assumption-Based TMS. Artif. Intell. 28(2): 127-162(1986) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[10]
Hendrik Decker: Integrity Enforcement on Deductive Databases. Expert Database Conf. 1986: 381-395 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[11]
Christoph F. Eick, R. Kochhar, S. Kumar: DALI - a Knowledge Base Management System. IEA/AIE (Vol. 2) 1988: 837-846 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
Christoph F. Eick, Thomas Raupp: Toward a Formal Semantics and Inference Rules for Conceptual Data Models. Data Knowl. Eng. 6: 297-317(1991) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[13]
...
[14]
Robert E. Filman: Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment. Commun. ACM 31(4): 382-401(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[15]
Charles Forgy: Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem. Artif. Intell. 19(1): 17-37(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[16]
Anoop Gupta, Charles Forgy, Allen Newell: High-Speed Implementations of Rule-Based Systems. ACM Trans. Comput. Syst. 7(2): 119-146(1989) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[17]
Lawrence J. Henschen, William McCune, Shamim A. Naqvi: Compiling Constraint-Checking Programs from First-Order Formulas. Advances in Data Base Theory 1982: 145-169 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[18]
Arding Hsu, Tomasz Imielinski: Integrity Checking for Multiple Updates. SIGMOD Conference 1985: 152-168 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[19]
...
[20]
...
[21]
Isamu Kobayashi: Validating database updates. Inf. Syst. 9(1): 1-17(1984) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
...
[23]
Robert A. Kowalski, Fariba Sadri, Paul Soper: Integrity Checking in Deductive Databases. VLDB 1987: 61-69 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[24]
Gilles M. E. Lafue: Semantic Integrity Dependencies and Delayed Integrity Checking. VLDB 1982: 292-299 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[25]
...
[26]
Tok Wang Ling: Integrity Constraint Checking in Deductive Databases Using the Prolog Not-Predicate. Data Knowl. Eng. 2: 145-168(1987) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[27]
...
[28]
Bern Martens, Maurice Bruynooghe: Integrity Constraint Checking in Deductive Databases Using a Rule/Goal Graph. Expert Database Conf. 1988: 567-601 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[29]
Daniel P. Miranker: TREAT: A Better Match Algorithm for AI Production System Matching. AAAI 1987: 42-47 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[30]
Jean-Marie Nicolas: Logic for Improving Integrity Checking in Relational Data Bases. Acta Inf. 18: 227-253(1982) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[31]
Xiaolei Qian, Gio Wiederhold: Knowledge-based Integrity Constraint Validation. VLDB 1986: 3-12 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[32]
...
[33]
Michael Stonebraker: Implementation of Integrity Constraints and Views by Query Modification. SIGMOD Conference 1975: 65-78 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[34]
Michael Stonebraker, Lawrence A. Rowe: The Design of Postgres. SIGMOD Conference 1986: 340-355 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[35]
Michael Stonebraker, Eric N. Hanson, Spyros Potamianos: The POSTGRES Rule Manager. IEEE Trans. Software Eng. 14(7): 897-907(1988) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[36]
Joseph A. Wald: Implementing Constraints in a Knowledge Base. Expert Database Conf. 1988: 163-183 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[37]
...

Last update Fri Sep 14 18:25:59 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page