Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems
Fuente:
arXiv
Salvato in:
| Autori principali: | Lee, Alexander W., Chan, Justin, Fu, Michael, Kim, Nicolas, Mehta, Akshay, Raghavan, Deepti, Cetintemel, Ugur |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
Continuous Prompts: LLM-Augmented Pipeline Processing over Unstructured Streams
di: Chen, Shu, et al.
Pubblicazione: (2025)
di: Chen, Shu, et al.
Pubblicazione: (2025)
VectraFlow: Long-Horizon Semantic Processing over Data and Event Streams with LLMs
di: Chen, Shu, et al.
Pubblicazione: (2026)
di: Chen, Shu, et al.
Pubblicazione: (2026)
Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
di: Lu, Duo, et al.
Pubblicazione: (2026)
di: Lu, Duo, et al.
Pubblicazione: (2026)
Making Prompts First-Class Citizens for Adaptive LLM Pipelines
di: Cetintemel, Ugur, et al.
Pubblicazione: (2025)
di: Cetintemel, Ugur, et al.
Pubblicazione: (2025)
Evergreen: Efficient Claim Verification for Semantic Aggregates
di: Lee, Alexander W., et al.
Pubblicazione: (2026)
di: Lee, Alexander W., et al.
Pubblicazione: (2026)
AvalancheBench: Evaluating Enterprise Data Agents Through Latent World Recovery
di: Kleczek, Darek, et al.
Pubblicazione: (2026)
di: Kleczek, Darek, et al.
Pubblicazione: (2026)
Semantic Operators: A Declarative Model for Rich, AI-based Data Processing
di: Patel, Liana, et al.
Pubblicazione: (2024)
di: Patel, Liana, et al.
Pubblicazione: (2024)
Declarative Privacy-Preserving Inference Queries
di: Guan, Hong, et al.
Pubblicazione: (2024)
di: Guan, Hong, et al.
Pubblicazione: (2024)
InferF: Declarative Factorization of AI/ML Inferences over Joins
di: Chowdhury, Kanchan, et al.
Pubblicazione: (2025)
di: Chowdhury, Kanchan, et al.
Pubblicazione: (2025)
Semantic Data Processing with Holistic Data Understanding
di: Sun, Youran, et al.
Pubblicazione: (2026)
di: Sun, Youran, et al.
Pubblicazione: (2026)
Declarative Concurrent Data Structures
di: Raza, Aun, et al.
Pubblicazione: (2024)
di: Raza, Aun, et al.
Pubblicazione: (2024)
Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
di: Glenn, Parker, et al.
Pubblicazione: (2025)
di: Glenn, Parker, et al.
Pubblicazione: (2025)
PalimpChat: Declarative and Interactive AI analytics
di: Liu, Chunwei, et al.
Pubblicazione: (2025)
di: Liu, Chunwei, et al.
Pubblicazione: (2025)
A Declarative System for Optimizing AI Workloads
di: Liu, Chunwei, et al.
Pubblicazione: (2024)
di: Liu, Chunwei, et al.
Pubblicazione: (2024)
Metadata Management for AI-Augmented Data Workflows
di: Zhao, Jinjin, et al.
Pubblicazione: (2025)
di: Zhao, Jinjin, et al.
Pubblicazione: (2025)
Steering Semantic Data Processing With DocWrangler
di: Shankar, Shreya, et al.
Pubblicazione: (2025)
di: Shankar, Shreya, et al.
Pubblicazione: (2025)
VeriEQL: Bounded Equivalence Verification for Complex SQL Queries with Integrity Constraints
di: He, Yang, et al.
Pubblicazione: (2024)
di: He, Yang, et al.
Pubblicazione: (2024)
Declarative Techniques for NL Queries over Heterogeneous Data
di: Khabiri, Elham, et al.
Pubblicazione: (2025)
di: Khabiri, Elham, et al.
Pubblicazione: (2025)
SABER: A SQL-Compatible Semantic Document Processing System Based on Extended Relational Algebra
di: Lee, Changjae, et al.
Pubblicazione: (2025)
di: Lee, Changjae, et al.
Pubblicazione: (2025)
The Stretto Execution Engine for LLM-Augmented Data Systems
di: Sanmartino, Gabriele, et al.
Pubblicazione: (2026)
di: Sanmartino, Gabriele, et al.
Pubblicazione: (2026)
TorchQL: A Programming Framework for Integrity Constraints in Machine Learning
di: Naik, Aaditya, et al.
Pubblicazione: (2023)
di: Naik, Aaditya, et al.
Pubblicazione: (2023)
Data-CASE: Grounding Data Regulations for Compliant Data Processing Systems
di: Chakraborty, Vishal, et al.
Pubblicazione: (2023)
di: Chakraborty, Vishal, et al.
Pubblicazione: (2023)
Sema: A High-performance System for LLM-based Semantic Query Processing
di: Qi, Kangkang, et al.
Pubblicazione: (2026)
di: Qi, Kangkang, et al.
Pubblicazione: (2026)
Inconsistency Handling in Prioritized Databases with Universal Constraints: Complexity Analysis and Links with Active Integrity Constraints
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)
di: Bienvenu, Meghyn, et al.
Pubblicazione: (2023)
SCOPE: Cost-Efficient Model Selection for Compound AI Systems under Quality Constraints
di: Huang, Yiqian, et al.
Pubblicazione: (2026)
di: Huang, Yiqian, et al.
Pubblicazione: (2026)
Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)
di: Casas-Ramos, Jacobo, et al.
Pubblicazione: (2025)
di: Casas-Ramos, Jacobo, et al.
Pubblicazione: (2025)
OCPQ: Object-Centric Process Querying & Constraints
di: Küsters, Aaron, et al.
Pubblicazione: (2025)
di: Küsters, Aaron, et al.
Pubblicazione: (2025)
DARTH: Declarative Recall Through Early Termination for Approximate Nearest Neighbor Search
di: Chatzakis, Manos, et al.
Pubblicazione: (2025)
di: Chatzakis, Manos, et al.
Pubblicazione: (2025)
One in Eight OpenAlex Abstracts Has Integrity Issues
di: Kim, Seorin, et al.
Pubblicazione: (2026)
di: Kim, Seorin, et al.
Pubblicazione: (2026)
A Declarative Query Language for Scientific Machine Learning
di: Jamil, Hasan M
Pubblicazione: (2024)
di: Jamil, Hasan M
Pubblicazione: (2024)
Vidformer: Drop-in Declarative Optimization for Rendering Video-Native Query Results
di: Winecki, Dominik, et al.
Pubblicazione: (2026)
di: Winecki, Dominik, et al.
Pubblicazione: (2026)
Chain Table: Protecting Table-Level Data Integrity by Digital Ledger Technology
di: Yu, Feng, et al.
Pubblicazione: (2025)
di: Yu, Feng, et al.
Pubblicazione: (2025)
Learning Lineage Constraints for Data Science Operations
di: Zhao, Jinjin
Pubblicazione: (2025)
di: Zhao, Jinjin
Pubblicazione: (2025)
The Virtuous Cycle: AI-Powered Vector Search and Vector Search-Augmented AI
di: Wei, Jiuqi, et al.
Pubblicazione: (2026)
di: Wei, Jiuqi, et al.
Pubblicazione: (2026)
Blitzcrank: Fast Semantic Compression for In-memory Online Transaction Processing
di: Qiao, Yiming, et al.
Pubblicazione: (2024)
di: Qiao, Yiming, et al.
Pubblicazione: (2024)
Efficient Query Repair for Aggregate Constraints
di: Algarni, Shatha, et al.
Pubblicazione: (2025)
di: Algarni, Shatha, et al.
Pubblicazione: (2025)
Structured Prompt Language: Declarative Context Management for LLMs
di: Gong, Wen G.
Pubblicazione: (2026)
di: Gong, Wen G.
Pubblicazione: (2026)
Fair Data Pre-Processing with Imperfect Attribute Space
di: Zheng, Ying, et al.
Pubblicazione: (2026)
di: Zheng, Ying, et al.
Pubblicazione: (2026)
Machine Learning-Augmented Ontology-Based Data Access for Renewable Energy Data
di: Calautti, Marco, et al.
Pubblicazione: (2024)
di: Calautti, Marco, et al.
Pubblicazione: (2024)
Towards Effective Next POI Prediction: Spatial and Semantic Augmentation with Remote Sensing Data
di: Jiang, Nan, et al.
Pubblicazione: (2024)
di: Jiang, Nan, et al.
Pubblicazione: (2024)
Documenti analoghi
-
Continuous Prompts: LLM-Augmented Pipeline Processing over Unstructured Streams
di: Chen, Shu, et al.
Pubblicazione: (2025) -
VectraFlow: Long-Horizon Semantic Processing over Data and Event Streams with LLMs
di: Chen, Shu, et al.
Pubblicazione: (2026) -
Credo: Declarative Control of LLM Pipelines via Beliefs and Policies
di: Lu, Duo, et al.
Pubblicazione: (2026) -
Making Prompts First-Class Citizens for Adaptive LLM Pipelines
di: Cetintemel, Ugur, et al.
Pubblicazione: (2025) -
Evergreen: Efficient Claim Verification for Semantic Aggregates
di: Lee, Alexander W., et al.
Pubblicazione: (2026)