Data Models as Constraint Systems

Dear All,

I apologize for being late in the writing of the notes that I had promised
expanding on those I had written [1] re: the use of CLP for abstracting data
models over definite clauses [2]. As it turns out, these notes are evolving
into a journal paper (at the invitation of the CP'06 "Next 10 years of CP"
Workshop organizers). Now this has entailed not only more formal writing,
but also much more more work in [re-]reading and [re-]checking  details in
a whole set of references. I am about 80% done now and I will complete the
invited paper draft by the CP'06 invitation's deadline (Dec 20), and I will
make it available to this group if still relevant. I know that Christian and
others are hot on seeing details of what I mean before a clear proposal is
written up in this direction - if any will at all, and it is only fair. I
must also admit that I had been unaware of the "now of never" deadline for
mid-december that CSMA stressed last week. My mistake, I guess. Anyways,
the current draft is the best I can provide at this point. It gives the
gist of the message I think quite clearly. It still misses some technical
details, references, and many examples, and perhaps some graph diagrams -
especially in the parts of interest to this WG (namely object constraints).
Be that as it may, it is available in its current form for downloads (see
[3] - look for "main.pdf: Data Models as Constraint Systems (DRAFT)"). Any
comments in the form and contents of the draft are of course most welcome
and, should any result in substantial emendation of the presentation, help
will be duly acknowledged.

Again, my apologies for the late and laborious delivery.

Thank you very much.

-hak

References.

[1] 
http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation?action=AttachFile&do=get&target=clp-summary.pdf
[2] http://www.w3.org/2005/rules/wg/wiki/B.1.1_CLP_Formulation
[3] http://koala.ilog.fr/wiki/bin/view/Main/HassanAitKaci
-- 
Hassan Aït-Kaci
ILOG, Inc. - Product Division R&D
tel/fax: +1 (604) 930-5603 - email: hak @ ilog . com

Received on Tuesday, 12 December 2006 02:53:41 UTC