Edward Babb

Learn More
New hardware is described which allows the rapid execution of queries demanding the joining of physically stored relations. The main feature of the hardware is a special store which can rapidly remember or recall data. This data might be pointers from one file to another, in which case the memory helps with queries on joins of files. Alternatively, the(More)
A new on-line query language and storage structure for a database machine is presented. By including a mathematical model in the interpreter the query language has been substantially simplified so that no reference to relation names is necessary. By storing the model as a single joined normal form (JNF) file, it has been possible to exploit the powerful(More)
A large knowledge based system can be considered equivalent to a large data base system; but, instead of the more usual algorithmic rules, most of the rules are expressed in the form of specifications. Such a form of expression has the considerable advantage that theorem provers can be used to detect inconsistencies between the rules. The proposed general(More)
  • 1