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

In addition suitable contents:
[ 2 ] [ = ] [ ad ] [ ag ] [ AI ] [ al ] [ an ] [ ar ] [ as ] [ at ] [ B ] [ b ] [ ba ] [ base ] [ C ] [ ca ] [ cat ] [ ch ] [ ci ] [ cu ] [ cursor ] [ D ] [ ding ] [ ec ] [ ed ] [ ee ] [ er ] [ es ] [ fi ] [ ge ] [ gi ] [ gs ] [ gu ] [ h ] [ hing ] [ hr ] [ IBM ] [ IC ] [ il ] [ in ] [ int ] [ io ] [ is ] [ J ] [ la ] [ language ] [ Lisp ] [ M ] [ ma ] [ mil ] [ mp ] [ ms ] [ na ] [ ng ] [ no ] [ om ] [ pe ] [ pr ] [ Prolog ] [ Q ] [ QL ] [ re ] [ ro ] [ roach ] [ S ] [ sc ] [ se ] [ si ] [ so ] [ spec ] [ specification ] [ SQL ] [ st ] [ System R ] [ T ] [ tc ] [ to ] [ tp ] [ tt ] [ ua ] [ uk ] [ ve ]