News for hackers. Stuff that matters.

A comment on Conformance Checking at MongoDB: Testing That Our Code Matches Our TLA+ Specs. Parent comment

Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by elcritch on Tuesday June 03, 2025 @12:10PM (#44171591)
My main concern would be with querying. What is querying like in modern mongodb, or scylladb? I've seen couchbase ads showing a superset of sql, etc. Last I recall Mongo had a weird query system.
[ Parent | on HN ]
Re:Conformance Checking at MongoDB: Testing That Our Code Ma... by senderista on Tuesday June 03, 2025 @01:21PM (#44172359)
Basically it requires you to write the query plan yourself, which IMO is not a bad idea for an OLTP system.
[ Parent | on HN ]