Equivalences Among Relational Expressions with the Union and Difference Operators

From MaRDI portal
Publication:3906490

DOI10.1145/322217.322221zbMath0456.68123OpenAlexW2056660085MaRDI QIDQ3906490

Mihalis Yannakakis, Yehoshua Sagiv

Publication date: 1980

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/322217.322221




Related Items

Certain answers over incomplete XML documents: extending tractability boundarySome results on the containment and minimization of (in)equality queriesRelational lattices: from databases to universal algebraOptimization of a subclass of conjunctive queriesOne-sided recursionsEfficient and optimal query answering on independent schemesSemantic Acyclicity on Graph DatabasesKnowledge compilation meets database theory: compiling queries to decision diagramsRewriting queries using views with access patterns under integrity constraintsRegular queries on graph databasesCan datalog be approximated?Unnamed ItemData independent recursion in deductive databasesSpeeding up inferences using relevance reasoning: a formalism and algorithmsOn simplification of schema mappingsAbout boundedness for some datalog and DATALOGneg programsQuery containment for data integration systemsA theoretical framework for knowledge-based entity resolutionThe notion of abstraction in ontology-based data managementClassifying the computational complexity of problemsReconcilable differencesContainment of conjunctive queries on annotated relationsQuery containment under bag and bag-set semanticsThe complexity of equivalence, entailment, and minimization in existential positive logicAutomated reformulation of specifications by safe delay of constraintsThe complexity of higher-order queriesConjunctive query containment with respect to views and constraintsOpen-world probabilistic databases: semantics, algorithms, complexityOn the equivalence of recursive and nonrecursive Datalog programsThree \(\sum^ P_ 2\)-complete problems in computational learning theoryOn characterizing boundedness of database schemes with bounded dependenciesMinimizing restricted-fanout queriesTowards an algebraic theory of information integrationDecidable containment of recursive queriesXML queries and constraints, containment and reformulationGraph Ramsey theory and the polynomial hierarchyA time bound on the materialization of some recursively defined viewsUnnamed ItemUnnamed ItemA framework for comparing query languages in their ability to express Boolean queriesVerification of knowledge bases based on containment checkingThe relational model of data and cylindric algebrasElimination of redundant operations in relational queries with general selection operatorsCharacterizations for functional dependency and Boyce-Codd normal form families