Formal Systems for Tuple and Equality Generating Dependencies

Catriel Beeri, Moshe Y. Vardi. Formal Systems for Tuple and Equality Generating Dependencies. SIAM Journal on Computing, 13(1):76-98, 1984.

@article{BeeriV84:1,
  title = {Formal Systems for Tuple and Equality Generating Dependencies},
  author = {Catriel Beeri and Moshe Y. Vardi},
  year = {1984},
  researchr = {https://researchr.org/publication/BeeriV84%3A1},
  cites = {0},
  citedby = {0},
  journal = {SIAM Journal on Computing},
  volume = {13},
  number = {1},
  pages = {76-98},
}