Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJune 2021
Inference from Visible Information and Background Knowledge
ACM Transactions on Computational Logic (TOCL), Volume 22, Issue 2Article No.: 13, Pages 1–69https://doi.org/10.1145/3452919We provide a wide-ranging study of the scenario where a subset of the relations in a relational vocabulary is visible to a user—that is, their complete contents are known—while the remaining relations are invisible. We also have a background theory—...
- research-articleJune 2019
Parallel-Correctness and Containment for Conjunctive Queries with Union and Negation
ACM Transactions on Computational Logic (TOCL), Volume 20, Issue 3Article No.: 18, Pages 1–24https://doi.org/10.1145/3329120Single-round multiway join algorithms first reshuffle data over many servers and then evaluate the query at hand in a parallel and communication-free way. A key question is whether a given distribution policy for the reshuffle is adequate for computing ...
- research-articleFebruary 2017
Datalog Queries Distributing over Components
ACM Transactions on Computational Logic (TOCL), Volume 18, Issue 1Article No.: 5, Pages 1–35https://doi.org/10.1145/3022743We investigate the class D of queries that distribute over components. These are the queries that can be evaluated by taking the union of the query results over the connected components of the database instance. We show that it is undecidable whether a (...
- articleApril 2005
Equivalences among aggregate queries with negation
ACM Transactions on Computational Logic (TOCL), Volume 6, Issue 2Pages 328–360https://doi.org/10.1145/1055686.1055691Query equivalence is investigated for disjunctive aggregate queries with negated subgoals, constants and comparisons. A full characterization of equivalence is given for the aggregation functions count, max, sum, prod, top2 and parity. A related problem ...