The implication problem for data dependencies

This publication has 19 references indexed in Scilit:

• Embedded implicational dependencies and their inference problem
  Published by Association for Computing Machinery (ACM) ,1981
• On the menbership problem for functional and multivalued dependencies in relational databases
  ACM Transactions on Database Systems, 1980
• The theory of joins in relational databases
  ACM Transactions on Database Systems, 1979
• Computational problems related to the design of normal form relational schemas
  ACM Transactions on Database Systems, 1979
• Equivalence of relational database schemes
  Published by Association for Computing Machinery (ACM) ,1979
• Multivalued dependencies and a new normal form for relational databases
  ACM Transactions on Database Systems, 1977
• Synthesizing third normal form relations from functional dependencies
  ACM Transactions on Database Systems, 1976
• Reducibility among Combinatorial Problems
  Published by Springer Nature ,1972
• The Word Problem
  Annals of Mathematics, 1959
• Zum Entscheidungsproblem der mathematischen Logik
  Mathematische Annalen, 1928