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