Tableaux for functional dependencies and independencies

DOI10.1007/BFb0027426zbMath1412.68056OpenAlexW1561083527MaRDI QIDQ4610339

Anil Nerode, Jaideep Srivastava, Duminda Wijesekera, Mahadevan Ganesh

Publication date: 15 January 2019

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bfb0027426

zbMATH Keywords

functional dependencysemantic mappingintegrity constraintfunctional independencychild node

Mathematics Subject Classification ID

Related Items (2)

Tableaux for functional dependencies and independencies ⋮ Normal forms and syntactic completeness proofs for functional independencies

Cites Work

• Proof methods for modal and intuitionistic logics
• Set-oriented data mining in relational databases
• Tableaux for functional dependencies and independencies
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Tableaux for functional dependencies and independencies