diff: add link to database transactions paper

[Fergus Henderson]

Estimated hours taken: 1

w3/information/include/papers.inc:
	Uncomment the link to the database transactions paper,
	since it is relevant to the ODBC interface, not just to Aditi,
	and add some appropriate comments about it.

Index: w3/information/include/papers.inc
===================================================================
RCS file: /home/staff/zs/imp/w3/information/include/papers.inc,v
retrieving revision 1.6
diff -u -r1.6 papers.inc
--- papers.inc	1998/11/25 04:02:01	1.6
+++ papers.inc	1998/12/12 14:31:06
@@ -410,21 +410,22 @@
 
 </ul>
 
+The following paper describes the method used to express database 
+transactions and updates that is used in the Mercury ODBC database
+interface.
 <!---------- The Aditi interface is not useful yet
 --------------------------------------------------
-
-The following papers are relevant to the interface to the Aditi deductive
+The same kind of approach is also used in
+the Mercury interface to the Aditi deductive
 database system (see the "Aditi deductive database interface"
 section in Mercury Language Reference Manual listed under 
 "Implementation dependent pragmas" in the "Pragmas" chapter).
-The first describes the method used to express transactions and
-updates in Mercury. The second describes a source-to-source transformation
-implemented in the Mercury compiler.
+--------------------------------------------------
+-------------------------------------------------->
 
 <p>
 <ul>
 
-
 <li>
 <strong>
 Database transactions in a purely declarative logic programming language.
@@ -444,6 +445,15 @@
 with cover page.
 </a>
 
+</ul>
+
+<!---------- The Aditi interface is not useful yet
+--------------------------------------------------
+
+The following paper is also relevant to the Aditi interface mentioned above.
+It describes a source-to-source transformation implemented in the
+Mercury compiler.
+
 <li>
 <strong>
 Right-, left-, and multi-linear rule transformations that maintain

-- 
Fergus Henderson <fjh at cs.mu.oz.au>  |  "Binaries may die
WWW: <http://www.cs.mu.oz.au/~fjh>  |   but source code lives forever"
PGP: finger fjh at 128.250.37.3        |     -- leaked Microsoft memo.