Publication:3912018

From MaRDI portal


zbMath0462.68022MaRDI QIDQ3912018

Moshe Y. Vardi, Catriel Beeri

Publication date: 1981



68Q25: Analysis of algorithms and problem complexity

68P20: Information storage and retrieval of data

68N25: Theory of operating systems


Related Items

Datalog and Its Extensions for Semantic Web Databases, Implication problems for functional constraints on databases supporting complex objects, Towards more expressive ontology languages: the query answering problem, On rules with existential variables: walking the decidability line, Conjunctive query containment with respect to views and constraints, Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies, A note on lossless database decompositions, Formal systems for join dependencies, The implication and finite implication problems for typed template dependencies, Non-finite specifiability of projections of functional dependency families, An algebraic theory of functional and multivalued dependencies in relational databases, Adequacy of decompositions of relational databases, The theory of functional and template dependencies, Inferring multivalued dependencies from functional and join dependencies, Armstrong databases for functional and inclusion dependencies, A corrected 5NF definition for relational database design, Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers, Thue trees, Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies, Modal definability of first-order formulas with free variables and query answering, On the Interaction of Existential Rules and Equality Constraints in Ontology Querying, Unnamed Item, Another view of functional and multivalued dependencies in the relational database model, Constraints in RDF