Cover Image

Multiset semantics in SPARQL, Relational Algebra and Datalog

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Angles, Renzo, Gutierrez, Claudio, Hernández, Daniel
Format:	Preprint
Published:	2026
Subjects:	Databases Logic in Computer Science 68P15, 68N17 H.2.3; F.4.1; H.2.4
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

Paraconsistent logic and query answering in inconsistent databases
by: Middelburg, C. A.
Published: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
by: Middelburg, C. A.
Published: (2023)

Modeling Concurrency Control as a Learnable Function
by: Pan, Hexiang, et al.
Published: (2025)

Modular Fault-Tolerant DBMS
by: Fot, Nikolay, et al.
Published: (2025)

Modal Logic with Relations over Paths: a Theoretical Development through Comonadic Semantics
by: Figueira, Santiago, et al.
Published: (2023)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

Hierarchical Robust PCA for Scalable Data Quality Monitoring in Multi-level Aggregation Pipelines
by: Ojha, Preetam Kumar
Published: (2025)

Fitting Ontologies and Constraints to Relational Structures
by: Hosemann, Simon, et al.
Published: (2025)

Bayesian Epistemology with Weighted Authority: A Formal Architecture for Truth-Promoting Autonomous Scientific Reasoning
by: Wright, Craig S.
Published: (2025)

Competitive Data-Structure Dynamization
by: Mathieu, Claire, et al.
Published: (2020)

Heterogeneity in Entity Matching: A Survey and Experimental Analysis
by: Moslemi, Mohammad Hossein, et al.
Published: (2025)

A novel framework for systematic propositional formula simplification based on existential graphs
by: de Mas, Jordina Francès, et al.
Published: (2024)

Adaptive Indexing for Approximate Query Processing in Exploratory Data Analysis
by: Maroulis, Stavros, et al.
Published: (2025)

CAFS: A Cache-Aware Frequency Sort for Low-Cardinality Integer Data on x86-64
by: Shlyk, Vasiliy S.
Published: (2026)

LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
by: Lyu, Ce, et al.
Published: (2025)

Topological Relational Theory: A Simplicial-Complex View of Functional Dependencies, Lossless Decomposition, and Acyclicity
by: Senturk, Bilge, et al.
Published: (2026)

An Encoding of Abstract Dialectical Frameworks into Higher-Order Logic
by: Martina, Antoine, et al.
Published: (2023)

From Unstructured Recall to Schema-Grounded Memory: Reliable AI Memory via Iterative, Schema-Aware Extraction
by: Petrov, Alex, et al.
Published: (2026)

Chase Anonymisation: Privacy-Preserving Knowledge Graphs with Logical Reasoning
by: Bellomarini, Luigi, et al.
Published: (2024)

TPTP World Infrastructure for Non-classical Logics
by: Steen, Alexander, et al.
Published: (2025)

PROV-AGENT: Unified Provenance for Tracking AI Agent Interactions in Agentic Workflows
by: Souza, Renan, et al.
Published: (2025)

Memento Filter: A Fast, Dynamic, and Robust Range Filter
by: Eslami, Navid, et al.
Published: (2024)

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
by: Alford, Matthew
Published: (2026)

Oruga: An Avatar of Representational Systems Theory
by: Raggi, Daniel, et al.
Published: (2025)

Approximate Keys and Functional Dependencies in Incomplete Databases With Limited Domains-Algorithmic Perspective
by: Al-atar, Munqath, et al.
Published: (2024)

Approximate Integrity Constraints in Incomplete Databases With Limited Domains
by: Al-atar, Munqath, et al.
Published: (2024)

Graphify: Automated Synthesis of Type-Safe Graph Backends via $O(S)$ GraphQL-to-Gremlin Transpilation
by: Graf, Johannes
Published: (2026)

Encoding argumentation frameworks with set attackers to propositional logic systems
by: Tang, Shuai, et al.
Published: (2025)

Encoding higher-order argumentation frameworks with supports to propositional logic systems
by: Tang, Shuai
Published: (2025)

Learning to Refine: An Agentic RL Approach for Iterative SPARQL Query Construction
by: Vossebeld, Floris, et al.
Published: (2025)

Structure Transfer: an Inference-Based Calculus for the Transformation of Representations
by: Raggi, Daniel, et al.
Published: (2025)

A correspondence between the time and space complexity
by: Latkin, Ivan V.
Published: (2023)

Tractable and Intractable Entailment Problems in Separation Logic with Inductively Defined Predicates
by: Echenim, Mnacho, et al.
Published: (2023)

Classification of Covering Spaces and Canonical Change of Basepoint
by: Wemmenhove, Jelle, et al.
Published: (2024)

An advanced AI driven database system
by: Tedeschi, M., et al.
Published: (2025)

A Coq-based Axiomatization of Tarski's Mereogeometry
by: Barlatier, Patrick, et al.
Published: (2025)

Visual Analytics Challenges and Trends in the Age of AI: The BigVis Community Perspective
by: Bikakis, Nikos, et al.
Published: (2025)

Topological Logics with Connectedness over Euclidean Spaces
by: Kontchakov, Roman, et al.
Published: (2011)

Which are the True Defeasible Logics?
by: Maher, Michael J.
Published: (2024)