Research into the Design and Implementation of Knowledge-Base System.

摘要

A working prototype of the NAIL system was implemented. This system extends SQL, providing a general purpose computing capability. The two elements of NAIL consist of GLUE, a logical rule formulation of SQL, and NAIL, a declarative language which generates GLUE code. Applications have been demonstrated that implement a building construction schedule and a VLSI CAD logic simulator. Various query optimization algorithms have been studied and implemented in NAIL.