Cover Image

Efficient Conformance Checking of Rich Data-Aware Declare Specifications (Extended)

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Casas-Ramos, Jacobo, Winkler, Sarah, Gianola, Alessandro, Montali, Marco, Mucientes, Manuel, Lama, Manuel
Format:	Preprint
Published:	2025
Subjects:	Databases Artificial Intelligence Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Supplementary Materials for "Efficient Conformance Checking of Rich Data-Aware Declare Specifications" - Including Source Code, Executable, Dataset and Raw Results
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

DeclareAligner: A Leap Towards Efficient Optimal Alignments for Declarative Process Model Conformance Checking
by: Casas-Ramos, Jacobo, et al.
Published: (2025)

Object-Centric Conformance Alignments with Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2023)

Conformance Checking for Less: Efficient Conformance Checking for Long Event Sequences
by: Bogdanov, Eli, et al.
Published: (2025)

Monitoring Data-aware Temporal Properties (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2026)

To bind or not to bind? Discovering Stable Relationships in Object-centric Processes (Extended Version)
by: Seidel, Anjo, et al.
Published: (2025)

Object-centric Processes with Structured Data and Exact Synchronization (Extended Version)
by: Gianola, Alessandro, et al.
Published: (2025)

Detecting Dynamic Relationships in Object-Centric Event Logs
by: Gianola, Alessandro, et al.
Published: (2026)

Semantic Operators: A Declarative Model for Rich, AI-based Data Processing
by: Patel, Liana, et al.
Published: (2024)

Declarative Concurrent Data Structures
by: Raza, Aun, et al.
Published: (2024)

Structured Prompt Language: Declarative Context Management for LLMs
by: Gong, Wen G.
Published: (2026)

Static Type Checking for Database Access Code
by: Kirz, Thomas James, et al.
Published: (2026)

On the Complexity of Checking Mixed Isolation Levels for SQL Transactions
by: Bouajjani, Ahmed, et al.
Published: (2025)

Semantic Integrity Constraints: Declarative Guardrails for AI-Augmented Data Processing Systems
by: Lee, Alexander W., et al.
Published: (2025)

Conformance Checking of Fuzzy Logs against Declarative Temporal Specifications
by: Donadello, Ivan, et al.
Published: (2024)

PyTond: Efficient Python Data Science on the Shoulders of Databases
by: Shahrokhi, Hesam, et al.
Published: (2024)

The Monotone Priority System: Foundations of Contract-Specific Sequencing
by: Durvasula, Naveen
Published: (2026)

Play by the Type Rules: Inferring Constraints for LLM Functions in Declarative Programs
by: Glenn, Parker, et al.
Published: (2025)

Chatting with Logs: An exploratory study on Finetuning LLMs for LogQL
by: Seshagiri, Vishwanath, et al.
Published: (2024)

Analyzing the Effectiveness of Large Language Models on Text-to-SQL Synthesis
by: Roberson, Richard, et al.
Published: (2024)

The generalised distribution semantics and projective families of distributions
by: Weitkämper, Felix
Published: (2022)

MCTS-SQL: Light-Weight LLMs can Master the Text-to-SQL through Monte Carlo Tree Search
by: Yuan, Shuozhi, et al.
Published: (2025)

Constant Optimization Driven Database System Testing
by: Zhang, Chi, et al.
Published: (2025)

Vbox: Efficient Black-Box Serializability Verification
by: Sun, Weihua, et al.
Published: (2025)

Querying Graph-Relational Data
by: Sullivan, Michael J., et al.
Published: (2025)

FlowLog: Efficient and Extensible Datalog via Incrementality
by: Zhao, Hangdong, et al.
Published: (2025)

Rel: A Programming Language for Relational Data
by: Aref, Molham, et al.
Published: (2025)

TQL: Towards Type-Driven Data Discovery
by: Kang, Andrew, et al.
Published: (2025)

Towards General-Purpose Data Discovery: A Programming Languages Approach
by: Kang, Andrew, et al.
Published: (2025)

Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs
by: Deng, Wenjing, et al.
Published: (2024)

IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications
by: Geng, Chujun, et al.
Published: (2024)

A Domain-Specific Language for LLM-Driven Trigger Generation in Multimodal Data Collection
by: Reis, Philipp, et al.
Published: (2026)

Polygon: Symbolic Reasoning for SQL using Conflict-Driven Under-Approximation Search
by: Zhao, Pinhan, et al.
Published: (2025)

Reasoning-SQL: Reinforcement Learning with SQL Tailored Partial Rewards for Reasoning-Enhanced Text-to-SQL
by: Pourreza, Mohammadreza, et al.
Published: (2025)

EllieSQL: Cost-Efficient Text-to-SQL with Complexity-Aware Routing
by: Zhu, Yizhang, et al.
Published: (2025)

A Scalable and Near-Optimal Conformance Checking Approach for Long Traces
by: Bogdanov, Eli, et al.
Published: (2024)

Picachv: Formally Verified Data Use Policy Enforcement for Secure Data Analytics
by: Chen, Haobin Hiroki, et al.
Published: (2025)

SpotIt+: Verification-based Text-to-SQL Evaluation with Database Constraints
by: Tremante, Andrew, et al.
Published: (2026)

Programming Frameworks for Differential Privacy
by: Gaboardi, Marco, et al.
Published: (2024)

A Declarative System for Optimizing AI Workloads
by: Liu, Chunwei, et al.
Published: (2024)