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/scs/logic/.
Nearby terms:
SEPIA « SEPP « Seque « Sequel » Sequenced
Packet Exchange » sequencer » Sequent
|