Monus vs. Interpretations in Semiring Semantics

arXiv cs.DB2026-11-06 13:000 views

arXiv:2611.08474v1 Announce Type: new Abstract: Interpretations have been widely used in the study of provenance of queries on semiring-annotated databases. Here, we consider two different interpretation-based semantics for first-order formulas in negation normal form, namely, the canonical-interpretation semantics and the compatible-interpretation semantics. We show that the resulting query languages cannot express the monus operation on semiring-annotated relations, when the annotations come from the bag semiring or the tropical semiring or the fuzzy semiring. Consequently, the semantics of SQL cannot be captured using the interpretation-based semantics considered here.

Source：https://arxiv.org/abs/2611.08474

My favorites

PreviousCascadeFilter: Cost-Efficient Semantic Filtering with Joint Threshold Selection NextTyped Knowledge over Constructive Institutions

Build Buddy, Day 3: my slowest C# error was really a cold start

Day 3 of MLH Global Hack Week: Builders Week. I loaded every benchmark run from Build Buddy into a Tiger Data hypertable

0dev.to C#

AI Can Write the Code. Who Takes Responsibility for the System?

AI can generate a working piece of code in seconds. But getting that code to work is only one part of building reliable

0dev.to Programming

I built a MySQL practice lab on SQLite in the browser. Here is where the two disagree

I run a small free study site for CBSE Class 11 and 12 students in India. SQL is part of their syllabus, and the syllabu

0dev.to JavaScript

JSONB vs columns in PostgreSQL, measured on 2 million rows

Originally published on ImportStatic . Storing rows as a jsonb document in PostgreSQL instead of typed columns costs a l

0dev.to Database

Fix Supabase "Database error saving new user"

A new user fills in your sign-up form, clicks the button, and gets nothing. Your console shows a 500 from Supabase Auth

0dev.to Database

Stopping Black Friday Oversells: A Stock Reservation Data Model

The bug that only shows up during the sale Most checkout flows work fine on a normal Tuesday. You read the stock count,

0dev.to WebDev