Cover Image

On Enforcing Existence and Non-Existence Constraints in MatBase

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Mancas, Christian
Format:	Preprint
Published:	2024
Subjects:	Databases
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

MatBase Metadata Catalog Management
by: Mancas, Christian
Published: (2025)

On enforcing function diagram commutativity and anti-commutativity constraints in MatBase
by: Mancas, Christian, et al.
Published: (2024)

Translating database mathematical schemes into relational database software applications with MatBase
by: Mancas, Christian, et al.
Published: (2026)

On enforcing dyadic-type homogeneous binary function product constraints in MatBase
by: Mancas, Christian
Published: (2023)

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)

Extending the (Elementary) Mathematical Data Model and MatBase with two new constraint types: inexistence and anti-existence
by: Mancas, Christian
Published: (2026)

From (Elementary) Mathematical Data Model Schemas to Safe Blazor Web Applications with Claude AI
by: Mancas, Christian, et al.
Published: (2026)

The (Elementary) Mathematical Data Model Revisited
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)

Enforcing Demographic Coherence: A Harms Aware Framework for Reasoning about Private Data Release
by: Bun, Mark, et al.
Published: (2025)

MatTools: Benchmarking Large Language Models for Materials Science Tools
by: Liu, Siyu, et al.
Published: (2025)

Efficient Query Repair for Aggregate Constraints
by: Algarni, Shatha, et al.
Published: (2025)

OCPQ: Object-Centric Process Querying & Constraints
by: Küsters, Aaron, et al.
Published: (2025)

Repairing Property Graphs under PG-Constraints
by: Spinrath, Christopher, et al.
Published: (2026)

Learning Lineage Constraints for Data Science Operations
by: Zhao, Jinjin
Published: (2025)

Expressive Power of Property Graph Constraint Languages
by: Dumbrava, Stefania, et al.
Published: (2026)

Answering Constraint Path Queries over Graphs
by: Li, Heyang, et al.
Published: (2025)

Multivariate Time Series Cleaning under Speed Constraints
by: Zhang, Aoqian, et al.
Published: (2024)

Repairing Databases over Metric Spaces with Coincidence Constraints
by: Kaminsky, Youri, et al.
Published: (2024)

Influential Billboard Slot Selection under Zonal Influence Constraint
by: Ali, Dildar, et al.
Published: (2024)

Efficient Size Constraint Community Search over Heterogeneous Information Networks
by: Zhang, Xinjian, et al.
Published: (2025)

Partition Constraints for Conjunctive Queries: Bounds and Worst-Case Optimal Joins
by: Deeds, Kyle, et al.
Published: (2025)

Implicit Representation of Structural Constraints in ER-to-Relational Transformation: An Analysis of Cardinality Preservation
by: Pieris, Dhammika
Published: (2026)

SCOPE: Cost-Efficient Model Selection for Compound AI Systems under Quality Constraints
by: Huang, Yiqian, et al.
Published: (2026)

Let's Play Tag: Linear Time Evaluation of Conjunctive Queries under TGD Constraints
by: Carmeli, Nofar, et al.
Published: (2026)

VectorMaton: Efficient Vector Search with Pattern Constraints via an Enhanced Suffix Automaton
by: Xie, Haoxuan, et al.
Published: (2026)

Finding Non-Redundant Simpson's Paradox from Multidimensional Data
by: Yang, Yi, et al.
Published: (2025)

On Usage of Non-Volatile Memory as Primary Storage for Database Management Systems
by: Mustafa, Naveed Ul, et al.
Published: (2025)

LakeVilla: A Modular and Non-Invasive Toolbox for Lakehouse Transactions
by: Götz, Tobias, et al.
Published: (2025)

DAGE: DAG Query Answering via Relational Combinator with Logical Constraints
by: He, Yunjie, et al.
Published: (2024)

DLHT: A Non-blocking Resizable Hashtable with Fast Deletes and Memory-awareness
by: Katsarakis, Antonios, et al.
Published: (2024)

Computing the Non-Dominated Flexible Skyline in Vertically Distributed Datasets with No Random Access
by: Martinenghi, Davide
Published: (2024)

Thunderbolt: Concurrent Smart Contract Execution with Non-blocking Reconfiguration for Sharded DAGs
by: Chen, Junchao, et al.
Published: (2024)

VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
by: He, Yang, et al.
Published: (2024)

Auto-Test: Learning Semantic-Domain Constraints for Unsupervised Error Detection in Tables
by: Chen, Qixu, et al.
Published: (2025)

Robustness against Read Committed for Transaction Templates with Functional Constraints
by: Vandevoort, Brecht, et al.
Published: (2022)

Gate-Based and Annealing-Based Quantum Algorithms for the Maximum K-Plex Problem
by: Li, Xiaofan, et al.
Published: (2025)