:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Berman, Sonia, Keet, C. Maria, Shunmugam, Tamindran
Format:	Preprint
Published:	2024
Subjects:	Databases H.2.1; F.4.1
Online Access:	https://arxiv.org/abs/2408.09427
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Equivalence Theorem: First-Class Relationships for Structurally Complete Database Systems
by: Alford, Matthew
Published: (2026)

PuckTrick: A Library for Making Synthetic Data More Realistic
by: Agostini, Alessandra, et al.
Published: (2025)

Paraconsistent logic and query answering in inconsistent databases
by: Middelburg, C. A.
Published: (2022)

Belnap-Dunn logic and query answering in inconsistent databases with null values
by: Middelburg, C. A.
Published: (2023)

SPARQL in N3: SPARQL CONSTRUCT as a rule language for the Semantic Web (Extended Version)
by: Arndt, Dörthe, et al.
Published: (2025)

Polynomial-time Tractable Problems over the $p$-adic Numbers
by: Fehm, Arno, et al.
Published: (2025)

No AI Without PI! Object-Centric Process Mining as the Enabler for Generative, Predictive, and Prescriptive Artificial Intelligence
by: van der Aalst, Wil M. P.
Published: (2025)

A Complete Finitary Refinement Type System for Scott-Open Properties
by: Riba, Colin, et al.
Published: (2026)

Mayfly: Private Aggregate Insights from Ephemeral Streams of On-Device User Data
by: Bian, Christopher, et al.
Published: (2024)

Multiset semantics in SPARQL, Relational Algebra and Datalog
by: Angles, Renzo, et al.
Published: (2026)

Semijoins of Annotated Relations
by: Kolaitis, Phokion G.
Published: (2026)

Short Version of VERIFAI2026 Paper -- Learning Infused Formal Reasoning: Contract Synthesis, Artefact Reuse and Semantic Foundations
by: Beg, Arshad, et al.
Published: (2026)

Leveraging LLMs for Formal Software Requirements -- Challenges and Prospects
by: Beg, Arshad, et al.
Published: (2025)

A Short Survey on Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Modeling Fairness in Recruitment AI via Information Flow
by: Brännström, Mattias, et al.
Published: (2025)

DataJoint 2.0: A Computational Substrate for Agentic Scientific Workflows
by: Yatsenko, Dimitri, et al.
Published: (2026)

GraphAr: An Efficient Storage Scheme for Graph Data in Data Lakes
by: Li, Xue, et al.
Published: (2023)

Learning-Infused Formal Reasoning: From Contract Synthesis to Artifact Reuse and Formal Semantics
by: Beg, Arshad, et al.
Published: (2026)

Working Document -- Formalising Software Requirements with Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Evaluating LLM-Generated ACSL Annotations for Formal Verification
by: Beg, Arshad, et al.
Published: (2026)

Formalising Software Requirements using Large Language Models
by: Beg, Arshad, et al.
Published: (2025)

Graph Construction and Matching for Imperative Programs using Neural and Structural Methods
by: Beg, Arshad, et al.
Published: (2026)

Goal-Driven Query Answering over First- and Second-Order Dependencies with Equality
by: Tsamoura, Efthymia, et al.
Published: (2024)

Unique Characterisability and Learnability of Temporal Queries Mediated by an Ontology
by: Jung, Jean Christoph, et al.
Published: (2023)

Consensus and Synchronization of Multi-agent Systems over Finite Fields -- Graph Topologies
by: Hengster-Movrić, Kristian, et al.
Published: (2026)

The Complexity of Resilience Problems via Valued Constraint Satisfaction
by: Bodirsky, Manuel, et al.
Published: (2023)

Why we need an AI-resilient society
by: Bartz-Beielstein, Thomas
Published: (2019)

Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages
by: Lahiri, Shuvendu K.
Published: (2024)

SPARTA: Scalable and Principled Benchmark of Tree-Structured Multi-hop QA over Text and Tables
by: Park, Sungho, et al.
Published: (2026)

Categorical Calculus and Algebra for Multi-Model Data
by: Lu, Jiaheng
Published: (2026)

Recent Advances in Data-Driven Business Process Management
by: Ackermann, Lars, et al.
Published: (2024)

Exact Synthetic Populations for Scalable Societal and Market Modeling
by: Petit, Thierry, et al.
Published: (2025)

Approximate Keys and Functional Dependencies in Incomplete Databases With Limited Domains-Algorithmic Perspective
by: Al-atar, Munqath, et al.
Published: (2024)

Approximate Integrity Constraints in Incomplete Databases With Limited Domains
by: Al-atar, Munqath, et al.
Published: (2024)

Big Help or Big Brother? Auditing Tracking, Profiling, and Personalization in Generative AI Assistants
by: Vekaria, Yash, et al.
Published: (2025)

BoomHQ: Learning to Boost Multiple Hybrid Queries on Vector DBMSs
by: Qiu, Ermu, et al.
Published: (2026)

From Code to Compliance: Assessing ChatGPT's Utility in Designing an Accessible Webpage -- A Case Study
by: Ahmed, Ammar, et al.
Published: (2025)

Spreadsheet Engineering: A Research Framework
by: Grossman, Thomas A.
Published: (2007)

Two-Level Type Theory and Applications
by: Annenkov, Danil, et al.
Published: (2017)

On the Realizability of Prime Conjectures in Heyting Arithmetic
by: Rosko, Milan
Published: (2025)