k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

Re: [[K-user] ] Formal semantics of databases?

From: Zans Mihejevs <zans.lancs AT googlemail.com>
To: Mike Stay <stay AT pyrofex.net>
Cc: k-user <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Formal semantics of databases?
Date: Mon, 14 Aug 2017 16:13:31 +0100
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=zans.lancs AT googlemail.com

I'm quite interested in this as well!

On 12 August 2017 at 00:12, Mike Stay <stay AT pyrofex.net> wrote:

Are there any projects (k or related) that capture the operational
semantics of databases? I'm particularly interested in lightningdb
and mongo.
--
Mike Stay
CTO, Pyrofex Corp.

[[K-user] ] Formal semantics of databases?, Mike Stay, 08/11/2017
- Re: [[K-user] ] Formal semantics of databases?, Zans Mihejevs, 08/14/2017
- Re: [[K-user] ] Formal semantics of databases?, Everett Hildenbrandt, 08/14/2017
  - Re: [[K-user] ] Formal semantics of databases?, Mike Stay, 08/14/2017
    - Re: [[K-user] ] Formal semantics of databases?, Zans Mihejevs, 08/15/2017