Answering Conjunctive Queries over Linear Existential Rules with Transitivity

arXiv cs.DB2026-11-11 13:000 views

arXiv:2611.13138v1 Announce Type: new Abstract: We study Conjunctive Query Entailment Problem over ontologies con- sisting of Linear Tuple Generating Dependencies and transitivity asser- tions. A special case of this problem has been shown to be decidable in [1]. In particular, it covers the case of linear single head TGDs with bi- nary signature. In This paper we show that The problem for linear multi head TGDs with binary signature is Ackermanian hard

Source：https://arxiv.org/abs/2611.13138

My favorites

PreviousHow Many Demonstrations Does a VLA Need? On the Sample Efficiency of VLA Finetuning NextARoute: Task-Aligned Batch and Streaming Model Routing

A Better Image Model Still Needs a Better Assignment

How to compare GPT Image families without turning a creative decision into a version contest. A product photograph, an e

0dev.to

Review an AI Image by the Work It Leaves Behind

Three creative assignments for evaluating GPT Image 2.6 beyond the first impression. A generated image may be visually c

0dev.to

Don't eyeball AI-generated product images. Test the text like CI.

If you generate product artwork through an API, at some point a render ships with the price painted wrong, and the first

0dev.to

An Updated Image Needs a Cache Plan, Not Another Upload

When a corrected image looks unchanged in production, check which file the browser received before uploading it again. T

0dev.to

I got tired of breaking my LLM app with "one small prompt change", so I built a 450-line eval harness

Every LLM developer I know has the same workflow: tweak the prompt, eyeball three outputs, ship it. Then a user reports

0dev.to

Constraint Engineering

In March, I needed a swarm of agents to ship a feature. This time, I needed a coffee. I like thinking on paper. I enjoy

0dev.to

Answering Conjunctive Queries over Linear Existential Rules with Transitivity

Related posts

A Better Image Model Still Needs a Better Assignment

Review an AI Image by the Work It Leaves Behind

Don't eyeball AI-generated product images. Test the text like CI.

An Updated Image Needs a Cache Plan, Not Another Upload

I got tired of breaking my LLM app with "one small prompt change", so I built a 450-line eval harness

Constraint Engineering