Characterisations of multivalued dependency implication over undetermined universes
From MaRDI portal
(Redirected from Publication:439967)
Recommendations
Cites work
- scientific article; zbMATH DE number 42986 (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 1142327 (Why is no real title available?)
- scientific article; zbMATH DE number 1181276 (Why is no real title available?)
- scientific article; zbMATH DE number 2033268 (Why is no real title available?)
- scientific article; zbMATH DE number 4001521 (Why is no real title available?)
- scientific article; zbMATH DE number 756778 (Why is no real title available?)
- scientific article; zbMATH DE number 839556 (Why is no real title available?)
- A Complete Axiomatization of Full Join Dependencies
- A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
- A formal analysis of information disclosure in data exchange
- A mathematical introduction to logic.
- A relational model of data for large shared data banks
- A simple characterization of database dependency implication
- Algorithms for inferring functional dependencies from relations
- An Algorithm for Inferring Multivalued Dependencies with an Application to Propositional Logic
- An Almost Linear-Time Algorithm for Computing a Dependency Basis in a Relational Database
- An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic
- An algebraic theory of functional and multivalued dependencies in relational databases
- Armstrong axioms and Boyce-Codd-Heath normal form under bag semantics
- Axiomatisation of functional dependencies in incomplete relations
- Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
- Characterising nested database dependencies by fragments of propositional logic
- Charting the completeness frontier of inference systems for multivalued dependencies
- Data exchange: semantics and query answering
- Decision Problems for Multivalued Dependencies in Relational Databases
- Dependency-preserving normalization of relational and XML data
- Design by example: An application of Armstrong relations
- Determining View dependencies using tableaux
- Efficient core computation in data exchange
- Equivalence of Relational Database Schemes
- Finite approximatization of languages for representation of system properties: Axiomatization of dependencies
- Formal systems for join dependencies
- Functional Dependencies in a Relational Database and Propositional Logic
- Functional and multivalued dependencies in nested databases generated by record and list constructor
- Functional dependencies and constraints on null values in database relations
- Inferences of multivalued dependencies in fixed and undetermined universes
- Inferring multivalued dependencies from functional and join dependencies
- Interactions between dependencies and nested relational structures
- Membership problems for data dependencies in relational expressions
- Numerical constraints on XML data
- ON THE IMPLICATION OF MULTIVALUED DEPENDENCIES IN PARTIAL DATABASE RELATIONS
- On Axiomatizing Multivalued Dependencies in Relational Databases
- On Inferences ofWeak Multivalued Dependencies
- On a problem of Fagin concerning multivalued dependencies in relational databases
- On the Complexity of Testing Implications of Functional and Join Dependencies
- On the Structure of Armstrong Relations for Functional Dependencies
- On the complementation rule for multivalued dependencies in database relations
- On the equivalence between FDs in XML and FDs in relations
- On the menbership problem for functional and multivalued dependencies in relational databases
- Propagating XML constraints to relations
- Reasoning with examples: Propositional formulae and database dependencies
- Reducing inference control to access control for normalized database schemas
- Rewriting queries using views with access patterns under integrity constraints
- Semantic foundations of 4NF in relational database design
- The complexity of embedded axiomatization for a class of closed database views
Cited in
(10)- On the finite and general implication problems of independence atoms and keys
- Charting the completeness frontier of inference systems for multivalued dependencies
- Approximation logics for subclasses of probabilistic conditional independence and hierarchical dependence on incomplete data
- Sound approximate reasoning about saturated conditional probabilistic independence under controlled uncertainty
- Foundations of Information and Knowledge Systems
- A simple characterization of database dependency implication
- scientific article; zbMATH DE number 3965470 (Why is no real title available?)
- Discovery Science
- Reasoning about functional and full hierarchical dependencies over partial relations
- Frontiers for propositional reasoning about fragments of probabilistic conditional independence and hierarchical database decompositions
This page was built for publication: Characterisations of multivalued dependency implication over undetermined universes
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q439967)
