Image de couverture de livre

Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteur principal:	Mancas, Christian
Format:	Preprint
Publié:	2026
Sujets:	Databases
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
par: Mancas, Christian, et autres
Publié: (2025)

On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
par: Mancas, Christian, et autres
Publié: (2024)

On enforcing dyadic-type homogeneous binary function product constraints in MatBase
par: Mancas, Christian
Publié: (2023)

MatBase Metadata Catalog Management
par: Mancas, Christian
Publié: (2025)

On Enforcing Existence and Non-Existence Constraints in MatBase
par: Mancas, Christian
Publié: (2024)

Translating database mathematical schemes into relational database software applications with MatBase
par: Mancas, Christian, et autres
Publié: (2026)

On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase
par: Mancas, Christian
Publié: (2024)

On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase
par: Mancas, Christian
Publié: (2024)

MatBase algorithm for translating (E)MDM schemes into E-R data models
par: Mancas, Christian, et autres
Publié: (2025)

The (Elementary) Mathematical Data Model Revisited
par: Mancas, Christian
Publié: (2024)

From (Elementary) Mathematical Data Model Schemas to Safe Blazor Web Applications with Claude AI
par: Mancas, Christian, et autres
Publié: (2026)

Semantic Reverse Engineering Legacy Software Applications with ChatGPT, Gemini AI, and Claude AI
par: Mancas, Christian, et autres
Publié: (2026)

A Data Model and Predicate Logic for Trajectory Data (Extended Version)
par: Bornholdt, Johann, et autres
Publié: (2024)

QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models -- Extended Version
par: Campos, David, et autres
Publié: (2024)

MatTools: Benchmarking Large Language Models for Materials Science Tools
par: Liu, Siyu, et autres
Publié: (2025)

Blueprinting the Cloud: Unifying and Automatically Optimizing Cloud Data Infrastructures with BRAD -- Extended Version
par: Yu, Geoffrey X., et autres
Publié: (2024)

MH-GIN: Multi-scale Heterogeneous Graph-based Imputation Network for AIS Data (Extended Version)
par: Liu, Hengyu, et autres
Publié: (2025)

Quantum Data Management in the NISQ Era: Extended Version
par: Hai, Rihan, et autres
Publié: (2024)

An Encode-then-Decompose Approach to Unsupervised Time Series Anomaly Detection on Contaminated Training Data--Extended Version
par: Zhang, Buang, et autres
Publié: (2025)

RadixGraph: A Fast, Space-Optimized Data Structure for Dynamic Graph Storage (Extended Version)
par: Xie, Haoxuan, et autres
Publié: (2026)

[Experiments \& Analysis] Hash-Based vs. Sort-Based Group-By-Aggregate: A Focused Empirical Study [Extended Version]
par: Vaghasiya, Gaurav, et autres
Publié: (2024)

An experimental study of existing tools for outlier detection and cleaning in trajectories
par: Duarte, Mariana M Garcez, et autres
Publié: (2025)

Extending Polaris to Support Transactions
par: Aguilar-Saborit, Josep, et autres
Publié: (2024)

Modeling and Monitoring of Indoor Populations using Sparse Positioning Data (Extension)
par: Li, Xiao, et autres
Publié: (2024)

Simplified integrity checking for an expressive class of denial constraints
par: Martinenghi, Davide
Publié: (2024)

K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks (Extended Version)
par: Song, Haoze, et autres
Publié: (2025)

Less is More: Efficient Time Series Dataset Condensation via Two-fold Modal Matching--Extended Version
par: Miao, Hao, et autres
Publié: (2024)

Automatic Unsupervised Ensemble Outlier Model Selection--Extended Version
par: Phan, Hong-Phuc, et autres
Publié: (2026)

On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data: Extended Version
par: Slanináková, Terézia, et autres
Publié: (2025)

The Case for DBMS Live Patching [Extended Version]
par: Fruth, Michael, et autres
Publié: (2024)

On a fractional harmonic oscillator: existence and inexistence of solution, regularity and decay properties
par: Bueno, Hamilton P., et autres
Publié: (2024)

OCPM$^2$: Extending the Process Mining Methodology for Object-Centric Event Data Extraction
par: Miri, Najmeh, et autres
Publié: (2025)

Query-Specific Pruning of RML Mappings (Extended Version)
par: Oo, Sitt Min, et autres
Publié: (2026)

CUBIT: Concurrent Updatable Bitmap Indexing (Extended Version)
par: Wang, Junchang, et autres
Publié: (2024)

Regular Expression Indexing for Log Analysis. Extended Version
par: Zhang, Ling, et autres
Publié: (2025)

An Algebraic Foundation for Knowledge Graph Construction (Extended Version)
par: Oo, Sitt Min, et autres
Publié: (2025)

LITS: An Optimized Learned Index for Strings (An Extended Version)
par: Yang, Yifan, et autres
Publié: (2024)

Fast Verification of Strong Database Isolation (Extended Version)
par: Cai, Zhiheng, et autres
Publié: (2025)

TimeBlocks: Foundational and Continual Time-Series Blockbase -- Extended Version
par: Campos, David, et autres
Publié: (2026)

Query-Guided Analysis and Mitigation of Data Verification Errors (Extended Version)
par: Schreiber, Ran, et autres
Publié: (2026)