k-user AT lists.cs.illinois.edu

Subject: K-user mailing list

List archive

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

From: Everett Hildenbrandt <hildenb2 AT illinois.edu>
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 13:58:07 -0500
Authentication-results: illinois.edu; spf=pass smtp.mailfrom=hildenb2 AT illinois.edu

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.

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