Groups | Search | Server Info | Login | Register
Groups > comp.specification.z > #358
| Received | by 10.224.189.75 with SMTP id dd11mr5692523qab.6.1350221406563; Sun, 14 Oct 2012 06:30:06 -0700 (PDT) |
|---|---|
| Received | by 10.52.91.109 with SMTP id cd13mr1287998vdb.15.1350221406506; Sun, 14 Oct 2012 06:30:06 -0700 (PDT) |
| Path | csiph.com!v102.xanadu-bbs.net!xanadu-bbs.net!news.glorb.com!l8no51489627qao.0!news-out.google.com!r17ni24752519qap.0!nntp.google.com!l8no51489616qao.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail |
| Newsgroups | comp.specification.z |
| Date | Sun, 14 Oct 2012 06:30:06 -0700 (PDT) |
| In-Reply-To | <9f492a2a-d01c-4566-8aae-d33284f84514@googlegroups.com> |
| Complaints-To | groups-abuse@google.com |
| Injection-Info | glegroupsg2000goo.googlegroups.com; posting-host=2.27.127.89; posting-account=v7gx3AoAAABfjb9m5b7l_Lt2KVEgQBIe |
| NNTP-Posting-Host | 2.27.127.89 |
| References | <19ac3433-d0e6-491f-9448-bbab68b30b38@googlegroups.com> <91f99ae9-5b22-4b74-b82c-37561939e629@googlegroups.com> <9f492a2a-d01c-4566-8aae-d33284f84514@googlegroups.com> |
| User-Agent | G2/1.0 |
| MIME-Version | 1.0 |
| Message-ID | <53667848-95ec-413b-8edb-0cfbd3a8c19e@googlegroups.com> (permalink) |
| Subject | Re: How can I define a user-defined infix function? |
| From | phil.clayton@lineone.net |
| Injection-Date | Sun, 14 Oct 2012 13:30:06 +0000 |
| Content-Type | text/plain; charset=ISO-8859-1 |
| Content-Transfer-Encoding | quoted-printable |
| Xref | csiph.com comp.specification.z:358 |
Show key headers only | View raw
Glad to hear it's working! On Sunday, October 14, 2012 12:44:37 PM UTC+1, Abutalib wrote: > The above specifications are from the below paper written on how to model the relational model and integrity constraints using Z. I work with databases, so I figured the best way to learn Z, Latex, Fuzz and Z with databases all together is by rewriting the specifications for practice. If you could point me toward better sources or similar researches I would be grateful. For learning Z, I would recommend the book Using Z, freely available in electronic form: http://www.usingz.com/ In fact, there are a number of texts listed on the Wikipedia page: http://en.wikipedia.org/wiki/Z_notation#References I'm sure there are lots of database-related case studies - hopefully others can give you some references. One I do know of, relating to security levels, is described here: http://www.lemma-one.com/ProofPower/fef/fef.html (which actually uses HOL but in a Z-like way).
Back to comp.specification.z | Previous | Next — Previous in thread | Find similar
How can I define a user-defined infix function? Abutalib <abutalibsh@gmail.com> - 2012-10-13 01:24 -0700
Re: How can I define a user-defined infix function? phil.clayton@lineone.net - 2012-10-13 07:54 -0700
Re: How can I define a user-defined infix function? Abutalib <abutalibsh@gmail.com> - 2012-10-14 04:44 -0700
Re: How can I define a user-defined infix function? phil.clayton@lineone.net - 2012-10-14 06:30 -0700
csiph-web