Publication:3912018
From MaRDI portal
zbMath0462.68022MaRDI QIDQ3912018
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