paper-with-me

홈 › Papers

Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems

2025-03-01 · Alexander W. Lee, Justin Chan, Michael Fu, Nicolas Kim, Akshay Mehta, Deepti Raghavan, Ugur Cetintemel

AI-augmented data processing systems (DPSs) integrate large language models (LLMs) into query pipelines, allowing powerful semantic operations on structured and unstructured data. However, the reliability (a.k.a. trust) of these systems is fundamentally challenged by the potential for LLMs to produce errors, limiting their adoption in critical domains. To help address this reliability bottleneck, we introduce semantic integrity constraints (SICs) -- a declarative abstraction for specifying and enforcing correctness conditions over LLM outputs in semantic queries. SICs generalize traditional database integrity constraints to semantic settings, supporting common types of constraints, such as grounding, soundness, and exclusion, with both proactive and reactive enforcement strategies. We argue that SICs provide a foundation for building reliable and auditable AI-augmented data systems. Specifically, we present a system design for integrating SICs into query planning and runtime execution and discuss its realization in AI-augmented DPSs. To guide and evaluate the vision, we outline several design goals -- covering criteria around expressiveness, runtime semantics, integration, performance, and enterprise-scale applicability -- and discuss how our framework addresses each, along with open research challenges.

📄 PDF Abstract BibTeX arXiv:2503.00600

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

Declarative Statistical Modeling with Datalog

2014-12-06 · Vince Barany, Balder ten Cate, Benny Kimelfeld, Dan Olteanu 외

Formalisms for specifying statistical models, such as probabilistic-programming languages, typically consist of two components: a specification of a stochastic process (the prior), and a specification of observations tha…

Probabilistic Programming

NiyamAI - An Intent-Bound AI Agent with Cryptographically Verifiable Guardrails using Zero-Knowledge Proofs

2026-08-07 · Aditya Katkar, Om Karkele, Kartik Mandhane, Manisha More 외 arxiv

Autonomous LLM agents with tool execution capabilities introduce severe security risks through prompt injection, goal hijacking, and unauthorized action invocation. Existing guardrails rely on unverified, host local soft…

Direct Encoding of Declare Constraints in ASP

2024-12-13 · Francesco Chiariello, Valeria Fionda, Antonio Ielo, Francesco Ricca

Answer Set Programming (ASP), a well-known declarative logic programming paradigm, has recently found practical application in Process Mining. In particular, ASP has been used to model tasks involving declarative specifi…

valid

Declarative Statistics

2017-08-06 · Roberto Rossi, Özgür Akgün, Steven Prestwich, S. Armagan Tarim

In this work we introduce declarative statistics, a suite of declarative modelling tools for statistical analysis. Statistical constraints represent the key building block of declarative statistics. First, we introduce a…

Spatial Symmetry Driven Pruning Strategies for Efficient Declarative Spatial Reasoning

2015-06-16 · Carl Schultz, Mehul Bhatt

Declarative spatial reasoning denotes the ability to (declaratively) specify and solve real-world problems related to geometric and qualitative spatial representation and reasoning within standard knowledge representatio…

Spatial Reasoning