Cover Image

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Alford, Matthew
Format:	Preprint
Published:	2026
Subjects:	Databases Artificial Intelligence H.2.1; H.2.4; F.4.1
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The temporal conceptual data modelling language TREND
by: Berman, Sonia, et al.
Published: (2024)

DataJoint 2.0: A Computational Substrate for Agentic Scientific Workflows
by: Yatsenko, Dimitri, et al.
Published: (2026)

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)

PuckTrick: A Library for Making Synthetic Data More Realistic
by: Agostini, Alessandra, et al.
Published: (2025)

Semijoins of Annotated Relations
by: Kolaitis, Phokion G.
Published: (2026)

Modeling Fairness in Recruitment AI via Information Flow
by: Brännström, Mattias, et al.
Published: (2025)

Deep Research is the New Analytics System: Towards Building the Runtime for AI-Driven Analytics
by: Russo, Matthew, et al.
Published: (2025)

No AI Without PI! Object-Centric Process Mining as the Enabler for Generative, Predictive, and Prescriptive Artificial Intelligence
by: van der Aalst, Wil M. P.
Published: (2025)

GraphAr: An Efficient Storage Scheme for Graph Data in Data Lakes
by: Li, Xue, et al.
Published: (2023)

Counting Solutions to Conjunctive Queries: Structural and Hybrid Tractability
by: Chen, Hubie, et al.
Published: (2023)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

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

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

GaussDB-Global: A Geographically Distributed Database System
by: Memarzia, Puya, et al.
Published: (2025)

gUFO: A Gentle Foundational Ontology for Semantic Web Knowledge Graphs
by: Almeida, João Paulo A., et al.
Published: (2026)

Samyama: A Unified Graph-Vector Database with In-Database Optimization, Agentic Enrichment, and Hardware Acceleration
by: Mandarapu, Madhulatha, et al.
Published: (2026)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Argumentation and Machine Learning
by: Rago, Antonio, et al.
Published: (2024)

Partial Adaptive Indexing for Approximate Query Answering
by: Maroulis, Stavros, et al.
Published: (2024)

Near Data Processing in Taurus Database
by: Lin, Shu, et al.
Published: (2025)

Automated Database Indexing using Model-free Reinforcement Learning
by: Licks, Gabriel Paludo, et al.
Published: (2020)

Routing End User Queries to Enterprise Databases
by: Sudarshan, Saikrishna, et al.
Published: (2026)

Gypscie: A Cross-Platform AI Artifact Management System
by: Porto, Fabio, et al.
Published: (2026)

Towards Selecting the Informative Alternative Relational Query Plans for Database Education
by: Wang, Hu, et al.
Published: (2022)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data
by: Bian, Christopher, et al.
Published: (2024)

Abacus: A Cost-Based Optimizer for Semantic Operator Systems
by: Russo, Matthew, et al.
Published: (2025)

SAM: A Stability-Aware Cache Manager for Multi-Tenant Embedded Databases
by: Zhang, Haoran, et al.
Published: (2025)

Bala-Join: An Adaptive Hash Join for Balancing Communication and Computation in Geo-Distributed SQL Databases
by: Song, Wenlong, et al.
Published: (2026)

A Field Guide to Decision Making
by: Arthur, Richard B.
Published: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Inverse-Free Wilson Loops for Transformers: A Practical Diagnostic for Invariance and Order Sensitivity
by: Chang, Edward Y., et al.
Published: (2025)