Classification as a query processing technique in the CANDIDE semantic data model

The use of classification and subsumption to process database queries is discussed. The data model, called CANDIDE, is essentially an extended version of the FL-1, KANDOR and BACK, frame-based knowledge representation languages. A novel feature of the approach is that the data-description language and data-manipulation language are identical, thus providing uniform treatment of data objects, query objects and view objects. The classification algorithm find the correct placement for a query object in a given object taxonomy. Tractability issues are explored, and the expressiveness of queries is compared with relational algebra. This data model has been implemented in POPLOG as the basis for a knowledge-base management system that includes an integrated natural-language query system.<<ETX>>

[1]  Austin Henderson,et al.  RABBIT: An Intelligent Database Assistant , 1982, AAAI.

[2]  S. Spaccapietra,et al.  An Algebra for a General Entity-Relationship Model , 1985, IEEE Transactions on Software Engineering.

[3]  Sharon C. Salveter.  Review of Conceptual structures: information processing in mind and machine by John F. Sowa. Addison-Wesley 1984. , 1986 .

[4]  Jianhua Zhu,et al.  Abstract Objects In An Object-Oriented Data Model , 1988, Expert Database Conf..

[5]  Daniel G. Bobrow,et al.  On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..

[6]  David W. Shipman,et al.  The functional data model and the data languages DAPLEX , 1981, TODS.

[7]  David W. Shipman.  The functional data model and the data language DAPLEX , 1979, SIGMOD '79.

[8]  P. Patel-Schneider.  Small can be beautiful in knowledge representation , 1984 .

[9]  David Maier,et al.  Making smalltalk a database system , 1984, SIGMOD '84.

[10]  Roger King,et al.  A Database Management System Based on an Object-Oriented Model , 1984, Expert Database Workshop.

[11]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[12]  Roger C. Schank,et al.  Inference and the Computer Understanding of Natural Language , 1973, Artif. Intell..

[13]  Stefano Spaccapietra,et al.  An entity-relationship algebra , 1984, 1984 IEEE First International Conference on Data Engineering.

[14]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[15]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[16]  Toshiaki Yoshino,et al.  KID Designing a Knowledge-Based Natural Language Interface , 1987, IEEE Expert.

[17]  Thomas Kaczmarek,et al.  Recent Developments in NIKL , 1986, AAAI.

[18]  Bernhard Nebel,et al.  Computational Complexity of Terminological Reasoning in BACK , 1988, Artif. Intell..

[19]  Peter F. Patel-Schneider,et al.  A Four-Valued Semantics for Frame-Based Description Languages , 1986, AAAI.

[20]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[21]  Lawrence M. Seiford,et al.  Recent developments in dea : the mathematical programming approach to frontier analysis , 1990 .

[22]  Carlo Zaniolo,et al.  The database language GEM , 1983, SIGMOD '83.

[23]  Robert M. MacGregor.  ARIEL - A Semantic Front-End to Relational DBMSs , 1985, VLDB.

[24]  Alberto O. Mendelzon,et al.  A graphical query language supporting recursion , 1987, SIGMOD '87.