Axiomatisation of functional dependencies in incomplete relations
type: Item
instance of: scholarly article
title: Axiomatisation of functional dependencies in incomplete relations
zbMATH Open document ID: 0912.68025
DOI: 10.1016/S0304-3975(98)80029-7
author: M. Levene
author: George Loizou
published in: Theoretical Computer Science
publication date: 1999-01-12T00:00:00Z
Mathematics Subject Classification ID: 68P15
zbMATH DE Number: 1238724
zbMATH Keywords: incomplete relations
zbMATH Keywords: functional dependencies
zbMATH Keywords: axiom system
zbMATH Keywords: Armstrong relations
MaRDI profile type: Publication
cites work: Q4050122
cites work: Q4023854
cites work: Functional dependencies and constraints on null values in database relations
cites work: On the Structure of Armstrong Relations for Functional Dependencies
cites work: Inclusion dependencies and their interaction with functional dependencies
cites work: Q3867808
cites work: Q4692885
cites work: Algorithms for generating an Armstrong relation and inferring functional dependencies in the relational datamodel
cites work: Armstrong databases for functional and inclusion dependencies
cites work: Q4198056
cites work: Testing satisfaction of functional dependencies
cites work: A Correspondence Between Variable Relations And Three-Valued Propositional Logic
cites work: Null inclusion dependencies in relational databases
cites work: On the Equivalence of Database Models
cites work: Design by example: An application of Armstrong relations
cites work: Q5661846
full work available at URL: s0304-3975(98)80029-7
OpenAlex ID: W2045566234
description: scientific article; zbMATH DE number 1238724