scientific article; zbMATH DE number 4001521
From MaRDI portal
Publication:4728289
zbMath0617.68084MaRDI QIDQ4728289
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
relational databasedata dependenciesimplication problemacyclicity of database schemesuniversal relational model
Analysis of algorithms and problem complexity (68Q25) Decidability of theories and sets of sentences (03B25) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Data structures (68P05) Information storage and retrieval of data (68P20)
Related Items
Implication and axiomatization of functional and constant constraints, On a problem of Fagin concerning multivalued dependencies in relational databases, Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets, Characterization of desirable properties of general database decompositions., Full hierarchical dependencies in fixed and undetermined universes, Reasoning about integrity constraints for tree-structured data, Deciding implication for functional dependencies in complex-value databases, Characterisations of multivalued dependency implication over undetermined universes, Reasoning about functional and full hierarchical dependencies over partial relations, Axioms and algorithms for inferences involving probabilistic independence, The joy of implications, aka pure Horn formulas: mainly a survey, Finite-model theory -- A personal perspective, Functional and multivalued dependencies in nested databases generated by record and list constructor, Cylindric structures and dependencies in relational databases, Normal forms and syntactic completeness proofs for functional independencies, Charting the completeness frontier of inference systems for multivalued dependencies, Spoilt for Choice: Full First-Order Hierarchical Decompositions, Schema Mappings: A Case of Logical Dynamics in Database Theory, Unique complements and decompositions of database schemata
