Research into the Design and Implementation of Knowledge Base Systems

Abstract

The general goal of the work has been to develop the techniques needed to process queries, expressed as logic programs, efficiently. A system called NAIL was developed, bu mid-1989, to test out our ideas. It was fully declarative, which we found an interesting challenge, and its implementation exposed a number of issues that lead to important new ideas and research. However, the full declarativeness proved too much of a burden in writing some applications that we hoped would be facilitated by a logic/database language, and NAIL was abandoned in favor of a new language, called GLUE, that is logical, but that allows for controlled-flow, sets as data values, aggregation operators such as sums of average. NAIL now serves as the view facility for GLUE, and we are in the process of writing a NAIL-to-GLUE translator that will offer both nondeclarative capabilities of GLUE and the declarative capabilities of NAIL, whichever is more appropriate in a given situation. (Author)

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jul 31, 1990
Accession Number
ADA228873

Entities

People

  • Jeffrey D. Ullman

Organizations

  • Stanford University

Tags

Communities of Interest

  • Materials and Manufacturing Processes

DTIC Thesaurus Topics

  • Algorithms
  • Buildings And Structures
  • Computer Programs
  • Computer Science
  • Database Management Systems
  • Databases
  • Language
  • Motivation
  • Optimization
  • Polynomials
  • Semantics
  • Standards
  • Test And Evaluation
  • Translations
  • Translators

Readers

  • Database Systems and Applications
  • Forest Ecology
  • Systems Analysis and Design