Explaining ambiguity in a formal query language

The problem of generating reasonable natural language-like responses to queries formulated in nonnavigational query languages with logical data independence is addressed. An extended ER model, the Entity-Relationship-Involvement model, is defined which assists in providing a greater degree of logical data independence and the generation of natural language explanations of a query processor's interpretation of a query. These are accomplished with the addition of the concept of an involvement to the model. Based on involvement definitions in a formally defined data definition language, DDL, an innovative strategy for generating explanations is outlined and exemplified. In the conclusion, possible extensions to the approach are given.

[1]  Dennis McLeod,et al.  Database description with SDM: a semantic database model , 1981, TODS.

[2]  Amihai Motro Constructing queries from tokens , 1986, SIGMOD '86.

[3]  Michael Stonebraker,et al.  The design and implementation of INGRES , 1976, TODS.

[4]  Sylvia L. Osborn Towards A Universal Relation Interface , 1979, Fifth International Conference on Very Large Data Bases, 1979..

[5]  Michael Stonebraker,et al.  QUEL as a data type , 1984, SIGMOD '84.

[6]  David Maier,et al.  Toward logical data independence: a relational query language without relations , 1982, SIGMOD '82.

[7]  Wolfgang Roesner,et al.  SESPATH: An ER Manipulation Language , 1985, ER.

[8]  Alberto O. Mendelzon,et al.  A Graphical Query Language for Entity-Relationship Databases , 1983, ER.

[9]  John Mylopoulos,et al.  A language facility for designing database-intensive applications , 1980, TODS.

[10]  Ronald J. Brachman,et al.  What IS-A Is and Isn't: An Analysis of Taxonomic Links in Semantic Networks , 1983, Computer.

[11]  Moshé M. Zloof Query by example , 1899 .

[12]  Gio Wiederhold,et al.  Views, Objects, and Databases , 1986, Computer.

[13]  Ronald J. Brachman,et al.  "I Lied About the Trees", Or, Defaults and Definitions in Knowledge Representation , 1985, AI Mag..

[14]  Ronald Fagin,et al.  A normal form for relational databases that is based on domains and keys , 1981, TODS.

[15]  Victor M. Markowitz,et al.  ERROL: An Entity-Relationship, Role Oriented, Query Language , 1983, ER.

[16]  David Maier,et al.  Specifying connections for a universal relation scheme database , 1982, SIGMOD '82.

[17]  Kai Hwang Computer Architectures for Image Processing: Guest Editor's Introduction , 1983, Computer.

[18]  Scott E. Fahlman,et al.  NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.

[19]  DianeC . P. Smith,et al.  Database Abstractions: Aggregation and Generalization , 1989 .

[20]  David Maier,et al.  Maximal objects and the semantics of universal relation databases , 1983, TODS.

[21]  John F. Sowa Generating language from conceptual graphs , 1983 .

[22]  J. D. Uiiman,et al.  Principles of Database Systems , 2004, PODS 2004.

[23]  Serge Abiteboul,et al.  IFO: a formal semantic database model , 1987, TODS.

[24]  Jeffrey D. Ullman,et al.  SYSTEM/U: a database system based on the universal relation assumption , 1984, TODS.

[25]  E. F. Codd,et al.  Seven Steps to Rendezvous with the Casual User , 1974, IFIP Working Conference Data Base Management.

[26]  E. F. Codd,et al.  A relational model of data for large shared data banks , 1970, CACM.

[27]  E. F. Codd,et al.  A Relational Model for Large Shared Data Banks , 1970 .

[28]  Ramez Elmasri,et al.  GORDAS: A Formal High-Level Query Language for the Entity-Relationship Model , 1981, ER.

[29]  Paul G. Sorenson,et al.  Resolving the query inference problem using Steiner trees , 1984, TODS.

[30]  Jeffrey D. Ullman,et al.  Universal Relation Interfaces for Database Systems , 1983, IFIP Congress.

[31]  John Mylopoulos,et al.  A language facility for designing interactive database-intensive applications , 1978, SIGMOD '78.

[32]  Robert F. Simmons,et al.  Generating English discourse from semantic networks , 1972, CACM.

[33]  Donald D. Chamberlin,et al.  SEQUEL 2: A Unified Approach to Data Definition, Manipulation, and Control , 1976, IBM J. Res. Dev..