Characterizing data base Dependencies

This publication has 11 references indexed in Scilit:

• On The Properties of Join Dependencies
  Published by Springer Nature ,1981
• Embedded implicational dependencies and their inference problem
  Published by Association for Computing Machinery (ACM) ,1981
• Algebraic dependencies
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1980
• On folk theorems
  ACM SIGACT News, 1980
• Normalization and hierarchical dependencies in the relational data model
  ACM Transactions on Database Systems, 1978
• First order logic formalization for functional, multivalued and mutual dependencies
  Published by Association for Computing Machinery (ACM) ,1978
• Theory of relations for databases — a tutorial survey
  Published by Springer Nature ,1978
• Multivalued dependencies and a new normal form for relational databases
  ACM Transactions on Database Systems, 1977
• Horn sentences
  Annals of Mathematical Logic, 1970
• Some applications of infinitely long formulas
  The Journal of Symbolic Logic, 1965