Extremal Fitting Problems for Conjunctive Queries

Fuente: arXiv
Enregistré dans:
Détails bibliographiques
Auteurs principaux: Cate, Balder ten, Dalmau, Victor, Funk, Maurice, Lutz, Carsten
Format: Preprint
Publié: 2022
Sujets:
Accès en ligne:
Tags: Ajouter un tag
Pas de tags, Soyez le premier à ajouter un tag!
_version_ 1866909802951606272
author Cate, Balder ten
Dalmau, Victor
Funk, Maurice
Lutz, Carsten
author_facet Cate, Balder ten
Dalmau, Victor
Funk, Maurice
Lutz, Carsten
contents The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.
format Preprint
id arxiv_https___arxiv_org_abs_2206_05080
institution arXiv
publishDate 2022
record_format arxiv
spellingShingle Extremal Fitting Problems for Conjunctive Queries
Cate, Balder ten
Dalmau, Victor
Funk, Maurice
Lutz, Carsten
Databases
The fitting problem for conjunctive queries (CQs) is the problem to construct a CQ that fits a given set of labeled data examples. When a fitting CQ exists, it is in general not unique. This leads us to proposing natural refinements of the notion of a fitting CQ, such as most-general fitting CQ, most-specific fitting CQ, and unique fitting CQ. We give structural characterizations of these notions in terms of (suitable refinements of) homomorphism dualities, frontiers, and direct products, which enable the construction of the refined fitting CQs when they exist. We also pinpoint the complexity of the associated existence and verification problems, and determine the size of fitting CQs. We study the same problems for UCQs and for the more restricted class of tree CQs.
title Extremal Fitting Problems for Conjunctive Queries
topic Databases
url https://arxiv.org/abs/2206.05080