Unsolvable problems related to the view integration approach

This publication has 10 references indexed in Scilit:

• A formal view integration method
  ACM SIGMOD Record, 1986
• Integrating User Views in Database Design
  Computer, 1986
• The Implication Problem for Functional and Inclusion Dependencies is Undecidable
  SIAM Journal on Computing, 1985
• The word problem for cancellation semigroups with zero
  The Journal of Symbolic Logic, 1984
• The implication problem for functional and inclusion dependencies
  Information and Control, 1983
• Towards a sound view integration methodology
  Published by Association for Computing Machinery (ACM) ,1983
• Inclusion dependencies and their interaction with functional dependencies
  Published by Association for Computing Machinery (ACM) ,1982
• An integrated approach to database design
  Published by Springer Nature ,1982
• A relational model of data for large shared data banks
  Communications of the ACM, 1970
• Recursive Unsolvability of a problem of Thue
  The Journal of Symbolic Logic, 1947