Efficient Deduction and Induction: Key to the Success of Data-Intensive Knowledge-Base Systems

The development of powerful and efficient deduction and induction mechanisms is the key to the success of Very Large Knowledge-Base systems (VLKBs). Based on our study, we propose (1) an efficient deduction method which applies query-independent compilation and set-oriented, chain-based evaluation in deductive databases, and (2) an efficient attribute-oriented induction method for knowledge discovery in databases. A large knowledge-base system should support both mechanisms and their integration.

[1]  John R. Anderson,et al.  MACHINE LEARNING An Artificial Intelligence Approach , 2009 .

[2]  William Frawley,et al.  Knowledge Discovery in Databases , 1991 .

[3]  Shamim A. Naqvi,et al.  A Logical Language for Data and Knowledge Bases , 1989 .

[4]  Ryszard S. Michalski,et al.  A Theory and Methodology of Inductive Learning , 1983, Artificial Intelligence.

[5]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[6]  Jeffrey D. Ullman,et al.  Principles Of Database And Knowledge-Base Systems , 1979 .

[7]  Jan M. Zytkow,et al.  Interactive Mining of Regularities in Databases , 1991, Knowledge Discovery in Databases.

[8]  J.-W. Han,et al.  Deductive-ER: deductive entity-relationship data model and its data language , 1992, Inf. Softw. Technol..

[9]  Jiawei Han,et al.  Automatic generation of compiled forms for linear recursions , 1992, Inf. Syst..

[10]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[11]  Kenneth A. Ross,et al.  The well-founded semantics for general logic programs , 1991, JACM.

[12]  John Grant,et al.  Logic-based approach to semantic query optimization , 1990, TODS.

[13]  Jiawei Han,et al.  Compilation-Based List Processing in Deductive Databases , 1992, EDBT.

[14]  Jiawei Han,et al.  Knowledge Discovery in Databases: An Attribute-Oriented Approach , 1992, VLDB.

[15]  Douglas H. Fisher,et al.  Improving Inference through Conceptual Clustering , 1987, AAAI.

[16]  Jiawei Han,et al.  Asynchronous Chain Recursions , 1989, IEEE Trans. Knowl. Data Eng..

[17]  Jiawei Han,et al.  Multi-way counting method , 1989, Inf. Syst..

[18]  Hamid Pirahesh,et al.  Extensions to Starburst: objects, types, functions, and rules , 1991, CACM.

[19]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[20]  Shalom Tsur,et al.  Deductive databases in action , 1991, PODS '91.

[21]  Jeffrey D. Ullman,et al.  Principles of Database Systems , 1980 .

[22]  Jeffrey D. Ullman,et al.  A Comparison between Deductive and Object-Oriented Database Systems , 1991, DOOD.

[23]  Laks V. S. Lakshmanan,et al.  On semantic query optimization in deductive databases , 1992, [1992] Eighth International Conference on Data Engineering.

[24]  Michael Stonebraker,et al.  Database systems: achievements and opportunities , 1991, CACM.

[25]  Jiawei Han,et al.  Attribute-Oriented Induction in Relational Databases , 1991, Knowledge Discovery in Databases.

[26]  Carlo Zaniolo,et al.  Optimization in a Logic Based Language for Knowledge and Data Intensive Applications , 1988, EDBT.

[27]  Carlo Zaniolo.  Object Identity and Inheritance in Deductive Databases - an Evolutionary Approach , 1989, DOOD.

[28]  Thomas G. Dietterich,et al.  A Comparative Review of Selected Methods for Learning from Examples , 1983 .