Database
Monus vs. Interpretations in Semiring Semantics
arXiv cs.DB0 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.08474PreviousCascadeFilter: Cost-Efficient Semantic Filtering with Joint Threshold SelectionNextTyped Knowledge over Constructive Institutions
Related posts
Show HN: Eski – an in-memory store in Odin, measured against Redis on one core
0Hacker News New
Designing a Semantic Model for Fast, Reliable Analytics Reporting
0dev.to Data
Oracle vs PostgreSQL: Schema-Level Privileges and Access to Future Tables
0dev.to Programming
Understanding Goroutines and OS Threads in Go: Scheduling and Runtime Interactions Explained
0dev.to Go
Database Schema Drift: Why Your Docs Are Always Wrong
0dev.to Database
PostgreSQL 14 stops on November 12: test your old dumps first
0dev.to Database