Making the Knowledge Base System More Efficient: A Method to Detect Inconsistent Queries.

@article{DBLP:journals/tkde/IllarramendiBG94,
  author    = {Arantza Illarramendi and
               Jos{\'e} Miguel Blanco and
               Alfredo Go{\~n}i},
  title     = {Making the Knowledge Base System More Efficient: A Method to
               Detect Inconsistent Queries},
  journal   = {IEEE Trans. Knowl. Data Eng.},
  volume    = {6},
  number    = {4},
  year      = {1994},
  pages     = {634-639},
  ee        = {db/journals/tkde/IllarramendiBG94.html},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

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

Joint ACM SIGMOD / IEEE Computer Society Anthology

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the CD and click on the path of your mount point:
  /Anthology/An3-3 or /cdrom

• Windows: Click the letter of your CD drive
  A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
• Mac: Click here
• UNIX/LINUX: mount the DVD and click on the path of your mount point:
  /Anthology/aDVD2 or /dvd

References

[1]

Upen S. Chakravarthy, John Grant, Jack Minker: Logic-Based Approach to Semantic Query Optimization. ACM Trans. Database Syst. 15(2): 162-207(1990) BibTeX

[2]

Matthias Jarke: External Semantic Query Simplification: A Graph-Theoretic Approach and its Implementation in Prolog. Expert Database Workshop 1984: 675-692 BibTeX

[3]

Sreekumar T. Shenoy, Z. Meral Özsoyoglu: A System for Semantic Query Optimization. SIGMOD Conference 1987: 181-195 BibTeX

[4]

Michael Hammer, Stanley B. Zdonik: Knowledge-Based Query Processing. VLDB 1980: 137-147 BibTeX

[5]

...

[6]

Shashi Shekhar, Jaideep Srivastava, Soumitra Dutta: A formal model of trade-off between optimization and execution costs in semantic query optimization. Data Knowl. Eng. 8: 131-151(1992) BibTeX

[7]

...

[8]

...

[9]

François Bry, Hendrik Decker, Rainer Manthey: A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases. EDBT 1988: 488-505 BibTeX

[10]

Jeffrey D. Ullman: Principles of Database and Knowledge-Base Systems, Volume I. Computer Science Press 1988, ISBN 0-7167-8158-1
Contents BibTeX

[11]

Mark E. Stickel: Automated Deduction by Theory Resolution. IJCAI 1985: 1181-1186 BibTeX

[12]

...

[13]

Daniel J. Rosenkrantz, Harry B. Hunt III: Processing Conjunctive Predicates and Queries. VLDB 1980: 64-72 BibTeX

[14]

Xian-He Sun, Nabil Kamel, Lionel M. Ni: Solving Implication Problems in Database Applications. SIGMOD Conference 1989: 185-192 BibTeX

Referenced by

1. Naci Ishakbeyoglu, Z. Meral Özsoyoglu: Maintenance of Implication Integrity Constraints Under Updates to Constraints. VLDB J. 7(2): 67-78(1998)