scientific article
From MaRDI portal
Publication:3912018
zbMath0462.68022MaRDI QIDQ3912018
Publication date: 1981
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Information storage and retrieval of data (68P20) Theory of operating systems (68N25)
Related Items
Inconsistency-tolerant query answering for existential rules ⋮ Non-finite specifiability of projections of functional dependency families ⋮ Implication and axiomatization of functional and constant constraints ⋮ A complete axiomatization of full acyclic join dependencies ⋮ On the Interaction of Existential Rules and Equality Constraints in Ontology Querying ⋮ An algebraic theory of functional and multivalued dependencies in relational databases ⋮ Converging to the chase -- a tool for finite controllability ⋮ Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin ⋮ Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies ⋮ Towards more expressive ontology languages: the query answering problem ⋮ A corrected 5NF definition for relational database design ⋮ Unnamed Item ⋮ Saturation-based Boolean conjunctive query answering and rewriting for the guarded quantification fragments ⋮ Adequacy of decompositions of relational databases ⋮ Recent Advances in Datalog$$^\pm $$ ⋮ The theory of functional and template dependencies ⋮ On rules with existential variables: walking the decidability line ⋮ Inferring multivalued dependencies from functional and join dependencies ⋮ Modal definability of first-order formulas with free variables and query answering ⋮ Armstrong databases for functional and inclusion dependencies ⋮ Ontological query answering under many-valued group preferences in Datalog\(+/-\) ⋮ Conjunctive query containment with respect to views and constraints ⋮ Datalog and Its Extensions for Semantic Web Databases ⋮ Query answering under probabilistic uncertainty in Datalog\(+/-\) ontologies ⋮ Logic, Languages, and Rules for Web Data Extraction and Reasoning over Data ⋮ Another view of functional and multivalued dependencies in the relational database model ⋮ Implication problems for functional constraints on databases supporting complex objects ⋮ Unnamed Item ⋮ Restricted Chase Termination for Existential Rules: A Hierarchical Approach and Experimentation ⋮ Characterizing Boundedness in Chase Variants ⋮ Exploiting forwardness: satisfiability and query-entailment in forward guarded fragment ⋮ Constraints in RDF ⋮ Split-freedom and MVD-intersection: A new characterization of multivalued dependencies having conflict-free covers ⋮ The Impact of Active Domain Predicates on Guarded Existential Rules ⋮ A note on lossless database decompositions ⋮ Guarded Ontology-Mediated Queries ⋮ Thue trees ⋮ Formal systems for join dependencies ⋮ The implication and finite implication problems for typed template dependencies