Reasoning about functional and full hierarchical dependencies over partial relations
From MaRDI portal
Publication:2446453
DOI10.1016/j.ins.2013.01.009zbMath1284.68231MaRDI QIDQ2446453
Sebastian Link, Sven Hartmann, Flavio Ferrarotti
Publication date: 16 April 2014
Published in: Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ins.2013.01.009
68P15: Database theory
Related Items
Approximation Logics for Subclasses of Probabilistic Conditional Independence and Hierarchical Dependence on Incomplete Data, Rough data-deduction based on the upper approximation, Logic of temporal attribute implications
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Repairing XML functional dependency violations
- Axiomatisation of fully probabilistic design
- Appropriate inferences of data dependencies in relational databases
- Characterisations of multivalued dependency implication over undetermined universes
- Data exchange: semantics and query answering
- Design by example: An application of Armstrong relations
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
- Corrigendum to ``On the undecidability of implications between embedded multivalued database dependencies
- Rewriting queries using views with access patterns under integrity constraints
- Propagating XML constraints to relations
- Dependency-preserving normalization of relational and XML data
- On keys and functional dependencies as first-class citizens in description logics
- Reducing inference control to access control for normalized database schemas
- Numerical constraints on XML data
- Charting the completeness frontier of inference systems for multivalued dependencies
- Database relations with null values
- Interactions between dependencies and nested relational structures
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Inferences of multivalued dependencies in fixed and undetermined universes
- Null values in a relational data base
- Axiomatisation of functional dependencies in incomplete relations
- Semantic foundations of 4NF in relational database design
- On the expressive power of data dependencies
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- Full hierarchical dependencies in fixed and undetermined universes
- Characterising nested database dependencies by fragments of propositional logic
- On the undecidability of implications between embedded multivalued database dependencies
- On the Desirability of Acyclic Database Schemes
- Relational and XML Data Exchange
- Formal Systems for Tuple and Equality Generating Dependencies
- Two-variable logic on data trees and XML reasoning
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- On the Complexity of Verifying Consistency of XML Specifications
- Functional dependencies and constraints on null values in database relations
- Incomplete Information in Relational Databases
- On the menbership problem for functional and multivalued dependencies in relational databases
- On the Equivalence of Database Models
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
- Determining View dependencies using tableaux
- Horn clauses and database dependencies
- Algorithms for inferring functional dependencies from relations
- On the Role of the Complementation Rule for Data Dependencies over Incomplete Relations
- A relational model of data for large shared data banks
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
