Axiomatic

Zenodo (CERN European Organization for Nuclear Research) 2026 Preprint Open access

Read full text
Authors: Christopher Michael Langstaff
DOI: 10.5281/zenodo.18625747
Cited by: 0

Abstract

This document defines an axiomatic relational update system. All derived statements follow mechanically from stated axioms.

Fields of Study & Subjects

Logic programming and type systems Reasoning and Knowledge Advanced Database Systems and Queries

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
12 February 2026
Language
EN
Document type
Preprint