k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Mike Stay <stay AT pyrofex.net>
To: Everett Hildenbrandt <hildenb2 AT illinois.edu>
Cc: k-user <k-user AT lists.cs.illinois.edu>
Subject: Re: [[K-user] ] Formal semantics of databases?
Date: Mon, 14 Aug 2017 14:56:42 -0600
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=stay AT pyrofex.net

That's very helpful, thanks!

On Mon, Aug 14, 2017 at 12:58 PM, Everett Hildenbrandt
<hildenb2 AT illinois.edu>
wrote:
> Hey Mike,
>
> I know of some work in Maude modeling distributed databases/key-value
> stores.
> The original K-Maude was a Maude tool which made defining programming
> languages easier (eventually K moved to it's own implementation).
>
> Here [RAMP protocols (Read-Atomic Multi-Partition) are studied in
> Maude](https://www.ideals.illinois.edu/handle/2142/96040).
>
> Also, [Cassandra DB has been modeled/analyzed in
> Maude](https://experts.illinois.edu/en/publications/formal-modeling-and-analysis-of-cassandra-in-maude).
>
> Is this what you're looking for?
> Everett H.
>
> On Fri, Aug 11, 2017 at 05:12:21PM -0600, Mike Stay 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.

--
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