Commit 5e418599 authored by simonpj@microsoft.com's avatar simonpj@microsoft.com

Add a pointer to the fundeps paper

parent 3c21579a
......@@ -2061,6 +2061,11 @@ something more specific does not:
op = ... -- Default
</programlisting>
</para>
<para>You can find lots of background material about the reason for these
restrictions in the paper <ulink
url="http://research.microsoft.com/%7Esimonpj/papers/fd%2Dchr/">
Understanding functional dependencies via Constraint Handling Rules</ulink>.
</para>
</sect3>
<sect3 id="undecidable-instances">
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment