Sequel




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].

(ftp://agora.leeds.ac.uk



< Previous Terms Terms Containing Sequel Next Terms >
SE-ODP
SEP
SEPIA
SEPP
Seque
 ADM
HAL
IDMS
Office By Example
-oid
 Sequenced Packet Exchange
sequencer
Sequent
sequential coding
sequential file matching