On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
Fuente:
arXiv
Saved in:
| Main Authors: | Mancas, Christian, Mancas, Diana Christina |
|---|---|
| Format: | Preprint |
| Published: |
2024
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On enforcing dyadic-type homogeneous binary function product constraints in MatBase
by: Mancas, Christian
Published: (2023)
by: Mancas, Christian
Published: (2023)
Translating database mathematical schemes into relational database software applications with MatBase
by: Mancas, Christian, et al.
Published: (2026)
by: Mancas, Christian, et al.
Published: (2026)
MatBase algorithm for translating (E)MDM schemes into E-R data models
by: Mancas, Christian, et al.
Published: (2025)
by: Mancas, Christian, et al.
Published: (2025)
MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
by: Mancas, Christian, et al.
Published: (2025)
by: Mancas, Christian, et al.
Published: (2025)
MatBase Metadata Catalog Management
by: Mancas, Christian
Published: (2025)
by: Mancas, Christian
Published: (2025)
Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence
by: Mancas, Christian
Published: (2026)
by: Mancas, Christian
Published: (2026)
On Enforcing Existence and Non-Existence Constraints in MatBase
by: Mancas, Christian
Published: (2024)
by: Mancas, Christian
Published: (2024)
On Enforcing Satisfiable, Coherent, and Minimal Sets of Dyadic Relation Constraints in MatBase
by: Mancas, Christian
Published: (2024)
by: Mancas, Christian
Published: (2024)
On Enforcing Satisfiable, Coherent, and Minimal Sets of Self-Map Constraints in MatBase
by: Mancas, Christian
Published: (2024)
by: Mancas, Christian
Published: (2024)
From (Elementary) Mathematical Data Model Schemas to Safe Blazor Web Applications with Claude AI
by: Mancas, Christian, et al.
Published: (2026)
by: Mancas, Christian, et al.
Published: (2026)
Semantic Reverse Engineering Legacy Software Applications with ChatGPT, Gemini AI, and Claude AI
by: Mancas, Christian, et al.
Published: (2026)
by: Mancas, Christian, et al.
Published: (2026)
The (Elementary) Mathematical Data Model Revisited
by: Mancas, Christian
Published: (2024)
by: Mancas, Christian
Published: (2024)
Feedback Driven Multi Stereo Vision System for Real-Time Event Analysis
by: Benkedadra, Mohamed, et al.
Published: (2025)
by: Benkedadra, Mohamed, et al.
Published: (2025)
When Algorithms Play Favorites: Lookism in the Generation and Perception of Faces
by: Doh, Miriam, et al.
Published: (2025)
by: Doh, Miriam, et al.
Published: (2025)
Second order free cumulants: product, commutator, and anti-commutator
by: George, Daniel Munoz, et al.
Published: (2025)
by: George, Daniel Munoz, et al.
Published: (2025)
MatTools: Benchmarking Large Language Models for Materials Science Tools
by: Liu, Siyu, et al.
Published: (2025)
by: Liu, Siyu, et al.
Published: (2025)
Simplified integrity checking for an expressive class of denial constraints
by: Martinenghi, Davide
Published: (2024)
by: Martinenghi, Davide
Published: (2024)
Tight complexity bounds for diagram commutativity verification
by: Malko, Artem, et al.
Published: (2025)
by: Malko, Artem, et al.
Published: (2025)
On three-dimensional anti-commutative algebras
by: Bekbaev, U.
Published: (2025)
by: Bekbaev, U.
Published: (2025)
A Service Architecture for Dataspaces
by: Arnold, Benedikt T., et al.
Published: (2025)
by: Arnold, Benedikt T., et al.
Published: (2025)
Factorization conditions for nonlinear second-order differential equations
by: Gonzalez, G., et al.
Published: (2022)
by: Gonzalez, G., et al.
Published: (2022)
Non-commutative optimization problems with differential constraints
by: Araújo, Mateus, et al.
Published: (2024)
by: Araújo, Mateus, et al.
Published: (2024)
On the anti-commutator of two free random variables
by: Perales, Daniel
Published: (2021)
by: Perales, Daniel
Published: (2021)
Automaticity of spacetime diagrams generated by cellular automata on commutative monoids
by: Nesme, Vincent
Published: (2022)
by: Nesme, Vincent
Published: (2022)
GeoBenchr: An Application-Centric Benchmarking Suite for Spatiotemporal Database Platforms
by: Rese, Tim C., et al.
Published: (2026)
by: Rese, Tim C., et al.
Published: (2026)
Gate-Based and Annealing-Based Quantum Algorithms for the Maximum K-Plex Problem
by: Li, Xiaofan, et al.
Published: (2025)
by: Li, Xiaofan, et al.
Published: (2025)
Proving correctness for SQL implementations of OCL constraints
by: Nguyen, Hoang, et al.
Published: (2024)
by: Nguyen, Hoang, et al.
Published: (2024)
On $(α,1,0)$-derivations of anti-commutative algebras
by: Fernández-Culma, Edison Alberto
Published: (2024)
by: Fernández-Culma, Edison Alberto
Published: (2024)
Anti-commutative anti-associative algebras. Acaa-algebras
by: Remm, Elisabeth
Published: (2025)
by: Remm, Elisabeth
Published: (2025)
HIGGS: HIerarchy-Guided Graph Stream Summarization
by: Zhao, Xuan, et al.
Published: (2024)
by: Zhao, Xuan, et al.
Published: (2024)
Substitutability-Based Graph Node Pricing
by: Wang, Huiju, et al.
Published: (2025)
by: Wang, Huiju, et al.
Published: (2025)
XFSC: A Catalogue of Trustable Semantic Metadata for Data Services and Providers
by: Arnold, Benedikt T., et al.
Published: (2025)
by: Arnold, Benedikt T., et al.
Published: (2025)
[Experiments \& Analysis] Hash-Based vs. Sort-Based Group-By-Aggregate: A Focused Empirical Study [Extended Version]
by: Vaghasiya, Gaurav, et al.
Published: (2024)
by: Vaghasiya, Gaurav, et al.
Published: (2024)
On the pre-commutative envelopes of commutative algebras
by: Alhussein, H., et al.
Published: (2024)
by: Alhussein, H., et al.
Published: (2024)
Creating and Querying Data Cubes in Python using pyCube
by: Vang, Sigmundur, et al.
Published: (2023)
by: Vang, Sigmundur, et al.
Published: (2023)
Schema-Based Query Optimisation for Graph Databases
by: Sharma, Chandan, et al.
Published: (2024)
by: Sharma, Chandan, et al.
Published: (2024)
Query Based Construction of Chronic Disease Datasets
by: Ngo, Vuong M., et al.
Published: (2024)
by: Ngo, Vuong M., et al.
Published: (2024)
Baseline: Operation-Based Evolution and Versioning of Data
by: Edwards, Jonathan, et al.
Published: (2025)
by: Edwards, Jonathan, et al.
Published: (2025)
Condensed Representation for Snapshot-Based RDF Graphs
by: Gil, Jey Puget, et al.
Published: (2025)
by: Gil, Jey Puget, et al.
Published: (2025)
Modeling and Monitoring of Indoor Populations using Sparse Positioning Data (Extension)
by: Li, Xiao, et al.
Published: (2024)
by: Li, Xiao, et al.
Published: (2024)
Similar Items
-
On enforcing dyadic-type homogeneous binary function product constraints in MatBase
by: Mancas, Christian
Published: (2023) -
Translating database mathematical schemes into relational database software applications with MatBase
by: Mancas, Christian, et al.
Published: (2026) -
MatBase algorithm for translating (E)MDM schemes into E-R data models
by: Mancas, Christian, et al.
Published: (2025) -
MatBase Algorithm for Translating Entity-Relationship Data Models into (Elementary) Mathematical Data Model Schemes
by: Mancas, Christian, et al.
Published: (2025) -
MatBase Metadata Catalog Management
by: Mancas, Christian
Published: (2025)