Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence
Fuente:
arXiv
Enregistré dans:
| Auteur principal: | Mancas, Christian |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| 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)
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)
par: Mancas, Christian, et autres
Publié: (2024)
On enforcing dyadic-type homogeneous binary function product constraints in MatBase
par: Mancas, Christian
Publié: (2023)
par: Mancas, Christian
Publié: (2023)
MatBase Metadata Catalog Management
par: Mancas, Christian
Publié: (2025)
par: Mancas, Christian
Publié: (2025)
On Enforcing Existence and Non-Existence Constraints in MatBase
par: Mancas, Christian
Publié: (2024)
par: Mancas, Christian
Publié: (2024)
Translating database mathematical schemes into relational database software applications with MatBase
par: Mancas, Christian, et autres
Publié: (2026)
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)
par: Mancas, Christian
Publié: (2024)
On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase
par: Mancas, Christian
Publié: (2024)
par: Mancas, Christian
Publié: (2024)
MatBase algorithm for translating (E)MDM schemes into E-R data models
par: Mancas, Christian, et autres
Publié: (2025)
par: Mancas, Christian, et autres
Publié: (2025)
The (Elementary) Mathematical Data Model Revisited
par: Mancas, Christian
Publié: (2024)
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)
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)
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)
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)
par: Campos, David, et autres
Publié: (2024)
MatTools: Benchmarking Large Language Models for Materials Science Tools
par: Liu, Siyu, et autres
Publié: (2025)
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)
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)
par: Liu, Hengyu, et autres
Publié: (2025)
Quantum Data Management in the NISQ Era: Extended Version
par: Hai, Rihan, et autres
Publié: (2024)
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)
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)
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)
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)
par: Duarte, Mariana M Garcez, et autres
Publié: (2025)
Extending Polaris to Support Transactions
par: Aguilar-Saborit, Josep, et autres
Publié: (2024)
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)
par: Li, Xiao, et autres
Publié: (2024)
Simplified integrity checking for an expressive class of denial constraints
par: Martinenghi, Davide
Publié: (2024)
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)
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)
par: Miao, Hao, et autres
Publié: (2024)
Automatic Unsupervised Ensemble Outlier Model Selection--Extended Version
par: Phan, Hong-Phuc, et autres
Publié: (2026)
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)
par: Slanináková, Terézia, et autres
Publié: (2025)
The Case for DBMS Live Patching [Extended Version]
par: Fruth, Michael, et autres
Publié: (2024)
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)
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)
par: Miri, Najmeh, et autres
Publié: (2025)
Query-Specific Pruning of RML Mappings (Extended Version)
par: Oo, Sitt Min, et autres
Publié: (2026)
par: Oo, Sitt Min, et autres
Publié: (2026)
CUBIT: Concurrent Updatable Bitmap Indexing (Extended Version)
par: Wang, Junchang, et autres
Publié: (2024)
par: Wang, Junchang, et autres
Publié: (2024)
Regular Expression Indexing for Log Analysis. Extended Version
par: Zhang, Ling, et autres
Publié: (2025)
par: Zhang, Ling, et autres
Publié: (2025)
An Algebraic Foundation for Knowledge Graph Construction (Extended Version)
par: Oo, Sitt Min, et autres
Publié: (2025)
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)
par: Yang, Yifan, et autres
Publié: (2024)
Fast Verification of Strong Database Isolation (Extended Version)
par: Cai, Zhiheng, et autres
Publié: (2025)
par: Cai, Zhiheng, et autres
Publié: (2025)
TimeBlocks: Foundational and Continual Time-Series Blockbase -- Extended Version
par: Campos, David, et autres
Publié: (2026)
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)
par: Schreiber, Ran, et autres
Publié: (2026)
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)