1. Precursor to SQL.

["System R: Relational Approach to Database Management", IBM Res Lab, San Jose, reprinted in Readings in Database Systems].

2. U Leeds. Theorem prover specification language. Pattern matching notation similar to Prolog. Compiled into Lisp.

[Proc ICJAI 13].


(03 Feb 2009)

septum spurium, septum tubae, septum, ventricular, Seque < Prev | Next > sequela, sequelae, sequence, sequence

Bookmark with: icon icon icon icon iconword visualiser Go and visit our forums Community Forums