On enforcing dyadic-type homogeneous binary function product constraints in MatBase
Fuente:
arXiv
Saved in:
| Main Author: | Mancas, Christian |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
by: Mancas, Christian, et al.
Published: (2024)
by: Mancas, Christian, et al.
Published: (2024)
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)
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)
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)
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)
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)
The (Elementary) Mathematical Data Model Revisited
by: Mancas, Christian
Published: (2024)
by: Mancas, Christian
Published: (2024)
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)
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)
The maximal function on spaces of homogeneous type, or adjacent dyadic cubes do good
by: Shalukhina, Alina
Published: (2025)
by: Shalukhina, Alina
Published: (2025)
On the generic information capacity of relational schemas with a single binary relation
by: Groz, Benoît, et al.
Published: (2026)
by: Groz, Benoît, et al.
Published: (2026)
The FAIREr Guiding Principles: Organizing data and metadata into semantically meaningful types of FAIR Digital Objects to increase their human explorability and cognitive interoperability
by: Vogt, Lars
Published: (2023)
by: Vogt, Lars
Published: (2023)
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)
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)
Creating and Querying Data Cubes in Python using pyCube
by: Vang, Sigmundur, et al.
Published: (2023)
by: Vang, Sigmundur, et al.
Published: (2023)
[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)
Schema-Based Query Optimisation for Graph Databases
by: Sharma, Chandan, et al.
Published: (2024)
by: Sharma, Chandan, 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)
Query Based Construction of Chronic Disease Datasets
by: Ngo, Vuong M., et al.
Published: (2024)
by: Ngo, Vuong M., et al.
Published: (2024)
Condensed Representation for Snapshot-Based RDF Graphs
by: Gil, Jey Puget, et al.
Published: (2025)
by: Gil, Jey Puget, et al.
Published: (2025)
eST$^2$ Miner -- Process Discovery Based on Firing Partial Orders
by: Folz-Weinstein, Sabine, et al.
Published: (2025)
by: Folz-Weinstein, Sabine, et al.
Published: (2025)
Vector Search for the Future: From Memory-Resident, Static Heterogeneous Storage, to Cloud-Native Architectures
by: Song, Yitong, et al.
Published: (2026)
by: Song, Yitong, et al.
Published: (2026)
SemaSK: Answering Semantics-aware Spatial Keyword Queries with Large Language Models
by: Zhang, Zesong, et al.
Published: (2025)
by: Zhang, Zesong, 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)
ASPEN: ASP-Based System for Collective Entity Resolution
by: Xiang, Zhiliang, et al.
Published: (2024)
by: Xiang, Zhiliang, et al.
Published: (2024)
Query Answering under Volume-Based Diversity Functions
by: Arenas, Marcelo, et al.
Published: (2025)
by: Arenas, Marcelo, et al.
Published: (2025)
CUBE: A Cardinality Estimator Based on Neural CDF
by: Yan, Xiao, et al.
Published: (2025)
by: Yan, Xiao, et al.
Published: (2025)
Efficient Cost-Based Rewrite in a Bottom-Up Optimizer
by: Cheng, Qi, et al.
Published: (2026)
by: Cheng, Qi, et al.
Published: (2026)
Skill-Based Autonomous Agents for Material Creep Database Construction
by: Wu, Yue, et al.
Published: (2026)
by: Wu, Yue, et al.
Published: (2026)
My Ontologist: Evaluating BFO-Based AI for Definition Support
by: Benson, Carter, et al.
Published: (2024)
by: Benson, Carter, et al.
Published: (2024)
Template-Based Schema Matching of Multi-Layout Tenancy Schedules:A Comparative Study of a Template-Based Hybrid Matcher and the ALITE Full Disjunction Model
by: Uilkema, Tim, et al.
Published: (2025)
by: Uilkema, Tim, et al.
Published: (2025)
BuffCut: Prioritized Buffered Streaming Graph Partitioning
by: Baumgärtner, Linus, et al.
Published: (2026)
by: Baumgärtner, Linus, et al.
Published: (2026)
How to Define the Quality of Data? A Feature-Based Literature Survey
by: Matoni, Markus, et al.
Published: (2025)
by: Matoni, Markus, et al.
Published: (2025)
Similar Items
-
On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
by: Mancas, Christian, et al.
Published: (2024) -
MatBase Metadata Catalog Management
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) -
On Enforcing Existence and Non-Existence Constraints in MatBase
by: Mancas, Christian
Published: (2024) -
Translating database mathematical schemes into relational database software applications with MatBase
by: Mancas, Christian, et al.
Published: (2026)