No label defined (Q5094143)

From MaRDI portal

Jump to:navigation, search

scientific article; zbMATH DE number 7566070

Language	Label	Description	Also known as
English	No label defined	scientific article; zbMATH DE number 7566070

Statements

scholarly article

0 references

Antoine Amarilli

0 references

Michael Benedikt

0 references

publication date

2 August 2022

0 references

full work available at URL

https://arxiv.org/abs/1810.07822

0 references

https://lmcs.episciences.org/9643

0 references

MaRDI profile type

MaRDI publication profile

0 references

0 references

Procedural languages for database queries and updates

0 references

Non-determinism in logic-based languages

0 references

Guarded Negation

0 references

Querying the Guarded Fragment

0 references

On rules with existential variables: walking the decidability line

0 references

Guarded-Based Disjunctive Tuple-Generating Dependencies

0 references

Generating Plans from Proofs: The Interpolation-based Approach to Query Reformulation

0 references

Generating Plans from Proofs

0 references

Some characterization theorems for infinitary universal Horn logic without equality

0 references

Taming the Infinite Chase: Query Answering under Expressive Relational Constraints

0 references

Rewriting queries using views with access patterns under integrity constraints

0 references

0 references

Data exchange: semantics and query answering

0 references

Combining decidability paradigms for existential rules

0 references

Testing containment of conjunctive queries under functional and inclusion dependencies

0 references

Answering queries with useful bindings

0 references

0 references

The implication problem for functional and inclusion dependencies

0 references

Identifiers

Mathematics Subject Classification ID

0 references

0 references

zbMATH DE Number

0 references

Sitelinks

Mathematics(1 entry)

mardi Publication:5094143

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q5094143&oldid=36836601"