Database states and their tableaux

DOI10.1145/329.318579zbMath0542.68084OpenAlexW2113633436MaRDI QIDQ3330557

Alberto O. Mendelzon

Publication date: 1984

Published in: ACM Transactions on Database Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/329.318579

zbMATH Keywords

tableauxrelational databasefunctional dependencyuniversal relationBoyce-Codd normal formjoin dependencydatabase schemesweak instancesdatabase state

Mathematics Subject Classification ID

Information storage and retrieval of data (68P20)

Related Items (11)

Independent database schemas ⋮ The nested universal relation data model ⋮ A domain theoretic characterisation of the universal relation ⋮ On the desirability of \(\gamma\)-acyclic BCNF database schemes ⋮ Testing unboundedness of database schemes and functional dependencies ⋮ A new interpretation for null values in the weak instance model ⋮ Connection-trap-free database schemes ⋮ On characterizing boundedness of database schemes with bounded dependencies ⋮ Towards an algebraic theory of information integration ⋮ Querying Weak Instances Under Extension Chase Semantics: A Complete Solution ⋮ Independent database schemes under functional and inclusion dependencies

This page was built for publication: Database states and their tableaux