ACM SIGMOD Anthology VLDB dblp.uni-trier.de

Logical Design of Deductive Natural Language Consultable Data Bases.

Verónica Dahl: Logical Design of Deductive Natural Language Consultable Data Bases. VLDB 1979: 24-31
@inproceedings{DBLP:conf/vldb/Dahl79,
  author    = {Ver{\'o}nica Dahl},
  editor    = {Antonio L. Furtado and
               Howard L. Morgan},
  title     = {Logical Design of Deductive Natural Language Consultable Data
               Bases},
  booktitle = {Fifth International Conference on Very Large Data Bases, October
               3-5, 1979, Rio de Janeiro, Brazil, Proceedings},
  publisher = {IEEE Computer Society},
  year      = {1979},
  pages     = {24-31},
  ee        = {db/conf/vldb/Dahl79.html},
  crossref  = {DBLP:conf/vldb/79},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Abstract

This article examines data base description problems from the point of view of logic programming, and presents an experimental deductive data base system implemented in PROLOG.

We first discuss the advantages of logic for describing data bases, in a general manner, and then its application to our particular data base system. The incidence of natural language consultation capabilities upon the system's characteristics is briefly considered, and then we formally define our concept of a data base. Next we delimit which part of a data base's description is system- controlled, and which part is defined by the user, entering into the details where the user's description is concerned. Finally, we show some examples of a data base consultation that were tested in our system.

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


ACM SIGMOD Anthology

CDROM Version: Load the CDROM "Volume 1 Issue 4, VLDB '75-'88" and ... DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...

Printed Edition

Antonio L. Furtado, Howard L. Morgan (Eds.): Fifth International Conference on Very Large Data Bases, October 3-5, 1979, Rio de Janeiro, Brazil, Proceedings. IEEE Computer Society 1979
Contents CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

References

[1]
...
[2]
E. F. Codd: A Relational Model of Data for Large Shared Data Banks. Commun. ACM 13(6): 377-387(1970) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[3]
E. F. Codd: A Database Sublanguage Founded on the Relational Calculus. SIGFIDET Workshop 1971: 35-68 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[4]
...
[5]
Keith L. Clark: Negation as Failure. Logic and Data Bases 1977: 293-322 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[6]
...
[7]
...
[8]
...
[9]
...
[10]
...
[11]
Werner Dilger, Gisela Zifonun: The Predicate Calculus-Language KS as a Query Language. Logic and Data Bases 1977: 377-408 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[12]
...
[13]
...
[14]
...
[15]
...
[16]
...
[17]
...
[18]
...
[19]
Raymond Reiter: Deductive Question-Answering on Relational Data Bases. Logic and Data Bases 1977: 149-177 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[20]
Raymond Reiter: On Closed World Data Bases. Logic and Data Bases 1977: 55-76 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[21]
John Alan Robinson: A Machine-Oriented Logic Based on the Resolution Principle. J. ACM 12(1): 23-41(1965) CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML
[22]
...
[23]
...
[24]
...
[25]
...
[26]
...

Copyright © Tue Mar 16 02:21:55 2010 by Michael Ley (ley@uni-trier.de)