k-user AT lists.cs.illinois.edu
Subject: K-user mailing list
List archive
- From: Mike Stay <stay AT pyrofex.net>
- To: k-user <k-user AT lists.cs.illinois.edu>
- Subject: [[K-user] ] Formal semantics of databases?
- Date: Fri, 11 Aug 2017 17:12:21 -0600
- Authentication-results: illinois.edu; spf=pass smtp.mailfrom=stay AT pyrofex.net
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
- Re: [[K-user] ] Formal semantics of databases?, Mike Stay, 08/14/2017
Archive powered by MHonArc 2.6.19.