Last update: Sat Jan 6 02:03:49 MST 2018
@Article{Small:1988:IES, author = "Carol Small", title = "The implementation of the {Exegesis} system", journal = j-COMP-J, volume = "31", number = "2", pages = "125--132", month = apr, year = "1988", CODEN = "CMPJA6", DOI = "https://doi.org/10.1093/comjnl/31.2.125", ISSN = "0010-4620 (print), 1460-2067 (electronic)", ISSN-L = "0010-4620", bibdate = "Tue Dec 4 14:48:24 MST 2012", bibsource = "Compendex database; http://comjnl.oxfordjournals.org/content/31/2.toc; http://www.math.utah.edu/pub/tex/bib/compj1980.bib; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/", URL = "http://comjnl.oxfordjournals.org/content/31/2/125.full.pdf+html; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/125.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/126.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/127.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/128.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/129.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/130.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/131.tif; http://www3.oup.co.uk/computer_journal/hdb/Volume_31/Issue_02/tiff/132.tif", acknowledgement = ack-nhfb, affiliation = "Univ of London, London, Engl", affiliationaddress = "Univ of London, London, Engl", classcodes = "C6160D (Relational DBMS); C6170 (Expert systems)", classification = "723", corpsource = "Birkbeck Coll., London Univ., UK", fjournal = "The Computer Journal", journal-URL = "http://comjnl.oxfordjournals.org/", keywords = "constraint enforcement; database; database systems; deduction; deduction rules; deductive component; Exegesis; exegesis syntax; exegesis system; expert systems; integrity constrains; integrity constraints; Relational; relational; relational databases; syntax", treatment = "P Practical", }