Reasoning about functional and full hierarchical dependencies over partial relations
From MaRDI portal
Publication:2446453
Recommendations
- Relational decomposition through partial functional dependencies
- Approximate inference of functional dependencies from relations
- Algorithms for inferring functional dependencies from relations
- Axiomatisation of functional dependencies in incomplete relations
- Functional dependencies, supervenience, and consequence relations
- A relation-algebraic approach to the ``Hoare logic of functional dependencies
- Foundations of Information and Knowledge Systems
- scientific article; zbMATH DE number 515734
- On the complexity of inferring functional dependencies
- Hierarchies in Dependence Logic
Cites work
- scientific article; zbMATH DE number 3915665 (Why is no real title available?)
- scientific article; zbMATH DE number 43047 (Why is no real title available?)
- scientific article; zbMATH DE number 41085 (Why is no real title available?)
- scientific article; zbMATH DE number 3464827 (Why is no real title available?)
- scientific article; zbMATH DE number 755666 (Why is no real title available?)
- scientific article; zbMATH DE number 4001521 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
- A relational model of data for large shared data banks
- Algorithms for inferring functional dependencies from relations
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- Appropriate inferences of data dependencies in relational databases
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
- Axiomatisation of fully probabilistic design
- Axiomatisation of functional dependencies in incomplete relations
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- Characterisations of multivalued dependency implication over undetermined universes
- Characterising nested database dependencies by fragments of propositional logic
- Charting the completeness frontier of inference systems for multivalued dependencies
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- Data exchange: semantics and query answering
- Database relations with null values
- Dependency-preserving normalization of relational and XML data
- Design by example: An application of Armstrong relations
- Determining View dependencies using tableaux
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Formal Systems for Tuple and Equality Generating Dependencies
- Full hierarchical dependencies in fixed and undetermined universes
- Functional dependencies and constraints on null values in database relations
- Horn clauses and database dependencies
- Incomplete Information in Relational Databases
- Inferences of multivalued dependencies in fixed and undetermined universes
- Interactions between dependencies and nested relational structures
- Null values in a relational data base
- Numerical constraints on XML data
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- On keys and functional dependencies as first-class citizens in description logics
- On the Complexity of Verifying Consistency of XML Specifications
- On the Desirability of Acyclic Database Schemes
- On the Equivalence of Database Models
- On the expressive power of data dependencies
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the role of the complementation rule for data dependencies over incomplete relations
- On the undecidability of implications between embedded multivalued database dependencies
- Propagating XML constraints to relations
- Reducing inference control to access control for normalized database schemas
- Relational and XML Data Exchange
- Repairing XML functional dependency violations
- Rewriting queries using views with access patterns under integrity constraints
- Semantic foundations of 4NF in relational database design
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
- Two-variable logic on data trees and XML reasoning
Cited in
(8)- Relational decomposition through partial functional dependencies
- Appropriate inferences of data dependencies in relational databases
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- Appropriate Reasoning about Data Dependencies in Fixed and Undetermined Universes
- Functional dependencies, supervenience, and consequence relations
- Full hierarchical dependencies in fixed and undetermined universes
- Logic of temporal attribute implications
- Rough data-deduction based on the upper approximation
This page was built for publication: Reasoning about functional and full hierarchical dependencies over partial relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2446453)
