Deciding implication for functional dependencies in complex-value databases
type: Item
instance of: scholarly article
title: Deciding implication for functional dependencies in complex-value databases
zbMATH Open document ID: 1110.68034
author: Sven Hartmann
author: Sebastian Link
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 5083495
zbMATH Keywords: databases
zbMATH Keywords: data types
zbMATH Keywords: Brouwerian algebra
zbMATH Keywords: functional dependency
zbMATH Keywords: implication problem
zbMATH Keywords: correctness
zbMATH Keywords: complexity
MaRDI profile type: Publication
full work available at URL: j.tcs.2006.08.005
OpenAlex ID: W2044738440
cites work: Q4864249
cites work: Q4050122
cites work: On the menbership problem for functional and multivalued dependencies in relational databases
cites work: Equivalence of Relational Database Schemes
cites work: The chemical abstract machine
cites work: Semantics in databases
cites work: Q4799606
cites work: Q3992694
cites work: Q4050126
cites work: Fundamental properties of infinite trees
cites work: Q4264105
cites work: Q4492739
cites work: A normal form for relational databases that is based on domains and keys
cites work: Q4728289
cites work: On XML integrity constraints in the presence of DTDs
cites work: Integrity constraints for XML
cites work: Decomposing relationship types by pivoting and schema equivalence
cites work: On the implication problem for cardinality constraints and functional dependencies
cites work: Advances in databases and information systems. 7th East European conference, ADBIS 2003, Dresden, Germany, September 3--6, 2003. Proceedings
cites work: On Functional Dependencies in Advanced Data Models
cites work: A membership algorithm for functional and multi-valued dependencies in the presence of lists
cites work: Axiomatisations of functional dependencies in the presence of records, lists, sets and multisets
cites work: Functional and multivalued dependencies in nested databases generated by record and list constructor
cites work: Foundations of Information and Knowledge Systems
cites work: Q4474012
cites work: Q3044375
cites work: The nested universal relation database model
cites work: Q4414523
cites work: Minimum Covers in Relational Database Model
cites work: The algebra of topology
cites work: On closed elements in closure algebras
cites work: Q3992720
cites work: Q4291432
cites work: The relational model with relation-valued attributes
cites work: Q3994395
cites work: Q4486417
cites work: Q4426709
cites work: Q4444370
cites work: REDUNDANCY AND THE JUSTIFICATION FOR FOURTH NORMAL FORM IN RELATIONAL DATABASES
cites work: Insertion anomalies and the justification for 4NF in relational databases
DOI: 10.1016/J.TCS.2006.08.005
description: scientific article; zbMATH DE number 5083495