Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence
Fuente:
arXiv
Guardado en:
| Autor principal: | Mancas, Christian |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
Ejemplares similares
MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
por: Mancas, Christian, et al.
Publicado: (2025)
por: Mancas, Christian, et al.
Publicado: (2025)
On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
por: Mancas, Christian, et al.
Publicado: (2024)
por: Mancas, Christian, et al.
Publicado: (2024)
On enforcing dyadic-type homogeneous binary function product constraints in MatBase
por: Mancas, Christian
Publicado: (2023)
por: Mancas, Christian
Publicado: (2023)
MatBase Metadata Catalog Management
por: Mancas, Christian
Publicado: (2025)
por: Mancas, Christian
Publicado: (2025)
On Enforcing Existence and Non-Existence Constraints in MatBase
por: Mancas, Christian
Publicado: (2024)
por: Mancas, Christian
Publicado: (2024)
Translating database mathematical schemes into relational database software applications with MatBase
por: Mancas, Christian, et al.
Publicado: (2026)
por: Mancas, Christian, et al.
Publicado: (2026)
On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase
por: Mancas, Christian
Publicado: (2024)
por: Mancas, Christian
Publicado: (2024)
On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase
por: Mancas, Christian
Publicado: (2024)
por: Mancas, Christian
Publicado: (2024)
MatBase algorithm for translating (E)MDM schemes into E-R data models
por: Mancas, Christian, et al.
Publicado: (2025)
por: Mancas, Christian, et al.
Publicado: (2025)
The (Elementary) Mathematical Data Model Revisited
por: Mancas, Christian
Publicado: (2024)
por: Mancas, Christian
Publicado: (2024)
From (Elementary) Mathematical Data Model Schemas to Safe Blazor Web Applications with Claude AI
por: Mancas, Christian, et al.
Publicado: (2026)
por: Mancas, Christian, et al.
Publicado: (2026)
Semantic Reverse Engineering Legacy Software Applications with ChatGPT, Gemini AI, and Claude AI
por: Mancas, Christian, et al.
Publicado: (2026)
por: Mancas, Christian, et al.
Publicado: (2026)
A Data Model and Predicate Logic for Trajectory Data (Extended Version)
por: Bornholdt, Johann, et al.
Publicado: (2024)
por: Bornholdt, Johann, et al.
Publicado: (2024)
QCore: Data-Efficient, On-Device Continual Calibration for Quantized Models -- Extended Version
por: Campos, David, et al.
Publicado: (2024)
por: Campos, David, et al.
Publicado: (2024)
MatTools: Benchmarking Large Language Models for Materials Science Tools
por: Liu, Siyu, et al.
Publicado: (2025)
por: Liu, Siyu, et al.
Publicado: (2025)
Blueprinting the Cloud: Unifying and Automatically Optimizing Cloud Data Infrastructures with BRAD -- Extended Version
por: Yu, Geoffrey X., et al.
Publicado: (2024)
por: Yu, Geoffrey X., et al.
Publicado: (2024)
MH-GIN: Multi-scale Heterogeneous Graph-based Imputation Network for AIS Data (Extended Version)
por: Liu, Hengyu, et al.
Publicado: (2025)
por: Liu, Hengyu, et al.
Publicado: (2025)
Quantum Data Management in the NISQ Era: Extended Version
por: Hai, Rihan, et al.
Publicado: (2024)
por: Hai, Rihan, et al.
Publicado: (2024)
An Encode-then-Decompose Approach to Unsupervised Time Series Anomaly Detection on Contaminated Training Data--Extended Version
por: Zhang, Buang, et al.
Publicado: (2025)
por: Zhang, Buang, et al.
Publicado: (2025)
RadixGraph: A Fast, Space-Optimized Data Structure for Dynamic Graph Storage (Extended Version)
por: Xie, Haoxuan, et al.
Publicado: (2026)
por: Xie, Haoxuan, et al.
Publicado: (2026)
[Experiments \& Analysis] Hash-Based vs. Sort-Based Group-By-Aggregate: A Focused Empirical Study [Extended Version]
por: Vaghasiya, Gaurav, et al.
Publicado: (2024)
por: Vaghasiya, Gaurav, et al.
Publicado: (2024)
An experimental study of existing tools for outlier detection and cleaning in trajectories
por: Duarte, Mariana M Garcez, et al.
Publicado: (2025)
por: Duarte, Mariana M Garcez, et al.
Publicado: (2025)
Extending Polaris to Support Transactions
por: Aguilar-Saborit, Josep, et al.
Publicado: (2024)
por: Aguilar-Saborit, Josep, et al.
Publicado: (2024)
Modeling and Monitoring of Indoor Populations using Sparse Positioning Data (Extension)
por: Li, Xiao, et al.
Publicado: (2024)
por: Li, Xiao, et al.
Publicado: (2024)
Simplified integrity checking for an expressive class of denial constraints
por: Martinenghi, Davide
Publicado: (2024)
por: Martinenghi, Davide
Publicado: (2024)
K2: On Optimizing Distributed Transactions in a Multi-region Data Store with TrueTime Clocks (Extended Version)
por: Song, Haoze, et al.
Publicado: (2025)
por: Song, Haoze, et al.
Publicado: (2025)
Less is More: Efficient Time Series Dataset Condensation via Two-fold Modal Matching--Extended Version
por: Miao, Hao, et al.
Publicado: (2024)
por: Miao, Hao, et al.
Publicado: (2024)
Automatic Unsupervised Ensemble Outlier Model Selection--Extended Version
por: Phan, Hong-Phuc, et al.
Publicado: (2026)
por: Phan, Hong-Phuc, et al.
Publicado: (2026)
On the Costs and Benefits of Learned Indexing for Dynamic High-Dimensional Data: Extended Version
por: Slanináková, Terézia, et al.
Publicado: (2025)
por: Slanináková, Terézia, et al.
Publicado: (2025)
The Case for DBMS Live Patching [Extended Version]
por: Fruth, Michael, et al.
Publicado: (2024)
por: Fruth, Michael, et al.
Publicado: (2024)
On a fractional harmonic oscillator: existence and inexistence of solution, regularity and decay properties
por: Bueno, Hamilton P., et al.
Publicado: (2024)
por: Bueno, Hamilton P., et al.
Publicado: (2024)
OCPM$^2$: Extending the Process Mining Methodology for Object-Centric Event Data Extraction
por: Miri, Najmeh, et al.
Publicado: (2025)
por: Miri, Najmeh, et al.
Publicado: (2025)
Query-Specific Pruning of RML Mappings (Extended Version)
por: Oo, Sitt Min, et al.
Publicado: (2026)
por: Oo, Sitt Min, et al.
Publicado: (2026)
CUBIT: Concurrent Updatable Bitmap Indexing (Extended Version)
por: Wang, Junchang, et al.
Publicado: (2024)
por: Wang, Junchang, et al.
Publicado: (2024)
Regular Expression Indexing for Log Analysis. Extended Version
por: Zhang, Ling, et al.
Publicado: (2025)
por: Zhang, Ling, et al.
Publicado: (2025)
An Algebraic Foundation for Knowledge Graph Construction (Extended Version)
por: Oo, Sitt Min, et al.
Publicado: (2025)
por: Oo, Sitt Min, et al.
Publicado: (2025)
LITS: An Optimized Learned Index for Strings (An Extended Version)
por: Yang, Yifan, et al.
Publicado: (2024)
por: Yang, Yifan, et al.
Publicado: (2024)
Fast Verification of Strong Database Isolation (Extended Version)
por: Cai, Zhiheng, et al.
Publicado: (2025)
por: Cai, Zhiheng, et al.
Publicado: (2025)
TimeBlocks: Foundational and Continual Time-Series Blockbase -- Extended Version
por: Campos, David, et al.
Publicado: (2026)
por: Campos, David, et al.
Publicado: (2026)
Query-Guided Analysis and Mitigation of Data Verification Errors (Extended Version)
por: Schreiber, Ran, et al.
Publicado: (2026)
por: Schreiber, Ran, et al.
Publicado: (2026)
Ejemplares similares
-
MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
por: Mancas, Christian, et al.
Publicado: (2025) -
On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
por: Mancas, Christian, et al.
Publicado: (2024) -
On enforcing dyadic-type homogeneous binary function product constraints in MatBase
por: Mancas, Christian
Publicado: (2023) -
MatBase Metadata Catalog Management
por: Mancas, Christian
Publicado: (2025) -
On Enforcing Existence and Non-Existence Constraints in MatBase
por: Mancas, Christian
Publicado: (2024)