diff: add link to database transactions paper

Fergus Henderson fjh at cs.mu.OZ.AU
Sun Dec 13 01:33:44 AEDT 1998

Estimated hours taken: 1

	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 @@
+The following paper describes the method used to express database 
+transactions and updates that is used in the Mercury ODBC database
 <!---------- 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.
 Database transactions in a purely declarative logic programming language.
@@ -444,6 +445,15 @@
 with cover page.
+<!---------- 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.
 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        |     -- leaked Microsoft memo.

More information about the developers mailing list